Mercurial > urweb

comparison src/elaborate.sml @ 170:a158f8c5aa55

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing basic patterns
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 16:38:15 -0400
parents 06a98129b23f
children c7a6e6dbc318
comparison
equal deleted inserted replaced
169:2232ab355f66 170:a158f8c5aa55
1135 let 1135 let
1136 val dom = kunif loc 1136 val dom = kunif loc
1137 in 1137 in
1138 ((L'.EFold dom, loc), foldType (dom, loc), []) 1138 ((L'.EFold dom, loc), foldType (dom, loc), [])
1139 end 1139 end
1140
1141 | L.ECase _ => raise Fail "Elaborate ECase"
1140 end 1142 end
1141 1143
1142 1144
1143 datatype decl_error = 1145 datatype decl_error =
1144 KunifsRemain of L'.decl list 1146 KunifsRemain of L'.decl list