diff options
Diffstat (limited to 'stdlib/source/lux/macro/poly.lux')
-rw-r--r-- | stdlib/source/lux/macro/poly.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/macro/poly.lux b/stdlib/source/lux/macro/poly.lux index 7f1c7bc8c..22812023a 100644 --- a/stdlib/source/lux/macro/poly.lux +++ b/stdlib/source/lux/macro/poly.lux @@ -200,7 +200,7 @@ (do macro;Monad<Lux> [#let [[:func: :args:] (loop [:type: (type;un-name :type:)] (case :type: - (#;App :func: :arg:) + (#;Apply :arg: :func:) (let [[:func:' :args:] (recur :func:)] [:func:' (list& :arg: :args:)]) @@ -217,7 +217,7 @@ (-> Ident (Matcher Type)) (;function [:type:] (case (type;un-name :type:) - (^multi (#;App :quant: :arg:) + (^multi (#;Apply :arg: :quant:) [(type;un-alias :quant:) (#;Named actual _)] (Ident/= name actual)) (:: macro;Monad<Lux> wrap :arg:) @@ -229,7 +229,7 @@ (-> Ident (Matcher [Type Type])) (;function [:type:] (case (type;un-name :type:) - (^multi (#;App (#;App :quant: :arg0:) :arg1:) + (^multi (#;Apply :arg1: (#;Apply :arg0: :quant:)) [(type;un-alias :quant:) (#;Named actual _)] (Ident/= name actual)) (:: macro;Monad<Lux> wrap [:arg0: :arg1:]) @@ -308,7 +308,7 @@ (|> env (dict;put current-size [funcT funcA]) (dict;put (n.inc current-size) [varT varA]) - (extend-env [(#;App funcT varT) (` (#;App (~ funcA) (~ varA)))] + (extend-env [(#;Apply varT funcT) (` (#;Apply (~ varA) (~ funcA)))] type-vars') )))) @@ -402,7 +402,7 @@ (<tag> left right) (` (<tag> (~ (to-ast env left)) (~ (to-ast env right))))) - ([#;Function] [#;App]) + ([#;Function] [#;Apply]) (^template [<tag> <macro> <flattener>] (<tag> left right) |