Mercurial > urweb

comparison src/urweb.grm @ 712:915ec60592d4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More flexible foreign keying
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 13:59:34 -0400
parents 7292bcb7c02d
children 0f42461273cf
comparison
equal deleted inserted replaced
711:7292bcb7c02d 712:915ec60592d4
521 val e = (EVar (["Basis"], "mat_cons", Infer), loc) 521 val e = (EVar (["Basis"], "mat_cons", Infer), loc)
522 val e = (ECApp (e, nm1), loc) 522 val e = (ECApp (e, nm1), loc)
523 val e = (ECApp (e, nm2), loc) 523 val e = (ECApp (e, nm2), loc)
524 val e = (EDisjointApp e, loc) 524 val e = (EDisjointApp e, loc)
525 val e = (EDisjointApp e, loc) 525 val e = (EDisjointApp e, loc)
526 val e = (EApp (e, (EWild, loc)), loc)
526 in 527 in
527 (EApp (e, mat), loc) 528 (EApp (e, mat), loc)
528 end) 529 end)
529 (EVar (["Basis"], "mat_nil", Infer), loc) 530 (EVar (["Basis"], "mat_nil", Infer), loc)
530 (#1 tnames :: #2 tnames, #1 tnames' :: #2 tnames') 531 (#1 tnames :: #2 tnames, #1 tnames' :: #2 tnames')