Don't actually generate contracts ahead of time.

Since GUI types are rarely used in practice on typed/untyped boundaries
(they were mostly removed from plot) it's not clear that adding all
of them to the zo size of "typed-racket-more" is the right thing. This
makes the current change just set up the infrastructure.

Author: samth

typed-racket-more/typed/framework.rkt

@@ -1,4 +1,4 @@
-#lang s-exp typed-racket/base-env/extra-env-lang #:contract-defs
+#lang s-exp typed-racket/base-env/extra-env-lang
 
 ;; A typed wrapper for the framework library
 
@@ -92,9 +92,6 @@
 (require "racket/generate-predef-con.rkt"
          typed-racket/base-env/base-types-extra)
 
-(generate-contract-submods 
- [(Instance Canvas:Basic%) impersonator (typed untyped both)])
-
 (type-environment
  [application:current-app-name (-Param -String)]
  ;; 3 Autosave

typed-racket-more/typed/racket/draw.rkt

@@ -1,4 +1,4 @@
-#lang s-exp typed-racket/base-env/extra-env-lang #:contract-defs
+#lang s-exp typed-racket/base-env/extra-env-lang
 
 ;; This module provides a base type environment including
 ;; racket/draw bindings
@@ -85,15 +85,6 @@
 (require "generate-predef-con.rkt"
          typed-racket/base-env/base-types-extra)
 
-(generate-contract-submods 
- [(Instance Bitmap%) impersonator (typed untyped both)]
- [(Instance Bitmap-DC%) impersonator (typed untyped both)]
- [(Instance Color%) impersonator (typed untyped both)]
- [(Instance Font%) impersonator (typed untyped both)]
- [(Instance DC<%>) impersonator (typed untyped both)]
- [(Instance Snip%) impersonator (typed untyped both)])
-
-
 (type-environment
  [bitmap% (parse-type #'Bitmap%)]
  [bitmap-dc% (parse-type #'Bitmap-DC%)]

typed-racket-more/typed/racket/gui/base.rkt

@@ -1,4 +1,4 @@
-#lang s-exp typed-racket/base-env/extra-env-lang #:contract-defs
+#lang s-exp typed-racket/base-env/extra-env-lang
 
 ;; This module provides a base type environment including
 ;; most GUI library bindings
@@ -27,12 +27,6 @@
 (require "../generate-predef-con.rkt"
          typed-racket/base-env/base-types-extra)
 
-(generate-contract-submods 
- [(Instance Frame%) impersonator (typed untyped both)]
- [(Instance Pane%) impersonator (typed untyped both)]
- [(Instance Dialog%) impersonator (typed untyped both)])
-
-
 (type-environment
  [button% (parse-type #'Button%)]
  [canvas% (parse-type #'Canvas%)]

typed-racket-more/typed/racket/snip.rkt

@@ -1,4 +1,4 @@
-#lang s-exp typed-racket/base-env/extra-env-lang #:contract-defs
+#lang s-exp typed-racket/base-env/extra-env-lang
 
 ;; This module provides a base type environment including
 ;; racket/snip bindings
@@ -20,9 +20,6 @@
 (require "generate-predef-con.rkt"
          typed-racket/base-env/base-types-extra)
 
-(generate-contract-submods 
- [(Instance Snip%) impersonator (typed untyped both)])
-
 (type-environment
  [snip% (parse-type #'Snip%)]
  [snip-admin% (parse-type #'Snip-Admin%)]