effekt icon indicating copy to clipboard operation
effekt copied to clipboard

Unexpected boxing in REPL :t command

Open jiribenes opened this issue 5 months ago • 3 comments

I'm not sure this should box the foo automagically -- I'm just asking about the type! Image

jiribenes avatar Jul 04 '25 12:07 jiribenes

Maybe we should only parse expressions when using :t?

jiribenes avatar Jul 04 '25 12:07 jiribenes

It's a feature, not a bug. It's also showing the capture ;)

b-studios avatar Jul 04 '25 13:07 b-studios

> :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 :/

jiribenes avatar Nov 13 '25 13:11 jiribenes