Mercurial > urweb
diff src/lacweb.grm @ 212:ba4d7c33a45f
Testing type-class-parameterized functions
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 16 Aug 2008 14:36:17 -0400 |
| parents | e86411f647c6 |
| children | 5292c0113024 |
line wrap: on
line diff
--- a/src/lacweb.grm Sat Aug 16 14:32:18 2008 -0400 +++ b/src/lacweb.grm Sat Aug 16 14:36:17 2008 -0400 @@ -427,6 +427,7 @@ | FN SYMBOL kcolon kind DARROW eexp (ECAbs (kcolon, SYMBOL, kind, eexp), s (FNleft, eexpright)) | FN SYMBOL COLON cexp DARROW eexp (EAbs (SYMBOL, SOME cexp, eexp), s (FNleft, eexpright)) | FN SYMBOL DARROW eexp (EAbs (SYMBOL, NONE, eexp), s (FNleft, eexpright)) + | FN UNDER COLON cexp DARROW eexp (EAbs ("_", SOME cexp, eexp), s (FNleft, eexpright)) | LBRACK cterm TWIDDLE cterm RBRACK DARROW eexp(EDisjoint (cterm1, cterm2, eexp), s (LBRACKleft, RBRACKright)) | FN UNIT DARROW eexp (let val loc = s (FNleft, eexpright)