diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-06-15 16:08:53 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-06-15 16:08:53 +0000 |
| commit | ba79d4bd1f01a70b892c69f6a5e6e86714a023d6 (patch) | |
| tree | 61467d43981ccbd89513d4396acf3c738ad84334 /asmcomp/mach.mli | |
| parent | 3ceaa85c72b2094bb090a1819b65a2792cf2d3c1 (diff) | |
| download | ocaml-ba79d4bd1f01a70b892c69f6a5e6e86714a023d6.tar.gz | |
Iloop est maintenant une boucle infinie, on en sort par catch...exit.
Ca supprime Ilooptest, Ialwaystrue, Ialwaysfalse.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@36 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/mach.mli')
| -rw-r--r-- | asmcomp/mach.mli | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/asmcomp/mach.mli b/asmcomp/mach.mli index b60bce0873..d1e8ddad5c 100644 --- a/asmcomp/mach.mli +++ b/asmcomp/mach.mli @@ -10,9 +10,7 @@ type integer_operation = | Icomp of integer_comparison type test = - Ialwaystrue - | Ialwaysfalse - | Itruetest + Itruetest | Ifalsetest | Iinttest of integer_comparison | Iinttest_imm of integer_comparison * int @@ -37,7 +35,6 @@ type operation = | Iintop_imm of integer_operation * int | Iaddf | Isubf | Imulf | Idivf | Ifloatofint | Iintoffloat - | Ilooptest of test | Ispecific of Arch.specific_operation type instruction = |