diff src/mono.sml @ 590:57f476c934da

Injecting an int
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Jan 2009 15:11:17 -0500
parents 1e589a60b86f
children 330a7de47914
line wrap: on
line diff
--- a/src/mono.sml	Thu Jan 01 11:58:00 2009 -0500
+++ b/src/mono.sml	Thu Jan 01 15:11:17 2009 -0500
@@ -60,7 +60,7 @@
 datatype javascript_mode =
          Attribute
        | Script
-       | File
+       | Source of typ
 
 datatype exp' =
          EPrim of Prim.t