Mercurial > urweb

comparison src/expl.sml @ 449:89f766f19d5b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Explify 'let'
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 16:08:39 -0400
parents dfc8c991abd0
children d34834af4512
comparison
equal deleted inserted replaced
448:85819353a84f 449:89f766f19d5b
96 96
97 | ECase of exp * (pat * exp) list * { disc : con, result : con } 97 | ECase of exp * (pat * exp) list * { disc : con, result : con }
98 98
99 | EWrite of exp 99 | EWrite of exp
100 100
101 | ELet of string * con * exp * exp
102
101 withtype exp = exp' located 103 withtype exp = exp' located
102 104
103 datatype sgn_item' = 105 datatype sgn_item' =
104 SgiConAbs of string * int * kind 106 SgiConAbs of string * int * kind
105 | SgiCon of string * int * kind * con 107 | SgiCon of string * int * kind * con