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

Richard Eisenberg lists at richarde.dev
Thu Jan 26 02:07:32 UTC 2023

> 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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20230126/302203b2/attachment.html>

More information about the Haskell-Cafe mailing list