From 6815bd9127946a6b6fb74f5fd7b93e96c92962ae Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Mon, 28 Mar 2016 19:37:23 -0400 Subject: [PATCH] fix some file extensions for mlish tests --- .../mlish/bg/{basics-general.rkt => basics-general.mlish} | 0 tapl/tests/mlish/bg/basics.mlish | 4 ++-- tapl/tests/mlish/bg/basics2.mlish | 4 ++-- tapl/tests/mlish/bg/{lambda.rkt => lambda.mlish} | 0 tapl/tests/run-mlish-tests3.rkt | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) rename tapl/tests/mlish/bg/{basics-general.rkt => basics-general.mlish} (100%) rename tapl/tests/mlish/bg/{lambda.rkt => lambda.mlish} (100%) diff --git a/tapl/tests/mlish/bg/basics-general.rkt b/tapl/tests/mlish/bg/basics-general.mlish similarity index 100% rename from tapl/tests/mlish/bg/basics-general.rkt rename to tapl/tests/mlish/bg/basics-general.mlish diff --git a/tapl/tests/mlish/bg/basics.mlish b/tapl/tests/mlish/bg/basics.mlish index 75063bd..f4dec72 100644 --- 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 diff --git a/tapl/tests/mlish/bg/basics2.mlish b/tapl/tests/mlish/bg/basics2.mlish index 816d78e..39172d3 100644 --- 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") ;; ============================================================================= diff --git a/tapl/tests/mlish/bg/lambda.rkt b/tapl/tests/mlish/bg/lambda.mlish similarity index 100% rename from tapl/tests/mlish/bg/lambda.rkt rename to tapl/tests/mlish/bg/lambda.mlish diff --git a/tapl/tests/run-mlish-tests3.rkt b/tapl/tests/run-mlish-tests3.rkt index fa1fd69..9978cfe 100644 --- 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")