suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed bug in define-relation

Browse Source 
Previously, define-relation would not accept declarations with types
that did not match syntax-class id
This commit is contained in:
William J. Bowman 2016-01-13 21:43:25 -05:00
parent fb39a88eac
commit fd52c764da
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cur-lib/cur/olly.rkt
View File

@ -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