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

Merge pull request #236 from AlexKnauth/racket/unit-base

Browse Source 
Don't provide Unit from typed/racket/base
This commit is contained in:
Alex Knauth 2015-11-05 17:49:49 -05:00
commit 6c11b58f69
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed/racket/base.rkt
View File

@ -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)

2
typed-racket-lib/typed/racket/unit.rkt
View File

@ -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