Mercurial > urweb

comparison src/elab.sml @ 447:b77863cd0be2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating 'let'
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 11:17:29 -0400
parents dfc8c991abd0
children f542bc3133dc
comparison
equal deleted inserted replaced
446:86c063fedc4d 447:b77863cd0be2
115 | ECase of exp * (pat * exp) list * { disc : con, result : con } 115 | ECase of exp * (pat * exp) list * { disc : con, result : con }
116 116
117 | EError 117 | EError
118 | EUnif of exp option ref 118 | EUnif of exp option ref
119 119
120 | ELet of edecl list * exp
121
122 and edecl' =
123 EDVal of string * con * exp
124 | EDValRec of (string * con * exp) list
125
120 withtype exp = exp' located 126 withtype exp = exp' located
127 and edecl = edecl' located
121 128
122 datatype sgn_item' = 129 datatype sgn_item' =
123 SgiConAbs of string * int * kind 130 SgiConAbs of string * int * kind
124 | SgiCon of string * int * kind * con 131 | SgiCon of string * int * kind * con
125 | SgiDatatype of string * int * string list * (string * int * con option) list 132 | SgiDatatype of string * int * string list * (string * int * con option) list