From fd52c764dade3f59438baf75ab474dc60daf0339 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Wed, 13 Jan 2016 21:43:25 -0500 Subject: [PATCH] Fixed bug in define-relation Previously, define-relation would not accept declarations with types that did not match syntax-class id --- cur-lib/cur/olly.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cur-lib/cur/olly.rkt b/cur-lib/cur/olly.rkt index 33de81e..7afbe1a 100644 --- a/cur-lib/cur/olly.rkt +++ b/cur-lib/cur/olly.rkt @@ -27,7 +27,7 @@ x:id #:fail-unless (regexp-match #rx"-+" (symbol->string (syntax-e #'x))) "Invalid dash")) - (define-syntax-class decl (pattern (x:id (~datum :) t:id))) + (define-syntax-class decl (pattern (x:id (~datum :) t))) ;; TODO: Automatically infer decl ... by binding all free identifiers? ;; TODO: Automatically infer decl ... for meta-variables that are the