summaryrefslogtreecommitdiff
path: root/src/mono.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-03 12:43:20 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-03 12:43:20 -0400
commit6314b4c27a14576b356258dad74607168135cb51 (patch)
treeec853f9102b3d3e5729457db7a10fd4f81165431 /src/mono.sml
parent1798f5eb1b11613d88acb307472922976f1583b4 (diff)
Compiled pattern matching to C
Diffstat (limited to 'src/mono.sml')
-rw-r--r--src/mono.sml6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/mono.sml b/src/mono.sml
index 7ed1aca1..f8c7dbfe 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -43,10 +43,10 @@ datatype patCon =
datatype pat' =
PWild
- | PVar of string
+ | PVar of string * typ
| PPrim of Prim.t
| PCon of patCon * pat option
- | PRecord of (string * pat) list
+ | PRecord of (string * pat * typ) list
withtype pat = pat' located
@@ -63,7 +63,7 @@ datatype exp' =
| ERecord of (string * exp * typ) list
| EField of exp * string
- | ECase of exp * (pat * exp) list * typ
+ | ECase of exp * (pat * exp) list * { disc : typ, result : typ }
| EStrcat of exp * exp