suzanne.soy/macrotypes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

convert more mlish tests to typed-lang-builder/mlish-core

Browse Source
This commit is contained in:
AlexKnauth 2016-06-22 13:51:48 -04:00
parent a2ca787940
commit 3fac6b1bc3
6 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tapl/tests/mlish/bg/basics-general.mlish
View File

@ -1,4 +1,4 @@
#lang s-exp "../../../mlish.rkt"
#lang s-exp "../../../typed-lang-builder/mlish-core.rkt"
(define-type (List X)
Nil

2
tapl/tests/mlish/bg/basics.mlish
View File

@ -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

2
tapl/tests/mlish/bg/basics2.mlish
View File

@ -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

2
tapl/tests/mlish/bg/huffman.mlish
View File

@ -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

2
tapl/tests/mlish/bg/lambda.mlish
View File

@ -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

2
tapl/tests/mlish/bg/monad.mlish
View File

@ -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)