macrotypes/turnstile/rackunit-typechecking.rkt
2017-03-24 10:59:52 -04:00

5 lines
192 B
Racket

#lang racket/base
;; extends some rackunit forms to test type-checking
(require "examples/tests/rackunit-typechecking.rkt")
(provide (all-from-out "examples/tests/rackunit-typechecking.rkt"))