From 390dc3a2b118df6021e016dc575fb9d1e64c13ca Mon Sep 17 00:00:00 2001 From: Alex Knauth Date: Thu, 5 Nov 2015 17:05:30 -0500 Subject: [PATCH 1/2] provide Unit from typed/racket/unit --- typed-racket-lib/typed/racket/unit.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/typed-racket-lib/typed/racket/unit.rkt b/typed-racket-lib/typed/racket/unit.rkt index e36de3c6..ca42413f 100644 --- a/typed-racket-lib/typed/racket/unit.rkt +++ b/typed-racket-lib/typed/racket/unit.rkt @@ -15,9 +15,11 @@ unit-from-context define-unit-from-context) typed-racket/base-env/unit-prims + typed-racket/base-env/base-types-extra typed-racket/base-env/signature-prims) (provide define-signature + Unit unit invoke-unit invoke-unit/infer From 43dc7632d442d659c192df2b828c85b6c2b5b1b3 Mon Sep 17 00:00:00 2001 From: Alex Knauth Date: Thu, 5 Nov 2015 17:10:38 -0500 Subject: [PATCH 2/2] don't provide Unit from typed/racket/base --- typed-racket-lib/typed/racket/base.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed/racket/base.rkt b/typed-racket-lib/typed/racket/base.rkt index 4e7316ed..202d91bd 100644 --- a/typed-racket-lib/typed/racket/base.rkt +++ b/typed-racket-lib/typed/racket/base.rkt @@ -19,7 +19,7 @@ require/typed-legacy require-typed-signature) typed-racket/base-env/base-types - (except-in typed-racket/base-env/base-types-extra Distinction)) + (except-in typed-racket/base-env/base-types-extra Distinction Unit)) (provide (rename-out [define-type-alias define-type]) (all-from-out typed-racket/base-env/prims) (all-from-out typed-racket/base-env/base-types)