diff options
| author | Eduardo Julian | 2019-04-26 23:41:03 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-04-26 23:41:03 -0400 |
| commit | 5b655f558a0cc78b44736eec8eabeed6216f883f (patch) | |
| tree | 3281b361b8d363bf9cdb0e0fbc6853d547a0dc4b /stdlib/source/spec/compositor/generation/case.lux | |
| parent | ff384c379036d790e32f419da39b1d524a1d89fe (diff) | |
Refactored the spec a bit better.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/spec/compositor/generation/case.lux | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/stdlib/source/spec/compositor/generation/case.lux b/stdlib/source/spec/compositor/generation/case.lux index 1c398d301..880a26eae 100644 --- a/stdlib/source/spec/compositor/generation/case.lux +++ b/stdlib/source/spec/compositor/generation/case.lux @@ -22,7 +22,8 @@ ["#/." synthesis ["." case]] ["." extension/synthesis]]]]] - ["." ///]) + [/// + [common (#+ Runner)]]) (def: limit Nat 10) @@ -93,7 +94,7 @@ )))) (def: (let-spec run) - (-> ///.Runner Test) + (-> Runner Test) (do r.monad [value r.safe-frac] (_.test (%name (name-of synthesis.branch/let)) @@ -104,7 +105,7 @@ (verify value))))) (def: (if-spec run) - (-> ///.Runner Test) + (-> Runner Test) (do r.monad [on-true r.safe-frac on-false (|> r.safe-frac (r.filter (|>> (f/= on-true) not))) @@ -117,7 +118,7 @@ (verify (if verdict on-true on-false)))))) (def: (case-spec run) - (-> ///.Runner Test) + (-> Runner Test) (do r.monad [[inputS pathS] ..case on-success r.safe-frac @@ -240,7 +241,7 @@ ## TODO: Get rid of this ASAP (def: (special-spec run) - (-> ///.Runner Test) + (-> Runner Test) ($_ _.and (_.test "===" (and (text@= (synthesis.%path special-path) @@ -275,7 +276,7 @@ )) (def: #export (spec run) - (-> ///.Runner Test) + (-> Runner Test) ($_ _.and (..special-spec run) (..let-spec run) |