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

Chars are compared with eqv?.

Browse Source 
original commit: 056c1aaff44918a4e2439aa84c6b931e1afd4473
This commit is contained in:
Sam Tobin-Hochstadt 2012-11-07 09:34:57 -05:00
parent 3e4bbc8394
commit dcb7dbac6d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -40,7 +40,7 @@
;; identifier expr expr -> tc-results
(define (tc/eq comparator v1 v2)
(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) (char? e)))
(define (equal?-able e) #t)
(define (ok? val)
(define-syntax-rule (alt nm pred ...)