From 410ee11cbe270358f57bc2ef1e6b006204590b3c Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Fri, 6 Feb 2015 01:05:26 -0500 Subject: [PATCH] Fixed typo --- proofs-for-free.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/proofs-for-free.rkt b/proofs-for-free.rkt index 32759f7..849ddf8 100644 --- a/proofs-for-free.rkt +++ b/proofs-for-free.rkt @@ -27,7 +27,7 @@ (syntax-parse (cur-expand syn) ;; TODO: Need to add these to a literal set and export it ;; Or, maybe redefine syntax-parse - #:dataumliterals (:) + #:dataum-literals (:) #:literals (lambda forall data real-app case Type) [(_ Type) #'(lambda* (x1 : Type) (x2 : Type) (->* x1 x2 Type))]