1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
File "tupled_function_calls.ml", lines 16-21, characters 46-57:
16 | ..............................................(f, li) =
17 | match li with
18 | | [] -> []
19 | | x :: xs ->
20 | let pair = (f, xs) in
21 | f x :: (tupled_map_not_direct[@tailcall true]) pair
Warning 71 [unused-tmc-attribute]: This function is marked @tail_mod_cons
but is never applied in TMC position.
File "tupled_function_calls.ml", line 21, characters 13-57:
21 | f x :: (tupled_map_not_direct[@tailcall true]) pair
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 51 [wrong-tailcall-expectation]: expected tailcall
File "tupled_function_calls.ml", line 21, characters 13-57:
21 | f x :: (tupled_map_not_direct[@tailcall true]) pair
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 51 [wrong-tailcall-expectation]: expected tailcall
|
