summaryrefslogtreecommitdiffstats
path: root/byterun/floats.c
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-07-27 17:41:09 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-07-27 17:41:09 +0000
commit863984ea8ba4be4fc317680c3c457aa8f89c2c72 (patch)
treebf5238495f6f944178e294c623a68ceafee97df5 /byterun/floats.c
parentb44ab158b2735be981330ff8a0d696051a246cc6 (diff)
Ajout du tag Double_array_tag.
Deplacement de copy_double dans floats.c. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/floats.c')
-rw-r--r--byterun/floats.c14
1 files changed, 14 insertions, 0 deletions
diff --git a/byterun/floats.c b/byterun/floats.c
index 7e6fc703b..ee0dbc070 100644
--- a/byterun/floats.c
+++ b/byterun/floats.c
@@ -60,6 +60,20 @@ void Store_double_val(val, dbl)
#endif
#endif
+value copy_double(d)
+ double d;
+{
+ value res;
+
+#define Setup_for_gc
+#define Restore_after_gc
+ Alloc_small(res, Double_wosize, Double_tag);
+#undef Setup_for_gc
+#undef Restore_after_gc
+ Store_double_val(res, d);
+ return res;
+}
+
value format_float(fmt, arg) /* ML */
value fmt, arg;
{