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

fix some unfortunate bugs

Browse Source 
svn: r18433

original commit: b020c8dc216c48d52dab9a78134c34405210da81
This commit is contained in:
Sam Tobin-Hochstadt 2010-03-02 20:37:36 +00:00
parent 1e35d3a083
commit 04dbfaf38e
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/colon.ss
View File

@ -11,7 +11,7 @@
(define-syntax (: stx)
(define-syntax-class arr
(pattern x:id
#:fail-unless (eq? (syntax-e #'x '->)) #f
#:fail-unless (eq? (syntax-e #'x) '->) #f
#:fail-unless (printf "id: ~a ~a~n"
(identifier-binding #'All-kw)
(identifier-transformer-binding #'All-kw))

3
collects/typed-scheme/typecheck/tc-metafunctions.ss
View File

@ -63,7 +63,8 @@
[(FilterSet: f+ f-)
(lcombine
(apply append (for/list ([f f+]) (abo ids keys f)))
(apply append (for/list ([f f-]) (abo ids keys f))))]))
(apply append (for/list ([f f-]) (abo ids keys f))))]
[(NoFilter:) (lcombine null null)]))
(d/c (abo xs idxs f)
((listof identifier?) (listof index/c) Filter/c . -> . (or/c null? (list/c LatentFilter/c)))