Mercurial > urweb

comparison src/core.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 230654093b51
comparison
equal deleted inserted replaced
622:d64533157f40 623:588b9d16b00a
94 | ERecord of (con * exp * con) list 94 | ERecord of (con * exp * con) list
95 | EField of exp * con * { field : con, rest : con } 95 | EField of exp * con * { field : con, rest : con }
96 | EConcat of exp * con * exp * con 96 | EConcat of exp * con * exp * con
97 | ECut of exp * con * { field : con, rest : con } 97 | ECut of exp * con * { field : con, rest : con }
98 | ECutMulti of exp * con * { rest : con } 98 | ECutMulti of exp * con * { rest : con }
99 | EFold of kind
100 99
101 | ECase of exp * (pat * exp) list * { disc : con, result : con } 100 | ECase of exp * (pat * exp) list * { disc : con, result : con }
102 101
103 | EWrite of exp 102 | EWrite of exp
104 103