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/function.lux | |
parent | ff384c379036d790e32f419da39b1d524a1d89fe (diff) |
Refactored the spec a bit better.
Diffstat (limited to 'stdlib/source/spec/compositor/generation/function.lux')
-rw-r--r-- | stdlib/source/spec/compositor/generation/function.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/spec/compositor/generation/function.lux b/stdlib/source/spec/compositor/generation/function.lux index c9f8f5f56..2a8b4687d 100644 --- a/stdlib/source/spec/compositor/generation/function.lux +++ b/stdlib/source/spec/compositor/generation/function.lux @@ -21,7 +21,8 @@ ["." synthesis (#+ Synthesis)]]]] ["." // #_ ["#." case] - ["/#" //]]) + [// + [common (#+ Runner)]]]) (def: max-arity Arity 10) @@ -45,7 +46,7 @@ #synthesis.body (synthesis.variable/local local)})]))) (def: #export (spec run) - (-> ///.Runner Test) + (-> Runner Test) (do r.monad [[arity local functionS] ..function partial-arity (|> r.nat (:: @ map (|>> (n/% arity) (n/max 1)))) |