www

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

commit 28fa4dfb486734c7f4f5073c849e3b587f2a155a
parent 2643d7c8f84aa87d0283f841a4962a805a9f832c
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Fri, 24 Mar 2017 10:59:52 -0400

do not reprovide rackunit in rackunit-typechecking

Diffstat:
Mturnstile/rackunit-typechecking.rkt | 6+++---
1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/turnstile/rackunit-typechecking.rkt b/turnstile/rackunit-typechecking.rkt @@ -1,4 +1,4 @@ #lang racket/base -;; extends rackunit with type-checking forms -(require rackunit "examples/tests/rackunit-typechecking.rkt") -(provide (all-from-out rackunit "examples/tests/rackunit-typechecking.rkt")) +;; extends some rackunit forms to test type-checking +(require "examples/tests/rackunit-typechecking.rkt") +(provide (all-from-out "examples/tests/rackunit-typechecking.rkt"))