From 0198b39f38b78b3fe03d0ba09b99a1492535c5f6 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Fri, 23 Jan 2015 01:34:26 -0500
Subject: [PATCH] Added TODO, made example cleaner

---
 pltools.rkt | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/pltools.rkt b/pltools.rkt
index 7be6dcd..32b88f7 100644
--- a/pltools.rkt
+++ b/pltools.rkt
@@ -123,6 +123,8 @@
                            #`((data name* : Type . rhs*.clause)
                               ...)))))
 
+;; TODO: For better error messages, add context, rename some of these patterns. e.g.
+;;    (type (meta-vars) ::= ?? )
 (define-syntax (define-language syn)
   (syntax-parse syn
     [(_ name:id (~do (lang-name #'name))
@@ -138,12 +140,11 @@
 
 ;;Type this:
 
-#;
 (define-language stlc
   #:vars (x)
-  (val (v) ::= true false)
+  (val  (v)   ::= true false)
   (type (A B) ::= bool (-> A B))
-  (term (e) ::= var v (e e) (lambda (x : A) e)))
+  (term (e)   ::= x v (e e) (lambda (x : A) e)))
 
 ;;This gets generated: