original commit: ece218fc85570b51dcab99cfe6e0cd47dbf8d6ad
This commit is contained in:
Asumu Takikawa 2012-12-13 14:51:26 -05:00
parent 714c628bca
commit 444362d5d7

View File

@ -1,5 +1,5 @@
#lang scheme/base
(require "test-utils.rkt" (for-syntax scheme/base)
#lang racket/base
(require "test-utils.rkt" (for-syntax racket/base)
(utils tc-utils)
(env type-alias-env type-env-structs tvar-env type-name-env init-envs)
(rep type-rep)