comparison src/core.sml @ 149:7420fa18d657

Record cut
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 10:09:21 -0400
parents f0d3402184d1
children 80192edca30d
comparison
equal deleted inserted replaced
148:15e8b9775539 149:7420fa18d657
70 | ECApp of exp * con 70 | ECApp of exp * con
71 | ECAbs of string * kind * exp 71 | ECAbs of string * kind * exp
72 72
73 | ERecord of (con * exp * con) list 73 | ERecord of (con * exp * con) list
74 | EField of exp * con * { field : con, rest : con } 74 | EField of exp * con * { field : con, rest : con }
75 | ECut of exp * con * { field : con, rest : con }
75 | EFold of kind 76 | EFold of kind
76 77
77 | EWrite of exp 78 | EWrite of exp
78 79
79 | EClosure of int * exp list 80 | EClosure of int * exp list