[Haskell-cafe] Why can't I bind unlifted values at the top level?

[David Feuer]

I meant the valueness check. I know their motivation has to do with type
safety (IIRC, it's to avoid what we know in Haskell as
unsafeCoerce-via-unsafePerformIO).

On Wed, Jan 25, 2023, 9:07 PM Richard Eisenberg <lists at richarde.dev> wrote:

>
>
> On Jan 22, 2023, at 1:12 AM, David Feuer <david.feuer at gmail.com> wrote:
>
> That's what ML calls the "value restriction", right?
>
>
> No, ML's value restriction is unrelated to this conversation. ML's value
> restriction says that all polymorphic variables (top-level or otherwise)
> must syntactically be values -- not, say, function calls. The "value-ness"
> check might end up similar, but the motivations are distinct.
>
> Richard
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20230125/161a659e/attachment.html>