diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux index ca31f785f..c40da0a44 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [data ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text (.use "[1]#[0]" equivalence)]] @@ -39,7 +39,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.coverage [/.format] (bit#= (text#= (/.format left) (/.format right)) |