www

commit e9a4a9f1dd4dd7e0d00c0af0ff9ff0f5cb014977
parent cdd169381fb2d275e1fa801b7e8fd069f687ccd9
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Wed, 23 Mar 2016 18:33:19 -0400

add bens tests to run-all-mlish

Diffstat:
M
tapl/tests/mlish/bg/basics.mlish
 | 
6
+++---
M
tapl/tests/run-all-mlish-tests.rkt
 | 
5
+++++

2 files changed, 8 insertions(+), 3 deletions(-)
diff --git a/tapl/tests/mlish/bg/basics.mlish b/tapl/tests/mlish/bg/basics.mlish
@@ -399,14 +399,14 @@
 ;; -----------------------------------------------------------------------------
 ;; --- mergesort
 
-(define (split [x* : (List A)] → (** (List A) (List A)))
+(define (split2 [x* : (List A)] → (** (List A) (List A)))
   (match x* with
    [Nil -> (Pair Nil Nil)]
    [Cons h t ->
     (match t with
      [Nil -> (Pair (Cons h Nil) Nil)]
      [Cons h2 x* ->
-      (match (split x*) with
+      (match (split2 x*) with
        [Pair x* y* ->
         (Pair (Cons h x*) (Cons h2 y*))])])]))
 
@@ -430,7 +430,7 @@
     (match t with
      [Nil -> (Cons h Nil)]
      [Cons h2 t2 ->
-      (match (split x*) with
+      (match (split2 x*) with
        [Pair x* y* ->
         (merge (Pair (mergesort x*) (mergesort y*)))])])]))
 
diff --git a/tapl/tests/run-all-mlish-tests.rkt b/tapl/tests/run-all-mlish-tests.rkt
@@ -20,3 +20,8 @@
 (require "mlish/alex.mlish")
 (require "mlish/inst.mlish")
 (require "mlish/result.mlish")
+
+;; bg
+(require "mlish/bg/basics.mlish")
+(require "mlish/bg/huffman.mlish")
+(require "mlish/bg/lambda.rkt")