diff options
| -rw-r--r-- | stdlib/source/lux/type/model.lux | 24 |
1 files changed, 8 insertions, 16 deletions
diff --git a/stdlib/source/lux/type/model.lux b/stdlib/source/lux/type/model.lux index 475458520..0914cfdf1 100644 --- a/stdlib/source/lux/type/model.lux +++ b/stdlib/source/lux/type/model.lux @@ -73,14 +73,10 @@ (function [tokens] (case tokens (^ (list value)) - (wrap (list (if (list;empty? type-vars) - (` (|> (~ value) - (: (~ (code;local-symbol (representation-name name)))) - (:! (~ (code;local-symbol name))))) - (` ((: (All [(~@ type-varsC)] - (-> (~ representation-declaration) (~ model-declaration))) - (|>. :!!)) - (~ value)))))) + (wrap (list (` ((: (All [(~@ type-varsC)] + (-> (~ representation-declaration) (~ model-declaration))) + (|>. :!!)) + (~ value))))) _ (macro;fail (format "Wrong syntax for " down-cast))))]))) @@ -89,14 +85,10 @@ (function [tokens] (case tokens (^ (list value)) - (wrap (list (if (list;empty? type-vars) - (` (|> (~ value) - (: (~ (code;local-symbol name))) - (:! (~ (code;local-symbol (representation-name name)))))) - (` ((: (All [(~@ type-varsC)] - (-> (~ model-declaration) (~ representation-declaration))) - (|>. :!!)) - (~ value)))))) + (wrap (list (` ((: (All [(~@ type-varsC)] + (-> (~ model-declaration) (~ representation-declaration))) + (|>. :!!)) + (~ value))))) _ (macro;fail (format "Wrong syntax for " up-cast))))]))))]] |