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

Correct typo in contract

Browse Source
This commit is contained in:
Jay McCarthy 2015-09-17 11:12:54 -04:00
parent a0d3481b73
commit c2a3c35db1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ast.rkt
View File

@ -7,8 +7,8 @@
(list/c any/c
(or/c exact-positive-integer? #f)
(or/c exact-nonnegative-integer? #f)
(or/c exact-nonnegative-integer? #f)
(or/c exact-positive-integer? #f))))
(or/c exact-positive-integer? #f)
(or/c exact-nonnegative-integer? #f))))
(define-struct predicate-sym (srcloc sym) #:prefab)
(define datum/c (or/c string? symbol? predicate-sym?))