diff options
Diffstat (limited to 'testsuite/tests/tmc/other_features.ml')
-rw-r--r-- | testsuite/tests/tmc/other_features.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/tmc/other_features.ml b/testsuite/tests/tmc/other_features.ml index b880c0335e..8654a6923e 100644 --- a/testsuite/tests/tmc/other_features.ml +++ b/testsuite/tests/tmc/other_features.ml @@ -23,10 +23,12 @@ Lines 6-11, characters 30-40: 11 | C (map' a, (map' [@tailcall]) b) Warning 71 [unused-tmc-attribute]: This function is marked @tail_mod_cons but is never applied in TMC position. + Line 11, characters 19-39: 11 | C (map' a, (map' [@tailcall]) b) ^^^^^^^^^^^^^^^^^^^^ Warning 51 [wrong-tailcall-expectation]: expected tailcall + Line 11, characters 19-39: 11 | C (map' a, (map' [@tailcall]) b) ^^^^^^^^^^^^^^^^^^^^ |