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

eq? is a predicate for eof

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-15 14:59:08 -04:00
parent 05877f4537
commit f73d63e1af
2 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
View File

@ -811,7 +811,14 @@
[tc-err (do: : Void [tc-err (do: : Void
([j : Natural (+ i 'a) (+ j i)]) ([j : Natural (+ i 'a) (+ j i)])
((>= j 10)) ((>= j 10))
#f)]) #f)]
[tc-e/t
(let ([x eof])
(if (procedure? x)
x
(lambda (z) (eq? x z))))
(make-pred-ty (-val eof))]
)
(test-suite (test-suite
"check-type tests" "check-type tests"
(test-exn "Fails correctly" exn:fail:syntax? (lambda () (parameterize ([orig-module-stx #'here]) (test-exn "Fails correctly" exn:fail:syntax? (lambda () (parameterize ([orig-module-stx #'here])

2
collects/typed-scheme/typecheck/tc-app.rkt
View File

@ -41,7 +41,7 @@
;; typecheck eq? applications ;; typecheck eq? applications
;; identifier expr expr -> tc-results ;; identifier expr expr -> tc-results
(define (tc/eq comparator v1 v2) (define (tc/eq comparator v1 v2)
(define (eq?-able e) (or (boolean? e) (keyword? e) (symbol? e))) (define (eq?-able e) (or (boolean? e) (keyword? e) (symbol? e) (eof-object? e)))
(define (eqv?-able e) (or (eq?-able e) (number? e))) (define (eqv?-able e) (or (eq?-able e) (number? e)))
(define (equal?-able e) #t) (define (equal?-able e) #t)
(define (ok? val) (define (ok? val)