diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-10-24 16:15:54 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-10-24 16:15:54 +0000 |
| commit | 2daa336fad4620e09ff12770b6b4c72954f77b88 (patch) | |
| tree | b326b08130fe221fb60693d2b975d85864ccd2d2 | |
| parent | 113fb441ff6d89f39549881ddf2bf04a98b3c298 (diff) | |
Empecher l'optimisation des fonctions tuplifiees...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1095 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 |