diff options
author | Eduardo Julian | 2018-07-22 02:52:46 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-22 02:52:46 -0400 |
commit | b14102eaa2a80f51f160ba293ec01928dbe683c3 (patch) | |
tree | bf2640c4503de8c9f0a8f6b048548ef1a0bd4e83 /new-luxc/test | |
parent | 9671d6064dd02dfe6c32492f5b9907b096e5bd89 (diff) |
- Some fixes due to recent changes in stdlib.
- Removed some (now) useless modules.
Diffstat (limited to 'new-luxc/test')
-rw-r--r-- | new-luxc/test/test/luxc/lang/analysis/host.jvm.lux | 34 | ||||
-rw-r--r-- | new-luxc/test/test/luxc/lang/translation/primitive.lux | 9 | ||||
-rw-r--r-- | new-luxc/test/test/luxc/lang/translation/reference.lux | 4 |
3 files changed, 24 insertions, 23 deletions
diff --git a/new-luxc/test/test/luxc/lang/analysis/host.jvm.lux b/new-luxc/test/test/luxc/lang/analysis/host.jvm.lux index fcdcfbe6a..dabef0e08 100644 --- a/new-luxc/test/test/luxc/lang/analysis/host.jvm.lux +++ b/new-luxc/test/test/luxc/lang/analysis/host.jvm.lux @@ -1,34 +1,34 @@ (.module: [lux #* - [io] [control [monad (#+ do)] pipe] [concurrency - [atom]] + ["." atom]] [data ["e" error] - [product] - [maybe] + ["." product] + ["." maybe] [text ("text/" Equivalence<Text>) format] [collection - [array] + ["." array] [list ("list/" Fold<List>)] ["dict" dictionary]]] [math ["r" random "r/" Monad<Random>]] + ["." type] [macro (#+ Monad<Meta>) - [code]] - ["." language - [type] - [compiler + ["." code]] + [compiler + ["." default [".L" init] - [analysis - [".A" type]] - [extension + [phase [analysis - [".AE" host]]]]] + [".A" type]] + [extension + [analysis + [".AE" host]]]]]] test] [/// ["_." primitive]]) @@ -39,10 +39,10 @@ (|> (do Monad<Meta> [## runtime-bytecode @runtime.translate ] - (language.with-scope + (default.with-scope (typeA.with-type output-type (_primitive.analyse (` ((~ (code.text procedure)) (~+ params))))))) - (language.with-current-module "") + (analysis.with-current-module "") (macro.run (initL.compiler [])) (case> (#e.Success _) <success> @@ -60,10 +60,10 @@ (|> (do Monad<Meta> [## runtime-bytecode @runtime.translate ] - (language.with-scope + (default.with-scope (typeA.with-type output-type (_primitive.analyse syntax)))) - (language.with-current-module "") + (analysis.with-current-module "") (macro.run (initL.compiler [])) (case> (#e.Success _) <success> diff --git a/new-luxc/test/test/luxc/lang/translation/primitive.lux b/new-luxc/test/test/luxc/lang/translation/primitive.lux index 1c4236913..f4ff98287 100644 --- a/new-luxc/test/test/luxc/lang/translation/primitive.lux +++ b/new-luxc/test/test/luxc/lang/translation/primitive.lux @@ -4,15 +4,16 @@ [monad (#+ do)] pipe] [data - [error] + ["." error] [bit ("bit/" Equivalence<Bit>)] [text ("text/" Equivalence<Text>) format]] [math ["r" random]] - [language - [compiler - [synthesis]]] + [compiler + [default + [phase + ["." synthesis]]]] test] [test [luxc diff --git a/new-luxc/test/test/luxc/lang/translation/reference.lux b/new-luxc/test/test/luxc/lang/translation/reference.lux index 66dd8de9f..4aaed8124 100644 --- a/new-luxc/test/test/luxc/lang/translation/reference.lux +++ b/new-luxc/test/test/luxc/lang/translation/reference.lux @@ -19,7 +19,7 @@ ))) (test/luxc common)) -(def: ident-part +(def: name-part (r.Random Text) (|> (r.ascii +5) (r.filter (function (_ sample) @@ -30,7 +30,7 @@ (def: (definitions-spec define) (-> Definer Test) (do r.Monad<Random> - [def-name (r.seq ident-part ident-part) + [def-name (r.seq name-part name-part) def-value r.int] (test "Can refer to definitions." (|> (define def-name (//synthesis.i64 def-value)) |