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/primitive.lux | |
| parent | ff384c379036d790e32f419da39b1d524a1d89fe (diff) | |
Refactored the spec a bit better.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/spec/compositor/generation/primitive.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/spec/compositor/generation/primitive.lux b/stdlib/source/spec/compositor/generation/primitive.lux index 788085836..63568fbce 100644 --- a/stdlib/source/spec/compositor/generation/primitive.lux +++ b/stdlib/source/spec/compositor/generation/primitive.lux @@ -17,7 +17,8 @@ [tool [compiler ["." synthesis]]]] - ["." ///]) + [/// + [common (#+ Runner)]]) (def: (f/=' reference subject) (-> Frac Frac Bit) @@ -26,7 +27,7 @@ (frac.not-a-number? subject)))) (def: #export (spec run) - (-> ///.Runner Test) + (-> Runner Test) (`` ($_ _.and (~~ (template [<evaluation-name> <synthesis> <gen> <test>] [(do r.monad |