diff options
| author | Eduardo Julian | 2018-07-31 22:54:35 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-31 22:54:35 -0400 |
| commit | 428965131e17d101a16e3ca60b3412101e216cd1 (patch) | |
| tree | 2b74c5241ee117aa581f4ee7301fc1e5f1bfa6a8 /new-luxc/test | |
| parent | 97ab1f076ac08992d6b64cd77bc0bef97b3fc50a (diff) | |
Now implementing box functionality in stdlib instead of the compiler.
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/test/test/luxc/lang/translation/common.lux | 37 |
1 files changed, 0 insertions, 37 deletions
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<Random> - [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." |