blob: a471ccffcd8b159d02a0513c4533cd12698b34ab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
(* TEST
flags = "-w +A-70";
expect;
*)
let rec fact = function
| 1 -> 1
| n -> n * (fact [@tailcall]) (n-1)
;;
[%%expect {|
Line 3, characters 13-37:
3 | | n -> n * (fact [@tailcall]) (n-1)
^^^^^^^^^^^^^^^^^^^^^^^^
Warning 51 [wrong-tailcall-expectation]: expected tailcall
val fact : int -> int = <fun>
|}]
let rec fact = function
| 1 -> 1
| n -> n * (fact [@tailcall true]) (n-1)
;;
[%%expect {|
Line 3, characters 13-42:
3 | | n -> n * (fact [@tailcall true]) (n-1)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 51 [wrong-tailcall-expectation]: expected tailcall
val fact : int -> int = <fun>
|}]
let rec fact = function
| 1 -> 1
| n -> n * (fact [@tailcall false]) (n-1)
;;
[%%expect {|
val fact : int -> int = <fun>
|}]
let rec fact_tail acc = function
| 1 -> acc
| n -> (fact_tail [@tailcall]) (n * acc) (n - 1)
;;
[%%expect{|
val fact_tail : int -> int -> int = <fun>
|}]
let rec fact_tail acc = function
| 1 -> acc
| n -> (fact_tail [@tailcall true]) (n * acc) (n - 1)
;;
[%%expect{|
val fact_tail : int -> int -> int = <fun>
|}]
let rec fact_tail acc = function
| 1 -> acc
| n -> (fact_tail [@tailcall false]) (n * acc) (n - 1)
;;
[%%expect{|
Line 3, characters 9-56:
3 | | n -> (fact_tail [@tailcall false]) (n * acc) (n - 1)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 51 [wrong-tailcall-expectation]: expected non-tailcall
val fact_tail : int -> int -> int = <fun>
|}]
(* explicitly test the "invalid payload" case *)
let rec test x = (test[@tailcall foobar]) x;;
[%%expect{|
Line 1, characters 24-32:
1 | let rec test x = (test[@tailcall foobar]) x;;
^^^^^^^^
Warning 47 [attribute-payload]: illegal payload for attribute 'tailcall'.
Only an optional boolean literal is supported.
val test : 'a -> 'b = <fun>
|}]
|
