Mercurial > urweb

diff src/urweb.grm @ 823:669ac5e9a69e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Demo compiles with pattern-matching-fu
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 10:35:25 -0400
parents d4e811beb8eb
children 7f871c03e3a1
line wrap: on
line diff
--- a/src/urweb.grm	Thu May 28 10:16:50 2009 -0400
+++ b/src/urweb.grm	Thu May 28 10:35:25 2009 -0400
@@ -985,6 +985,7 @@
 
                                                 val e' = case #1 patS of
                                                              PVar x => (EAbs (x, NONE, e), loc)
+                                                           | PAnnot ((PVar x, _), t) => (EAbs (x, SOME t, e), loc)
                                                            | _ => (EAbs ("$x", SOME pt,
                                                                          (ECase ((EVar ([], "$x", DontInfer),
                                                                                   loc),
@@ -1001,6 +1002,7 @@
 
                                                 val e' = case #1 pterm of
                                                              PVar x => (EAbs (x, NONE, e), loc)
+                                                           | PAnnot ((PVar x, _), t) => (EAbs (x, SOME t, e), loc)
                                                            | _ => (EAbs ("$x", SOME pt,
                                                                          (ECase ((EVar ([], "$x", DontInfer),
                                                                                   loc),