Mercurial > urweb

comparison src/expl.sml @ 623:588b9d16b00a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Feb 2009 16:10:25 -0500
parents 8998114760c1
children 354800878b4d
comparison
equal deleted inserted replaced
622:d64533157f40 623:588b9d16b00a
91 | ERecord of (con * exp * con) list 91 | ERecord of (con * exp * con) list
92 | EField of exp * con * { field : con, rest : con } 92 | EField of exp * con * { field : con, rest : con }
93 | EConcat of exp * con * exp * con 93 | EConcat of exp * con * exp * con
94 | ECut of exp * con * { field : con, rest : con } 94 | ECut of exp * con * { field : con, rest : con }
95 | ECutMulti of exp * con * { rest : con } 95 | ECutMulti of exp * con * { rest : con }
96 | EFold of kind
97 96
98 | ECase of exp * (pat * exp) list * { disc : con, result : con } 97 | ECase of exp * (pat * exp) list * { disc : con, result : con }
99 98
100 | EWrite of exp 99 | EWrite of exp
101 100