www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | Submodules | README | LICENSE

main.rkt (1134B)

      1 #lang typed/racket
      2 (require "typed-untyped.rkt")
      3 (define-typed/untyped-modules #:no-test
      4   (require "typed-untyped.rkt")
      5   (provide (all-from-out "typed-untyped.rkt"))
      6 
      7   (if-typed
      8    (begin (require "aliases.rkt")
      9           (provide (all-from-out "aliases.rkt")))
     10    (begin (require "untyped/aliases.rkt")
     11           (provide (all-from-out "untyped/aliases.rkt"))))
     12   
     13   ;(require/provide (typed/untyped "fixnum.rkt" …))
     14   (require/provide-typed/untyped
     15    "misc.rkt"
     16    "require-provide.rkt"
     17    "fixnum.rkt"
     18    "typed-rackunit.rkt"
     19    "typed-rackunit-extensions.rkt"
     20    "syntax-parse.rkt"
     21    "tmpl.rkt"
     22    "threading.rkt"
     23    "sequence.rkt"
     24    "repeat-stx.rkt"
     25    "stx.rkt"
     26    "list.rkt"
     27    "values.rkt"
     28    "ids.rkt"
     29    "generate-indices.rkt"
     30    "set.rkt"
     31    "type-inference-helpers.rkt"
     32    "percent.rkt"
     33    "not-implemented-yet.rkt"
     34    "cond-let.rkt"
     35    "multiassoc-syntax.rkt"
     36    "tmpl-multiassoc-syntax.rkt"
     37    "logn-id.rkt"
     38    "compat.rkt"
     39    "eval-get-values.rkt"
     40    "meta-struct.rkt"
     41    "contract.rkt")
     42 
     43   (when-untyped
     44    (require/provide "untyped/for-star-list-star.rkt"
     45                     "untyped/format-id-record.rkt")))