diff src/cjr.sml @ 185:19ee24bffbc0

FFI datatypes
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 17:57:47 -0400
parents d11754ffe252
children 88d46972de53
line wrap: on
line diff
--- a/src/cjr.sml	Sun Aug 03 16:53:13 2008 -0400
+++ b/src/cjr.sml	Sun Aug 03 17:57:47 2008 -0400
@@ -40,7 +40,7 @@
 
 datatype patCon =
          PConVar of int
-       | PConFfi of string * string
+       | PConFfi of {mod : string, datatyp : string, con : string}
 
 datatype pat' =
          PWild
@@ -55,7 +55,7 @@
          EPrim of Prim.t
        | ERel of int
        | ENamed of int
-       | ECon of int * exp option
+       | ECon of patCon * exp option
        | EFfi of string * string
        | EFfiApp of string * string * exp list
        | EApp of exp * exp