Rackety in TR tests
This commit is contained in:
parent
5905fbd92a
commit
02d046daf1
|
@ -1,9 +1,9 @@
|
|||
#lang scheme/base
|
||||
#lang racket/base
|
||||
|
||||
(require "test-utils.rkt"
|
||||
(for-syntax scheme/base
|
||||
(for-syntax racket/base
|
||||
syntax/parse)
|
||||
(for-template scheme/base)
|
||||
(for-template racket/base)
|
||||
(private type-contract)
|
||||
(rep type-rep)
|
||||
(types abbrev numeric-tower union)
|
||||
|
|
|
@ -2,8 +2,8 @@
|
|||
|
||||
(require "test-utils.rkt"
|
||||
"evaluator.rkt"
|
||||
(for-syntax scheme/base)
|
||||
(for-template scheme/base)
|
||||
(for-syntax racket/base)
|
||||
(for-template racket/base)
|
||||
(rep type-rep filter-rep object-rep)
|
||||
(for-syntax (rename-in (types utils union numeric-tower abbrev filter-ops)
|
||||
[Un t:Un]
|
||||
|
|
|
@ -1,11 +1,11 @@
|
|||
#lang scheme/base
|
||||
#lang racket/base
|
||||
|
||||
(require "test-utils.rkt"
|
||||
(types subtype numeric-tower union utils abbrev)
|
||||
(rep type-rep)
|
||||
(env init-envs type-env-structs)
|
||||
rackunit
|
||||
(for-syntax scheme/base))
|
||||
(for-syntax racket/base))
|
||||
|
||||
(provide tests)
|
||||
(gen-test-main)
|
||||
|
|
|
@ -1,10 +1,10 @@
|
|||
#lang scheme/base
|
||||
#lang racket/base
|
||||
|
||||
(require scheme/require-syntax
|
||||
scheme/match
|
||||
scheme/gui/dynamic
|
||||
(require racket/require-syntax
|
||||
racket/match
|
||||
racket/gui/dynamic
|
||||
typed-racket/utils/utils
|
||||
(for-syntax scheme/base syntax/parse)
|
||||
(for-syntax racket/base syntax/parse)
|
||||
(types utils)
|
||||
(rep type-rep)
|
||||
rackunit rackunit/text-ui)
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
#lang scheme/base
|
||||
#lang racket/base
|
||||
|
||||
(require "test-utils.rkt" (for-syntax scheme/base)
|
||||
(require "test-utils.rkt" (for-syntax racket/base)
|
||||
(rep type-rep)
|
||||
(types abbrev numeric-tower union)
|
||||
rackunit)
|
||||
|
|
Loading…
Reference in New Issue
Block a user