Mercurial > urweb

comparison src/elaborate.sml @ 206:cb8493759a7b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove extraneous disjointness goal
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 Aug 2008 15:27:35 -0400
parents cb8f69556975
children cc68da3801bc
comparison
equal deleted inserted replaced
205:cb8f69556975 206:cb8493759a7b
791 791
792 val singleton = (L'.CRecord (dom, [(nm, v)]), loc) 792 val singleton = (L'.CRecord (dom, [(nm, v)]), loc)
793 val concat = (L'.CConcat (singleton, rest), loc) 793 val concat = (L'.CConcat (singleton, rest), loc)
794 val gs7 = unifyCons (env, denv) r concat 794 val gs7 = unifyCons (env, denv) r concat
795 in 795 in
796 (loc, env, denv, singleton, rest) :: gs1 @ gs2 @ gs3 @ gs4 @ gs5 @ gs6 @ gs7 796 gs1 @ gs2 @ gs3 @ gs4 @ gs5 @ gs6 @ gs7
797 end 797 end
798 else 798 else
799 raise ex 799 raise ex
800 end 800 end
801 handle _ => raise ex 801 handle _ => raise ex