diff options
| author | Eduardo Julian | 2020-08-29 01:06:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-08-29 01:06:42 -0400 |
| commit | b1f0014dd9080c6643ecd73db5233fbdff032419 (patch) | |
| tree | 63650a451b0974a5654b06bf4f33dae7deceef54 /stdlib/source/test/lux/macro/code.lux | |
| parent | a5a15c191c43a660bb0c8e78e93d097e27966177 (diff) | |
Test programs + auti build/test.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/macro/code.lux | 31 |
1 files changed, 15 insertions, 16 deletions
diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux index 00a805f26..0cdbc9610 100644 --- a/stdlib/source/test/lux/macro/code.lux +++ b/stdlib/source/test/lux/macro/code.lux @@ -121,19 +121,19 @@ (`` ($_ _.and (~~ (template [<coverage> <random> <tag>] [(do {@ random.monad} - [value <random>] + [expected <random>] (_.cover [<coverage>] - (and (case (..read (/.to-text (<coverage> value))) - (#try.Success lux-code) + (and (case (..read (/.to-text (<coverage> expected))) + (#try.Success actual) (:: /.equivalence = - lux-code - (<coverage> value)) + actual + (<coverage> expected)) (#try.Failure error) false) (:: /.equivalence = - [.dummy-cursor (<tag> value)] - (<coverage> value)))))] + [.dummy-cursor (<tag> expected)] + (<coverage> expected)))))] [/.bit random.bit #.Bit] [/.nat random.nat #.Nat] @@ -145,23 +145,22 @@ [/.identifier ..random-name #.Identifier] [/.form (..random-sequence ..random) #.Form] [/.tuple (..random-sequence ..random) #.Tuple] - [/.record (..random-record ..random) #.Record] - )) + [/.record (..random-record ..random) #.Record])) (~~ (template [<coverage> <random> <tag>] [(do {@ random.monad} - [value <random>] + [expected <random>] (_.cover [<coverage>] - (and (case (..read (/.to-text (<coverage> value))) - (#try.Success lux-code) + (and (case (..read (/.to-text (<coverage> expected))) + (#try.Success actual) (:: /.equivalence = - lux-code - (<coverage> value)) + actual + (<coverage> expected)) (#try.Failure error) false) (:: /.equivalence = - [.dummy-cursor (<tag> ["" value])] - (<coverage> value))) + [.dummy-cursor (<tag> ["" expected])] + (<coverage> expected))) ))] [/.local-tag ..random-text #.Tag] |