effekt
effekt copied to clipboard
Unexpected boxing in REPL :t command
I'm not sure this should box the foo automagically -- I'm just asking about the type!
Maybe we should only parse expressions when using :t?
It's a feature, not a bug. It's also showing the capture ;)
> :t foo
[error] 1:1: Expected a value, but foo is a computation. Use `box foo` to pass it as a value instead
foo
^^^
As of #1090 it's an explicit error message which isn't much better :/