From af0b1a908fdc212739c8022858862daac74c4436 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Thu, 5 Feb 2015 12:35:44 -0500 Subject: [PATCH] Fixed duplicate literal in syntax-parse --- proofs-for-free.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/proofs-for-free.rkt b/proofs-for-free.rkt index 1b13b00..32759f7 100644 --- a/proofs-for-free.rkt +++ b/proofs-for-free.rkt @@ -27,6 +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 (:) #:literals (lambda forall data real-app case Type) [(_ Type) #'(lambda* (x1 : Type) (x2 : Type) (->* x1 x2 Type))]