diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/type.lux | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux index e010c2a98..6dcc8981d 100644 --- a/stdlib/source/lux/type.lux +++ b/stdlib/source/lux/type.lux @@ -388,5 +388,6 @@ (-> (~ (get@ #type exemplar)) (~ (get@ #type computation)))) (.function ((~ g!_) (~ g!_)) + ## TODO: this should use : instead of :assume (:assume (~ (get@ #expression computation))))))] (wrap (list (` ((~ shareC) (~ (get@ #expression exemplar))))))))) |