diff options
Diffstat (limited to 'stdlib/source/lux/type.lux')
-rw-r--r-- | stdlib/source/lux/type.lux | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux index 247f2db15..c3a17f34a 100644 --- a/stdlib/source/lux/type.lux +++ b/stdlib/source/lux/type.lux @@ -410,11 +410,12 @@ (syntax: #export (:by-example {type-vars type-parameters} {exemplar typed} {extraction s.any}) - (wrap (list (` (:of (:share [(~+ (list@map code.local-identifier type-vars))] - {(~ (get@ #type exemplar)) - (~ (get@ #expression exemplar))} - {(~ extraction) - (:assume [])})))))) + (wrap (list (` (:of ((~! :share) + [(~+ (list@map code.local-identifier type-vars))] + {(~ (get@ #type exemplar)) + (~ (get@ #expression exemplar))} + {(~ extraction) + (:assume [])})))))) (exception: #export (hole-type {location Cursor} {type Type}) (exception.report |