Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/urweb.grm	Tue Apr 07 20:38:01 2009 -0400
+++ b/src/urweb.grm	Thu Apr 09 12:31:56 2009 -0400
@@ -660,8 +660,9 @@
                                          end)
        | CLASS SYMBOL                   (let
                                              val loc = s (CLASSleft, SYMBOLright)
+                                             val k = (KArrow ((KType, loc), (KType, loc)), loc)
                                          in
-                                             (SgiClassAbs (SYMBOL, (KWild, loc)), loc)
+                                             (SgiClassAbs (SYMBOL, k), loc)
                                          end)
        | CLASS SYMBOL DCOLON kind       (let
                                              val loc = s (CLASSleft, kindright)