summaryrefslogtreecommitdiff
path: root/src/expl.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/expl.sml
parent1798f5eb1b11613d88acb307472922976f1583b4 (diff)
Compiled pattern matching to C
Diffstat (limited to 'src/expl.sml')
-rw-r--r--src/expl.sml6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/expl.sml b/src/expl.sml
index 52dbee63..c561ff29 100644
--- a/src/expl.sml
+++ b/src/expl.sml
@@ -65,10 +65,10 @@ datatype patCon =
datatype pat' =
PWild
- | PVar of string
+ | PVar of string * con
| PPrim of Prim.t
| PCon of patCon * pat option
- | PRecord of (string * pat) list
+ | PRecord of (string * pat * con) list
withtype pat = pat' located
@@ -87,7 +87,7 @@ datatype exp' =
| ECut of exp * con * { field : con, rest : con }
| EFold of kind
- | ECase of exp * (pat * exp) list * con
+ | ECase of exp * (pat * exp) list * { disc : con, result : con }
| EWrite of exp