Mercurial > urweb

comparison src/urweb.grm @ 711:7292bcb7c02d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Made type class system very general; demo compiles
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 12:31:56 -0400
parents 71409a4ccb67
children 915ec60592d4
comparison
equal deleted inserted replaced
710:71409a4ccb67 711:7292bcb7c02d
658 in 658 in
659 (SgiVal (SYMBOL, t), loc) 659 (SgiVal (SYMBOL, t), loc)
660 end) 660 end)
661 | CLASS SYMBOL (let 661 | CLASS SYMBOL (let
662 val loc = s (CLASSleft, SYMBOLright) 662 val loc = s (CLASSleft, SYMBOLright)
663 in 663 val k = (KArrow ((KType, loc), (KType, loc)), loc)
664 (SgiClassAbs (SYMBOL, (KWild, loc)), loc) 664 in
665 (SgiClassAbs (SYMBOL, k), loc)
665 end) 666 end)
666 | CLASS SYMBOL DCOLON kind (let 667 | CLASS SYMBOL DCOLON kind (let
667 val loc = s (CLASSleft, kindright) 668 val loc = s (CLASSleft, kindright)
668 in 669 in
669 (SgiClassAbs (SYMBOL, kind), loc) 670 (SgiClassAbs (SYMBOL, kind), loc)