Mercurial > urweb
comparison src/elab.sml @ 228:19e5791923d0
Resolving lingering type class constraints
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 21 Aug 2008 14:45:31 -0400 |
parents | 0343557355fc |
children | 42dfb0d61cf0 |
comparison
equal
deleted
inserted
replaced
227:524e10c91478 | 228:19e5791923d0 |
---|---|
109 | EFold of kind | 109 | EFold of kind |
110 | 110 |
111 | ECase of exp * (pat * exp) list * { disc : con, result : con } | 111 | ECase of exp * (pat * exp) list * { disc : con, result : con } |
112 | 112 |
113 | EError | 113 | EError |
114 | EUnif of exp option ref | |
114 | 115 |
115 withtype exp = exp' located | 116 withtype exp = exp' located |
116 | 117 |
117 datatype sgn_item' = | 118 datatype sgn_item' = |
118 SgiConAbs of string * int * kind | 119 SgiConAbs of string * int * kind |