diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-19 19:38:48 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-19 19:38:48 +0000 |
| commit | a1ff6727e778ac15d7af449344bf80df824832c1 (patch) | |
| tree | 530e0857680d9b53343511367d25c387e06132bd /test/nucleic.ml | |
| parent | 9ea126989154ff09ab9fc9ac69de3450312e1cfe (diff) | |
Integration des tests bytecode / code natif
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'test/nucleic.ml')
| -rw-r--r-- | test/nucleic.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/nucleic.ml b/test/nucleic.ml index e4edcfe0f..1db198dc4 100644 --- a/test/nucleic.ml +++ b/test/nucleic.ml @@ -1,9 +1,9 @@ (* Use floating-point arithmetic *) -external (+) : float -> float -> float = "add_float" -external (-) : float -> float -> float = "sub_float" -external ( * ) : float -> float -> float = "mul_float" -external (/) : float -> float -> float = "div_float" +external (+) : float -> float -> float = "%addfloat" +external (-) : float -> float -> float = "%subfloat" +external ( * ) : float -> float -> float = "%mulfloat" +external (/) : float -> float -> float = "%divfloat" type intg = int |