summaryrefslogtreecommitdiff
path: root/src/prim.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-12-20 14:19:21 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-12-20 14:19:21 -0500
commit38f0a1e10825923e44f22bdd559291b32eb3173d (patch)
treeb3d519edc46498c2743994fbcf548dd1a2f3e66b /src/prim.sml
parent3eba512008eb94393e65533966aeb21c90a231f3 (diff)
Start of JsComp
Diffstat (limited to 'src/prim.sml')
-rw-r--r--src/prim.sml6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/prim.sml b/src/prim.sml
index daf666e8..468b28d5 100644
--- a/src/prim.sml
+++ b/src/prim.sml
@@ -53,6 +53,12 @@ fun float2s n =
else
Real64.toString n
+fun toString t =
+ case t of
+ Int n => int2s n
+ | Float n => float2s n
+ | String s => s
+
fun p_t_GCC t =
case t of
Int n => string (int2s n)