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

Fix broken TR code.

Browse Source
This commit is contained in:
Eric Dobson 2013-12-15 17:00:53 -08:00
parent 5d4cb8c08b
commit ef6af9c47c
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt
View File

@ -3,8 +3,9 @@
(require (require
(for-syntax racket/base racket/lazy-require syntax/parse)) (for-syntax racket/base racket/lazy-require syntax/parse))
(begin-for-syntax (begin-for-syntax
(lazy-require ['implementantion (:type-impl :print-type-impl :query-type/args-impl :query-type/result-impl)])) (lazy-require [(submod "." implementation)
(:type-impl :print-type-impl :query-type/args-impl :query-type/result-impl)]))
(provide (provide
(for-syntax (for-syntax
@ -44,7 +45,8 @@
(types utils abbrev printer) (types utils abbrev printer)
(typecheck tc-toplevel tc-app-helper) (typecheck tc-toplevel tc-app-helper)
(rep type-rep) (rep type-rep)
(utils tc-utils)) (utils tc-utils)
(for-template racket/base))
(provide (provide
:type-impl :print-type-impl :query-type/args-impl :query-type/result-impl) :type-impl :print-type-impl :query-type/args-impl :query-type/result-impl)