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

convenience now compiles

Browse Source 
svn: r13930
This commit is contained in:
Sam Tobin-Hochstadt 2009-03-03 22:30:08 +00:00
parent bbfb99bc77
commit 44902149cb
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-scheme/types/convenience.ss
View File

@ -1,10 +1,10 @@
#lang scheme/base #lang scheme/base
(require "../utils/utils.ss") (require "../utils/utils.ss")
(require (rep type-rep effect-rep) (require (rep type-rep)
(utils tc-utils) (utils tc-utils)
(types comparison printer "abbrev.ss"
union subtype type-utils type-abbrev) (types comparison printer union subtype utils)
scheme/list scheme/list
scheme/match scheme/match
scheme/promise scheme/promise
@ -13,7 +13,7 @@
(for-template scheme/base scheme/contract scheme/tcp)) (for-template scheme/base scheme/contract scheme/tcp))
(provide (all-defined-out) (provide (all-defined-out)
(all-from-out (types type-abbrev)) (all-from-out "abbrev.ss")
;; these should all eventually go away ;; these should all eventually go away
make-Name make-ValuesDots make-Function) make-Name make-ValuesDots make-Function)