Syntax parse for better error messages

2015-09-22 22:59:07 -04:00 · 2015-09-22 22:59:07 -04:00 · e4bf99c277
commit e4bf99c277
parent eeb2b9182a
1 changed files with 3 additions and 4 deletions
--- a/curnel/redex-lang.rkt
+++ b/curnel/redex-lang.rkt
@ -423,12 +423,11 @@
  (syntax-case syn ()
    [(_ . id) (normalize/syn #'id)]))

-;; TODO: Syntax-parse
 (define-syntax (dep-define syn)
-  (syntax-case syn (:)
-    [(_ (name (x : t)) e)
+  (syntax-parse syn
+    [(_ (name:id (x:id : t)) e)
     #'(dep-define name (dep-lambda (x : t) e))]
-    [(_ id e)
+    [(_ id:id e)
     (let ([e (cur->datum #'e)]
           [id (syntax->datum #'id)])
       (extend-Γ/term! gamma id (type-infer/term e))