diff options
| author | Eduardo Julian | 2021-09-08 17:25:20 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-08 17:25:20 -0400 |
| commit | 18e4294819f5d4adafad091bdc5a30c25959ad2f (patch) | |
| tree | b241acb7e32620731eed20a0d86e8b35ca3c5ada /stdlib/source/test | |
| parent | 392582885500d8201bbe502943ca4b02c5c77ac0 (diff) | |
No more annotations.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/macro.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/meta.lux | 10 | ||||
| -rw-r--r-- | stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/test/lux/type/resource.lux | 2 |
4 files changed, 8 insertions, 10 deletions
diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux index 745eeb005..694a10f7d 100644 --- a/stdlib/source/test/lux/macro.lux +++ b/stdlib/source/test/lux/macro.lux @@ -39,7 +39,7 @@ (template: (!global <definition>) [(: [Text .Global] - [(template.text [<definition>]) (#.Definition [true .Macro (' []) <definition>])])]) + [(template.text [<definition>]) (#.Definition [true .Macro <definition>])])]) (syntax: (pow/2 [number <code>.any]) (in (list (` (nat.* (~ number) (~ number)))))) diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index cea70ce68..ce832a8cf 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -361,7 +361,7 @@ (case def_type (#.Some def_type) (list [expected_short - (#.Definition [exported? def_type (' []) expected_value])]) + (#.Definition [exported? def_type expected_value])]) #.None (list)))] @@ -461,7 +461,6 @@ expected_type (\ ! each (function (_ name) (#.Primitive name (list))) (random.ascii/upper 1)) - .let [expected_annotations (' [])] expected_value (random.either (in .def:) (in .macro:)) .let [expected_lux @@ -477,7 +476,7 @@ (case def_type (#.Some def_type) (list [expected_short - (#.Definition [exported? def_type expected_annotations expected_value])]) + (#.Definition [exported? def_type expected_value])]) #.None (list)))] @@ -575,10 +574,9 @@ definition! (|> (/.definition [expected_macro_module expected_short]) (/.result expected_lux) - (!expect (^multi (#try.Success (#.Definition [actual_exported? actual_type actual_annotations actual_value])) + (!expect (^multi (#try.Success (#.Definition [actual_exported? actual_type actual_value])) (and (bit\= expected_exported? actual_exported?) (same? expected_type actual_type) - (same? expected_annotations actual_annotations) (same? (:as Any expected_value) actual_value))))) alias! @@ -757,7 +755,7 @@ globals (: (List [Text .Global]) (list [name_4 - (#.Definition [false type_4 (' {}) []])])) + (#.Definition [false type_4 []])])) scopes (list [#.name (list) #.inner 0 diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux index 1d3960ab8..1db1336ea 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux @@ -52,7 +52,7 @@ (-> Text [Bit Text] [Bit Text] Check Bit) (|> (do [! phase.monad] [_ (//module.with_module 0 def_module - (//module.define var_name (#.Right [export? Any (' {}) []])))] + (//module.define var_name (#.Right [export? Any []])))] (//module.with_module 0 dependent_module (do ! [_ (if import? @@ -88,7 +88,7 @@ (_.test "Can analyse definition (in the same module)." (let [def_name [def_module var_name]] (|> (do phase.monad - [_ (//module.define var_name (#.Right [false expectedT (' {}) []]))] + [_ (//module.define var_name (#.Right [false expectedT []]))] (//type.with_inference (_primitive.phase archive.empty (code.identifier def_name)))) (//module.with_module 0 def_module) diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux index 8d0015452..e8c4b0fba 100644 --- a/stdlib/source/test/lux/type/resource.lux +++ b/stdlib/source/test/lux/type/resource.lux @@ -158,7 +158,7 @@ (syntax: (with_error [exception <code>.identifier to_expand <code>.any]) (monad.do meta.monad - [[_ _ _ exception] (meta.export exception)] + [[_ _ exception] (meta.export exception)] (function (_ compiler) (#.Right [compiler (list (code.bit (case ((macro.single_expansion to_expand) compiler) |