Mercurial > urweb

comparison src/elab_env.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 85819353a84f
children f542bc3133dc
comparison
equal deleted inserted replaced
451:1bd575eb2d1e 452:222cbc1da232
417 case c of 417 case c of
418 CApp (f, x) => 418 CApp (f, x) =>
419 (case (class_name_in f, class_key_in x) of 419 (case (class_name_in f, class_key_in x) of
420 (SOME f, SOME x) => SOME (f, x) 420 (SOME f, SOME x) => SOME (f, x)
421 | _ => NONE) 421 | _ => NONE)
422 | CUnif (_, _, _, ref (SOME c)) => class_pair_in c
422 | _ => NONE 423 | _ => NONE
423 424
424 fun resolveClass (env : env) c = 425 fun resolveClass (env : env) c =
425 case class_pair_in c of 426 case class_pair_in c of
426 SOME (f, x) => 427 SOME (f, x) =>