Mercurial > urweb

comparison src/elaborate.sml @ 452:222cbc1da232

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix some type-class detection
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 17:19:12 -0400
parents b77863cd0be2
children f542bc3133dc
comparison
equal deleted inserted replaced
451:1bd575eb2d1e 452:222cbc1da232
1396 val f = unmodCon (#1 envs) f 1396 val f = unmodCon (#1 envs) f
1397 val (x, gs) = hnormCon envs x 1397 val (x, gs) = hnormCon envs x
1398 in 1398 in
1399 ((L'.CApp (f, x), loc), gs) 1399 ((L'.CApp (f, x), loc), gs)
1400 end 1400 end
1401 | L'.CUnif (_, _, _, ref (SOME c)) => normClassConstraint envs c
1401 | _ => ((c, loc), []) 1402 | _ => ((c, loc), [])
1402 1403
1403 1404
1404 val makeInstantiable = 1405 val makeInstantiable =
1405 let 1406 let