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

Cut out class dependencies for typed/racket/base

Browse Source 
Use (require typed/racket/class) for classes when
using #lang typed/racket/base
This commit is contained in:
Asumu Takikawa 2014-03-28 12:09:51 -04:00
parent 1effcac706
commit dd239f3d4f
3 changed files with 15 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
View File

@ -29,7 +29,6 @@ This file defines two sorts of primitives. All of them are provided into any mod
(all-from-out "base-contracted.rkt") (all-from-out "base-contracted.rkt")
(all-from-out "top-interaction.rkt") (all-from-out "top-interaction.rkt")
(all-from-out "case-lambda.rkt") (all-from-out "case-lambda.rkt")
class
: :
(rename-out [define-typed-struct define-struct:] (rename-out [define-typed-struct define-struct:]
[define-typed-struct define-struct] [define-typed-struct define-struct]
@ -106,7 +105,6 @@ This file defines two sorts of primitives. All of them are provided into any mod
"base-types-extra.rkt" "base-types-extra.rkt"
"case-lambda.rkt" "case-lambda.rkt"
'struct-extraction 'struct-extraction
"class-prims.rkt"
racket/flonum ; for for/flvector and for*/flvector racket/flonum ; for for/flvector and for*/flvector
(for-syntax (for-syntax
racket/lazy-require racket/lazy-require
@ -125,7 +123,6 @@ This file defines two sorts of primitives. All of them are provided into any mod
"../private/parse-classes.rkt" "../private/parse-classes.rkt"
"../private/syntax-properties.rkt" "../private/syntax-properties.rkt"
;"../types/utils.rkt" ;"../types/utils.rkt"
;"../types/classes.rkt"
"for-clauses.rkt" "for-clauses.rkt"
'struct-extraction) 'struct-extraction)
"../types/numeric-predicates.rkt" "../types/numeric-predicates.rkt"

11
pkgs/typed-racket-pkgs/typed-racket-lib/typed/racket.rkt
View File

@ -1,7 +1,12 @@
#lang typed-racket/minimal #lang typed-racket/minimal
(require typed/racket/base racket/require (require typed/racket/base racket/require
(subtract-in racket typed/racket/base racket/contract) (subtract-in racket typed/racket/base racket/contract
typed/racket/class)
typed/racket/class
(for-syntax racket/base)) (for-syntax racket/base))
(provide (all-from-out typed/racket/base racket) (provide (all-from-out racket
(for-syntax (all-from-out racket/base))) typed/racket/base
typed/racket/class)
(for-syntax (all-from-out racket/base))
class)

7
pkgs/typed-racket-pkgs/typed-racket-lib/typed/racket/class.rkt Normal file
View File

@ -0,0 +1,7 @@
#lang racket/base
(require (except-in racket/class class)
typed-racket/base-env/class-prims)
(provide class
(all-from-out racket/class))