From b71b1967641584d4ad1a5280598e9c6d60f929e3 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 7 Jan 2010 16:48:05 +0000 Subject: [PATCH] More type names Fixes PR 10646 (as it evolved) svn: r17533 --- collects/typed-scheme/private/base-types-new.ss | 3 +++ collects/typed-scheme/private/base-types.ss | 3 +++ 2 files changed, 6 insertions(+) diff --git a/collects/typed-scheme/private/base-types-new.ss b/collects/typed-scheme/private/base-types-new.ss index dd8ff7ae49..fabc660af6 100644 --- a/collects/typed-scheme/private/base-types-new.ss +++ b/collects/typed-scheme/private/base-types-new.ss @@ -44,3 +44,6 @@ [MPair (-poly (a b) (-mpair a b))] [Boxof (-poly (a) (make-Box a))] [Continuation-Mark-Set -Cont-Mark-Set] +[False (-val #f)] +[True (-val #t)] +[Null (-val null)] diff --git a/collects/typed-scheme/private/base-types.ss b/collects/typed-scheme/private/base-types.ss index af91b029b4..1d79709269 100644 --- a/collects/typed-scheme/private/base-types.ss +++ b/collects/typed-scheme/private/base-types.ss @@ -43,3 +43,6 @@ [Pair (-poly (a b) (-pair a b))] [Boxof (-poly (a) (make-Box a))] [Continuation-Mark-Set -Cont-Mark-Set] +[False (-val #f)] +[True (-val #t)] +[Null (-val null)]