Split legacy Typed Racket languages into their own module.

original commit: 9a67230ae0eb04f5e6667dd5e05a64e9e5789edd

pkgs/typed-racket-pkgs/typed-racket-compatibility/LICENSE.txt

@@ -0,0 +1,10 @@
+typed-racket-lib
+Copyright (c) 2010-2013 PLT Design Inc.
+
+This package is distributed under the GNU Lesser General Public
+License (LGPL).  This means that you can link Racket into proprietary
+applications, provided you follow the rules stated in the LGPL.  You
+can also modify this package; if you distribute a modified version,
+you must distribute it under the terms of the LGPL, which in
+particular means that you must release the source code for the
+modified software.  See COPYING_LESSER.txt for more information.

pkgs/typed-racket-pkgs/typed-racket-compatibility/info.rkt

@@ -0,0 +1,12 @@
+#lang info
+
+(define collection 'multi)
+
+(define deps '("scheme-lib"
+               "typed-racket-lib"
+               "base"))
+
+
+(define pkg-desc "compatibility library for older Typed Racket-based languages")
+
+(define pkg-authors '(samth stamourv))

pkgs/typed-racket-pkgs/typed-racket-compatibility/typed-scheme/no-check.rkt

@@ -0,0 +1,4 @@
+#lang typed-racket/minimal
+
+(require racket/require typed/racket/no-check (subtract-in typed/scheme typed/racket/no-check))
+(provide (all-from-out typed/scheme typed/racket/no-check))

pkgs/typed-racket-pkgs/typed-racket-compatibility/typed/scheme/base/no-check.rkt

@@ -0,0 +1,4 @@
+#lang typed-racket/minimal
+
+(require racket/require typed/racket/no-check (subtract-in typed/scheme/base typed/racket/no-check))
+(provide (all-from-out typed/scheme/base typed/racket/no-check))

pkgs/typed-racket-pkgs/typed-racket-compatibility/typed/scheme/no-check.rkt

@@ -0,0 +1,4 @@
+#lang typed-racket/minimal
+
+(require racket/require typed/racket/no-check (subtract-in typed/scheme typed/racket/no-check))
+(provide (all-from-out typed/scheme typed/racket/no-check))

pkgs/typed-racket-pkgs/typed-racket-doc/info.rkt

@@ -14,6 +14,7 @@
                      "at-exp-lib"
                      "scribble-lib"
                      "typed-racket-lib"
+                     "typed-racket-compatibility"
                      "racket-doc"))
 (define deps '("base"))
 

pkgs/typed-racket-pkgs/typed-racket-lib/typed/private/no-check-helper.rkt

@@ -1,13 +1,13 @@
-#lang scheme/base
+#lang racket/base
 
 (require
  (except-in typed-racket/base-env/prims
             require/typed require/opaque-type require-typed-struct)
  typed-racket/base-env/base-types-extra
- (for-syntax scheme/base syntax/parse syntax/struct))
-(provide (all-from-out scheme/base)
-	 (all-defined-out)
-	 (all-from-out typed-racket/base-env/prims 
+ (for-syntax racket/base syntax/parse syntax/struct))
+(provide (all-from-out racket/base)
+         (all-defined-out)
+         (all-from-out typed-racket/base-env/prims
                        typed-racket/base-env/base-types-extra))
 
 
@@ -17,8 +17,8 @@
     (pattern nm:id
              #:with spec #'nm)
     (pattern (orig-nm:id internal-nm:id)
-	     #:with spec #'(orig-nm internal-nm)
-	     #:with nm #'internal-nm))
+         #:with spec #'(orig-nm internal-nm)
+         #:with nm #'internal-nm))
   (define-syntax-class simple-clause
     #:attributes (nm ty)
     (pattern [nm:opt-rename ty]))
@@ -39,9 +39,9 @@
   (syntax-parse stx
     [(_ lib (~or sc:simple-clause strc:struct-clause oc:opaque-clause) ...)
      #'(begin
-	 (require/opaque-type oc.ty oc.pred lib . oc.opt) ...
-	 (require/typed sc.nm sc.ty lib) ...
-	 (require-typed-struct strc.nm (strc.body ...) lib) ...)]
+         (require/opaque-type oc.ty oc.pred lib . oc.opt) ...
+         (require/typed sc.nm sc.ty lib) ...
+         (require-typed-struct strc.nm (strc.body ...) lib) ...)]
     [(_ nm:opt-rename ty lib (~optional [~seq #:struct-maker parent]) ...)
      #'(require (only-in lib nm.spec))]))
 

pkgs/typed-racket-pkgs/typed-racket-lib/typed/racket/base/no-check.rkt

@@ -1,4 +1,4 @@
 #lang typed-racket/minimal
 
-(require racket/require typed-scheme/no-check (subtract-in typed/racket/base typed-scheme/no-check))
-(provide (all-from-out typed/racket/base typed-scheme/no-check))
+(require racket/require typed/racket/no-check (subtract-in typed/racket/base typed/racket/no-check))
+(provide (all-from-out typed/racket/base typed/racket/no-check))

pkgs/typed-racket-pkgs/typed-racket-lib/typed/racket/no-check.rkt

@@ -1,4 +1,5 @@
 #lang typed-racket/minimal
 
-(require racket/require typed-scheme/no-check (subtract-in typed/racket typed-scheme/no-check))
-(provide (all-from-out typed/racket typed-scheme/no-check))
+(require racket/require typed/private/no-check-helper
+         (subtract-in typed/racket typed/private/no-check-helper))
+(provide (all-from-out typed/racket typed/private/no-check-helper))

pkgs/typed-racket-pkgs/typed-racket-more/info.rkt

@@ -10,6 +10,7 @@
                "rackunit-lib"
                "rackunit-gui"
                "typed-racket-lib"
+               "typed-racket-compatibility"
                "gui-lib"))
 (define build-deps '("scribble-lib"))
 

pkgs/typed-racket-pkgs/typed-racket-test/info.rkt

@@ -1,7 +1,8 @@
 #lang info
 
 (define collection 'multi)
-(define deps '("typed-racket" "typed-racket-more" "unstable"))
+(define deps '("typed-racket" "typed-racket-more" "typed-racket-compatibility"
+               "unstable"))
 (define build-deps '("scheme-lib"
                      "base"
                      "racket-benchmarks"