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

Fix printing of `Number' - reported by Noel.

Browse Source 
Provide `assert' from `typed/scheme'

svn: r18062
This commit is contained in:
Sam Tobin-Hochstadt 2010-02-12 15:49:58 +00:00
parent 5143cfcd1c
commit e99b1d028c
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/types/printer.ss
View File

@ -144,7 +144,7 @@
(match c (match c
[(Univ:) (fp "Any")] [(Univ:) (fp "Any")]
;; special case number until something better happens ;; special case number until something better happens
[(Base: 'Number _) (fp "Number")] ;;[(Base: 'Number _) (fp "Number")]
[(? has-name?) (fp "~a" (has-name? c))] [(? has-name?) (fp "~a" (has-name? c))]
[(StructTop: st) (fp "~a" st)] [(StructTop: st) (fp "~a" st)]
[(BoxTop:) (fp "Box")] [(BoxTop:) (fp "Box")]

2
collects/typed/scheme/base.ss
View File

@ -14,6 +14,8 @@
typed-scheme/private/base-special-env typed-scheme/private/base-special-env
typed-scheme/private/base-env-numeric typed-scheme/private/base-env-numeric
typed-scheme/private/base-env-indexing typed-scheme/private/base-env-indexing
typed-scheme/private/extra-procs
(for-syntax typed-scheme/private/base-types-extra)) (for-syntax typed-scheme/private/base-types-extra))
(provide (rename-out [with-handlers: with-handlers]) (provide (rename-out [with-handlers: with-handlers])
assert
(for-syntax (all-from-out typed-scheme/private/base-types-extra))) (for-syntax (all-from-out typed-scheme/private/base-types-extra)))