fix some file extensions for mlish tests

2016-03-28 19:37:23 -04:00 · 2016-03-28 19:37:23 -04:00 · 6815bd9127
commit 6815bd9127
parent 2da260d1f9
5 changed files with 5 additions and 5 deletions
--- a/tapl/tests/mlish/bg/basics-general.mlish
+++ b/tapl/tests/mlish/bg/basics-general.mlish
--- a/tapl/tests/mlish/bg/basics.mlish
+++ b/tapl/tests/mlish/bg/basics.mlish
@ -1,8 +1,8 @@
 #lang s-exp "../../../mlish.rkt"
 (require "../../rackunit-typechecking.rkt")
-(require "basics-general.rkt")
+(require "basics-general.mlish")
 (require-typed map append fst snd member foldl foldr filter sum reverse
-               #:from "basics-general.rkt")
+               #:from "basics-general.mlish")

 ;; =============================================================================
 ;; http://www.cs.cornell.edu/courses/cs3110/2011fa/hw/ps1/ps1.html
--- a/tapl/tests/mlish/bg/basics2.mlish
+++ b/tapl/tests/mlish/bg/basics2.mlish
@ -1,8 +1,8 @@
 #lang s-exp "../../../mlish.rkt"
 (require "../../rackunit-typechecking.rkt")
-(require "basics-general.rkt")
+(require "basics-general.mlish")
 (require-typed append filter foldr foldl reverse snd member 
-               #:from "basics-general.rkt")
+               #:from "basics-general.mlish")


 ;; =============================================================================
--- a/tapl/tests/mlish/bg/lambda.mlish
+++ b/tapl/tests/mlish/bg/lambda.mlish
--- a/tapl/tests/run-mlish-tests3.rkt
+++ b/tapl/tests/run-mlish-tests3.rkt
@ -1,4 +1,4 @@
 #lang racket
 ;; bg
 (require "mlish/bg/huffman.mlish")
-(require "mlish/bg/lambda.rkt")
+(require "mlish/bg/lambda.mlish")