diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/type.lux | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux index 77060876f..72375519d 100644 --- a/stdlib/source/lux/type.lux +++ b/stdlib/source/lux/type.lux @@ -414,7 +414,7 @@ (def: typed (Parser Typed) - (<c>.record (<>.and <c>.any <c>.any))) + (<>.and <c>.any <c>.any)) ## TODO: Make sure the generated code always gets optimized away. (syntax: #export (:share {type_vars ..type_parameters} @@ -433,7 +433,9 @@ {extraction <c>.any}) (wrap (list (` (:of ((~! :share) [(~+ (list\map code.local_identifier type_vars))] - {(~ (get@ #type exemplar)) - (~ (get@ #expression exemplar))} - {(~ extraction) - (:assume [])})))))) + + (~ (get@ #type exemplar)) + (~ (get@ #expression exemplar)) + + (~ extraction) + (:assume []))))))) |