From 3fac6b1bc3dd7bbd1544d2dcb610588e26284a51 Mon Sep 17 00:00:00 2001 From: AlexKnauth Date: Wed, 22 Jun 2016 13:51:48 -0400 Subject: [PATCH] convert more mlish tests to typed-lang-builder/mlish-core --- tapl/tests/mlish/bg/basics-general.mlish | 2 +- tapl/tests/mlish/bg/basics.mlish | 2 +- tapl/tests/mlish/bg/basics2.mlish | 2 +- tapl/tests/mlish/bg/huffman.mlish | 2 +- tapl/tests/mlish/bg/lambda.mlish | 2 +- tapl/tests/mlish/bg/monad.mlish | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/tapl/tests/mlish/bg/basics-general.mlish b/tapl/tests/mlish/bg/basics-general.mlish index d8261dc..51f7475 100644 --- a/tapl/tests/mlish/bg/basics-general.mlish +++ b/tapl/tests/mlish/bg/basics-general.mlish @@ -1,4 +1,4 @@ -#lang s-exp "../../../mlish.rkt" +#lang s-exp "../../../typed-lang-builder/mlish-core.rkt" (define-type (List X) Nil diff --git a/tapl/tests/mlish/bg/basics.mlish b/tapl/tests/mlish/bg/basics.mlish index 5c07d0f..b8481c6 100644 --- a/tapl/tests/mlish/bg/basics.mlish +++ b/tapl/tests/mlish/bg/basics.mlish @@ -1,4 +1,4 @@ -#lang s-exp "../../../mlish.rkt" +#lang s-exp "../../../typed-lang-builder/mlish-core.rkt" (require "../../rackunit-typechecking.rkt") (require "basics-general.mlish") (require-typed map append fst snd member foldl foldr filter sum reverse diff --git a/tapl/tests/mlish/bg/basics2.mlish b/tapl/tests/mlish/bg/basics2.mlish index 04fd222..424950b 100644 --- a/tapl/tests/mlish/bg/basics2.mlish +++ b/tapl/tests/mlish/bg/basics2.mlish @@ -1,4 +1,4 @@ -#lang s-exp "../../../mlish.rkt" +#lang s-exp "../../../typed-lang-builder/mlish-core.rkt" (require "../../rackunit-typechecking.rkt") (require "basics-general.mlish") (require-typed append filter foldr foldl reverse snd member diff --git a/tapl/tests/mlish/bg/huffman.mlish b/tapl/tests/mlish/bg/huffman.mlish index 0e3399a..f98cd9d 100644 --- a/tapl/tests/mlish/bg/huffman.mlish +++ b/tapl/tests/mlish/bg/huffman.mlish @@ -1,4 +1,4 @@ -#lang s-exp "../../../mlish.rkt" +#lang s-exp "../../../typed-lang-builder/mlish-core.rkt" (require "../../rackunit-typechecking.rkt") ;; Huffman trees from SICP diff --git a/tapl/tests/mlish/bg/lambda.mlish b/tapl/tests/mlish/bg/lambda.mlish index cee711e..b4dec88 100644 --- a/tapl/tests/mlish/bg/lambda.mlish +++ b/tapl/tests/mlish/bg/lambda.mlish @@ -1,4 +1,4 @@ -#lang s-exp "../../../mlish.rkt" +#lang s-exp "../../../typed-lang-builder/mlish-core.rkt" (require "../../rackunit-typechecking.rkt") ;; Lambda Calculus interpreter diff --git a/tapl/tests/mlish/bg/monad.mlish b/tapl/tests/mlish/bg/monad.mlish index cbea739..1949b0d 100644 --- a/tapl/tests/mlish/bg/monad.mlish +++ b/tapl/tests/mlish/bg/monad.mlish @@ -1,4 +1,4 @@ -#lang s-exp "../../../mlish.rkt" +#lang s-exp "../../../typed-lang-builder/mlish-core.rkt" (require "../../rackunit-typechecking.rkt") (define-type (Option A)