diff options
Diffstat (limited to 'stdlib/source/lux/macro/poly.lux')
| -rw-r--r-- | stdlib/source/lux/macro/poly.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux/macro/poly.lux b/stdlib/source/lux/macro/poly.lux index 636824d99..7582e8a62 100644 --- a/stdlib/source/lux/macro/poly.lux +++ b/stdlib/source/lux/macro/poly.lux @@ -54,12 +54,12 @@ (def: #export env (Poly Env) - (.function [[env inputs]] + (.function (_ [env inputs]) (#e.Success [[env inputs] env]))) (def: (with-env temp poly) (All [a] (-> Env (Poly a) (Poly a))) - (.function [[env inputs]] + (.function (_ [env inputs]) (case (p.run [temp inputs] poly) (#e.Error error) (#e.Error error) @@ -69,7 +69,7 @@ (def: #export peek (Poly Type) - (.function [[env inputs]] + (.function (_ [env inputs]) (case inputs #.Nil (#e.Error "Empty stream of types.") @@ -79,7 +79,7 @@ (def: #export any (Poly Type) - (.function [[env inputs]] + (.function (_ [env inputs]) (case inputs #.Nil (#e.Error "Empty stream of types.") @@ -89,7 +89,7 @@ (def: #export (local types poly) (All [a] (-> (List Type) (Poly a) (Poly a))) - (.function [[env pass-through]] + (.function (_ [env pass-through]) (case (run' env types poly) (#e.Error error) (#e.Error error) @@ -103,7 +103,7 @@ (def: #export (with-extension type poly) (All [a] (-> Type (Poly a) (Poly [Code a]))) - (.function [[env inputs]] + (.function (_ [env inputs]) (let [current-id (dict.size env) g!var (label current-id)] (case (p.run [(dict.put current-id [type g!var] env) @@ -366,13 +366,13 @@ (syntax: #export (poly: [export csr.export] [name s.local-symbol] body) - (with-gensyms [g!type g!output] + (with-gensyms [g!_ g!type g!output] (let [g!name (code.symbol ["" name])] (wrap (.list (` (syntax: (~+ (csw.export export)) ((~ g!name) [(~ g!type) s.symbol]) (do macro.Monad<Meta> [(~ g!type) (macro.find-type-def (~ g!type))] (case (|> (~ body) - (.function [(~ g!name)]) + (.function ((~ g!_) (~ g!name))) p.rec (do p.Monad<Parser> []) (..run (~ g!type)) |