From bd31f51f6451e989a868bacb0a7d8fab13fb2247 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Fri, 23 Jan 2015 01:16:21 -0500
Subject: [PATCH] Removed literals, Tweaked input syntax/tested
---
pltools.rkt | 13 +++++++++----
1 file changed, 9 insertions(+), 4 deletions(-)
diff --git a/pltools.rkt b/pltools.rkt
index 611064b..7be6dcd 100644
--- a/pltools.rkt
+++ b/pltools.rkt
@@ -125,7 +125,6 @@
(define-syntax (define-language syn)
(syntax-parse syn
- #:literals (var)
[(_ name:id (~do (lang-name #'name))
(~do (nts (hash-set (make-immutable-hash) 'var #'var)))
(~optional (~seq #:vars (x*:id ...)
@@ -137,23 +136,29 @@
(data var : Type (avar : (-> nat var)))
-#|
+;;Type this:
+
+#;
(define-language stlc
#:vars (x)
(val (v) ::= true false)
(type (A B) ::= bool (-> A B))
- (term (e) ::= var v (e e) (lambda x A e)))
+ (term (e) ::= var v (e e) (lambda (x : A) e)))
+;;This gets generated:
+
+#;
(begin
(data stlc-val : Type
(stlc-true : stlc-val)
(stlc-false : stlc-val))
+
(data stlc-type : Type
(stlc-bool : stlc-type)
(stlc--> : (->* stlc-type stlc-type stlc-type)))
+
(data stlc-term : Type
(var-->-stlc-term : (-> var stlc-term))
(stlc-val-->-stlc-term : (-> stlc-val stlc-term))
(stlc-term2151 : (->* stlc-term stlc-term stlc-term))
(stlc-lambda : (->* var stlc-type stlc-term stlc-term))))
-|#