diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/control/parser/type.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/control/parser/type.lux b/stdlib/source/library/lux/control/parser/type.lux index 964513f24..3dfea1a30 100644 --- a/stdlib/source/library/lux/control/parser/type.lux +++ b/stdlib/source/library/lux/control/parser/type.lux @@ -256,7 +256,7 @@ "Parses a type exactly."] [sub check.subsumes? "Parses a sub type."] - [super (function.flip check.subsumes?) + [super (function.flipped check.subsumes?) "Parses a super type."] ) @@ -274,7 +274,7 @@ headT any] (case headT (#.Parameter idx) - (case (dictionary.get (adjusted_idx env idx) env) + (case (dictionary.value (adjusted_idx env idx) env) (#.Some [poly_type poly_code]) (in poly_code) @@ -351,7 +351,7 @@ (case (type.anonymous headT) (^multi (^ (#.Apply (|nothing|) (#.Parameter funcT_idx))) (n.= 0 (adjusted_idx env funcT_idx)) - {(dictionary.get 0 env) (#.Some [self_type self_call])}) + {(dictionary.value 0 env) (#.Some [self_type self_call])}) (in self_call) _ |