Mercurial > urweb

comparison src/elab_util.sml @ 228:19e5791923d0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
345 S.map2 (mfc ctx result, 345 S.map2 (mfc ctx result,
346 fn result' => 346 fn result' =>
347 (ECase (e', pes', {disc = disc', result = result'}), loc))))) 347 (ECase (e', pes', {disc = disc', result = result'}), loc)))))
348 348
349 | EError => S.return2 eAll 349 | EError => S.return2 eAll
350 | EUnif (ref (SOME e)) => mfe ctx e
351 | EUnif _ => S.return2 eAll
350 in 352 in
351 mfe 353 mfe
352 end 354 end
353 355
354 fun mapfold {kind = fk, con = fc, exp = fe} = 356 fun mapfold {kind = fk, con = fc, exp = fe} =