From b2ea0474f20b81e9ead0580cb038b44ff88426cf Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 12 Feb 2010 15:49:58 +0000 Subject: [PATCH] Fix printing of `Number' - reported by Noel. Provide `assert' from `typed/scheme' svn: r18062 original commit: e99b1d028c89c2b3b027f861260fa57d2790abf1 --- collects/typed-scheme/types/printer.ss | 2 +- collects/typed/scheme/base.ss | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/types/printer.ss b/collects/typed-scheme/types/printer.ss index fe11cea5..f84d5b6c 100644 --- a/collects/typed-scheme/types/printer.ss +++ b/collects/typed-scheme/types/printer.ss @@ -144,7 +144,7 @@ (match c [(Univ:) (fp "Any")] ;; special case number until something better happens - [(Base: 'Number _) (fp "Number")] + ;;[(Base: 'Number _) (fp "Number")] [(? has-name?) (fp "~a" (has-name? c))] [(StructTop: st) (fp "~a" st)] [(BoxTop:) (fp "Box")] diff --git a/collects/typed/scheme/base.ss b/collects/typed/scheme/base.ss index 000da9a2..be070611 100644 --- a/collects/typed/scheme/base.ss +++ b/collects/typed/scheme/base.ss @@ -14,6 +14,8 @@ typed-scheme/private/base-special-env typed-scheme/private/base-env-numeric typed-scheme/private/base-env-indexing + typed-scheme/private/extra-procs (for-syntax typed-scheme/private/base-types-extra)) (provide (rename-out [with-handlers: with-handlers]) + assert (for-syntax (all-from-out typed-scheme/private/base-types-extra)))