diff options
author | Eduardo Julian | 2017-06-21 23:33:01 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-06-21 23:33:01 -0400 |
commit | 1a7aa7e3ed6fae612d2b22eacc5805bd786efdd9 (patch) | |
tree | d822cdbc8e0fd9f04ffa4732dc11fbb98941b4f5 /stdlib/source/lux/control/effect.lux | |
parent | d0ec271e90a2be17d2ad5f5e23b0bb3006602bc8 (diff) |
- Renamed "App" to "Apply" and swapped the order of the arguments to it.
- Also did argument swapping for lux/type;application.
Diffstat (limited to 'stdlib/source/lux/control/effect.lux')
-rw-r--r-- | stdlib/source/lux/control/effect.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/lux/control/effect.lux b/stdlib/source/lux/control/effect.lux index 457519442..6c6feee06 100644 --- a/stdlib/source/lux/control/effect.lux +++ b/stdlib/source/lux/control/effect.lux @@ -229,7 +229,7 @@ (def: (un-apply type-app) (-> Type Type) (case type-app - (#;App effect value) + (#;Apply value effect) effect _ @@ -269,17 +269,17 @@ (List/append (flatten-effect-stack left) (flatten-effect-stack right)) - (^ (#;App branches (#;Var _))) + (^ (#;Apply (#;Var _) branches)) (flatten-effect-stack branches) - (^ (#;App (#;App (#;Named (ident-for ;;|@) _) - left) - right)) + (^ (#;Apply right + (#;Apply left + (#;Named (ident-for ;;|@) _)))) (#;Cons left (flatten-effect-stack right)) - (^ (#;App (#;App (#;Named (ident-for M;Free) _) - effect) - param)) + (^ (#;Apply param + (#;Apply effect + (#;Named (ident-for M;Free) _)))) (list effect) _ @@ -321,10 +321,10 @@ [input (macro;find-type var) output macro;expected-type] (case [input output] - (^multi [(#;App eff0 _) (#;App stackT0 recT0)] + (^multi [(#;Apply _ eff0) (#;Apply recT0 stackT0)] [(type;apply-type stackT0 recT0) (#;Some unfoldT0)] - [stackT0 (^ (#;App (#;Named (ident-for M;Free) _) - stackT1))] + [stackT0 (^ (#;Apply stackT1 + (#;Named (ident-for M;Free) _)))] [(type;apply-type stackT1 recT0) (#;Some unfoldT1)] [(flatten-effect-stack unfoldT1) stack] [(|> stack list;enumerate |