From 428965131e17d101a16e3ca60b3412101e216cd1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 31 Jul 2018 22:54:35 -0400 Subject: Now implementing box functionality in stdlib instead of the compiler. --- .../test/test/luxc/lang/translation/common.lux | 37 ---------------------- 1 file changed, 37 deletions(-) (limited to 'new-luxc/test') diff --git a/new-luxc/test/test/luxc/lang/translation/common.lux b/new-luxc/test/test/luxc/lang/translation/common.lux index 03e56fa18..f03965de2 100644 --- a/new-luxc/test/test/luxc/lang/translation/common.lux +++ b/new-luxc/test/test/luxc/lang/translation/common.lux @@ -325,42 +325,6 @@ #0)))) ))) -(def: (box-spec run) - (-> Runner Test) - (do r.Monad - [pre r.nat - post (|> r.nat (r.filter (|>> (n/= pre) not))) - #let [preS (synthesis.i64 pre) - postS (synthesis.i64 post) - boxS (#synthesis.Extension "lux box new" - (list preS))]] - ($_ seq - (test "Can read boxes." - (|> (run (#synthesis.Extension "lux box read" (list boxS))) - (case> (#e.Success valueV) - (n/= pre (:coerce Nat valueV)) - - (#e.Error error) - (exec (log! error) - #0)))) - (test "Can write boxes." - (|> (run (synthesis.branch/let - [boxS - 0 - (synthesis.branch/let - [(#synthesis.Extension "lux box write" - (list postS (synthesis.variable/local 0))) - 1 - (#synthesis.Extension "lux box read" - (list (synthesis.variable/local 0)))])])) - (case> (#e.Success valueV) - (n/= post (:coerce Nat valueV)) - - (#e.Error error) - (exec (log! error) - #0)))) - ))) - (def: (all-specs run) (-> Runner Test) ($_ seq @@ -369,7 +333,6 @@ (f64-spec run) (text-spec run) (io-spec run) - (box-spec run) )) (context: "[JVM] Common procedures." -- cgit v1.2.3