diff options
| -rw-r--r-- | test/Moretest/signals.ml | 2 | ||||
| -rw-r--r-- | test/Moretest/tcallback.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/Moretest/signals.ml b/test/Moretest/signals.ml index aa232085d..5451d8e5b 100644 --- a/test/Moretest/signals.ml +++ b/test/Moretest/signals.ml @@ -1,4 +1,4 @@ -let rec tak (x, y, z) = +let rec tak (x, y, z as tuple) = if x > y then tak(tak (x-1, y, z), tak (y-1, z, x), tak (z-1, x, y)) else z diff --git a/test/Moretest/tcallback.ml b/test/Moretest/tcallback.ml index 4ce50c525..fdc01be38 100644 --- a/test/Moretest/tcallback.ml +++ b/test/Moretest/tcallback.ml @@ -2,7 +2,7 @@ external mycallback1 : ('a -> 'b) -> 'a -> 'b = "mycallback1" external mycallback2 : ('a -> 'b -> 'c) -> 'a -> 'b -> 'c = "mycallback2" external mycallback3 : ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> 'c -> 'd = "mycallback3" -let rec tak (x, y, z) = +let rec tak (x, y, z as tuple) = if x > y then tak(tak (x-1, y, z), tak (y-1, z, x), tak (z-1, x, y)) else z |