is Unlifted Type == Primitive Type?
sgraf1337 at gmail.com
Mon Jan 20 10:18:58 UTC 2020
Yes, boxed unlifted ADTs are supported by code-gen, or at least the fix for
codegen to deal with it is [rather simple](
Hope that helps.
Am Mo., 20. Jan. 2020 um 11:13 Uhr schrieb Csaba Hruska <
csaba.hruska at gmail.com>:
> I'm also interested if Boxed Unlifted non Primitive types are supported by
> the codegen?
> Sorry, but I'm not confident enough in the topic to update the wiki.
> On Mon, Jan 20, 2020 at 10:58 AM Richard Eisenberg <rae at richarde.dev>
>> The recent addition of -XUnliftedNewtypes means that user-defined
>> newtypes (
>> can indeed be unlifted and unboxed. There is also a proposal for more
>> general unlifted data (
>> If the wiki is out of date, do you think you could update it?
>> On Jan 20, 2020, at 9:45 AM, Csaba Hruska <csaba.hruska at gmail.com> wrote:
>> According to GHC Wiki
>> it seems that only primitive types can be unlifted.
>> Is this true in general? (i.e. no user type can be unlifted)
>> Does the Stg to Cmm codegen support compilation for a variable of user
>> defined ADT as unlifted?
>> i.e. some analysis proved that it is always a constructor and never a
>> ghc-devs mailing list
>> ghc-devs at haskell.org
> ghc-devs mailing list
> ghc-devs at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs