diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-04-30 12:11:35 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-04-30 12:11:35 +0000 |
| commit | bdcbaa96025eb71f9aaeaef1573ca234b79fd846 (patch) | |
| tree | 434fb775736830f16504aab03edb27b856e71dfe /asmcomp/clambda.mli | |
| parent | 8bbdd992dec703483ca8203267cbd8156d7daab3 (diff) | |
| download | ocaml-bdcbaa96025eb71f9aaeaef1573ca234b79fd846.tar.gz | |
Propagation des constantes entieres
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/clambda.mli')
| -rw-r--r-- | asmcomp/clambda.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/asmcomp/clambda.mli b/asmcomp/clambda.mli index d6fb06e120..def48ff242 100644 --- a/asmcomp/clambda.mli +++ b/asmcomp/clambda.mli @@ -62,3 +62,4 @@ type value_approximation = Value_closure of function_description * value_approximation | Value_tuple of value_approximation array | Value_unknown + | Value_integer of int |