diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/type.lux | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux index c3a17f34a..161cee0f7 100644 --- a/stdlib/source/lux/type.lux +++ b/stdlib/source/lux/type.lux @@ -403,8 +403,7 @@ (-> (~ (get@ #type exemplar)) (~ (get@ #type computation)))) (.function ((~ g!_) (~ g!_)) - ## TODO: this should use : instead of :assume - (:assume (~ (get@ #expression computation))))))] + (~ (get@ #expression computation)))))] (wrap (list (` ((~ shareC) (~ (get@ #expression exemplar))))))))) (syntax: #export (:by-example {type-vars type-parameters} |