- Namespace: FSharp.Core
- Assembly: FSharp.Core.dll
-
Base Type:
Attribute - This is an attribute type definition
Indicates a function that should be called in a tail recursive way inside its recursive scope. A warning is emitted if the function is analyzed as not tail recursive after the optimization phase.
let mul x y = x * y
[<TailCall>]
let rec fact n acc =
if n = 0
then acc
else (fact (n - 1) (mul n acc)) + 23 // warning because of the addition after the call to fact
val mul: x: int -> y: int -> int
val x: int
val y: int
Multiple items
type TailCallAttribute =
inherit Attribute
new: unit -> TailCallAttribute
--------------------
new: unit -> TailCallAttribute
val fact: n: int -> acc: int -> int
val n: int
val acc: int