diff options
Diffstat (limited to 'byterun/floats.c')
| -rw-r--r-- | byterun/floats.c | 14 |
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; { |