Re: is Unlifted Type == Primitive Type?

[Sebastian Graf]

Hi Csaba,

Yes, boxed unlifted ADTs are supported by code-gen, or at least the fix for
codegen to deal with it is [rather simple](
https://gitlab.haskell.org/ghc/ghc/commit/fc4e2a03ebb40e2268ec0deb9833ec82bd2d7bee
).

Hope that helps.
Sebastian

Am Mo., 20. Jan. 2020 um 11:13 Uhr schrieb Csaba Hruska <
csaba.hru...@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 
> wrote:
>
>> The recent addition of -XUnliftedNewtypes means that user-defined
>> newtypes (
>> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0098-unlifted-newtypes.rst)
>> can indeed be unlifted and unboxed. There is also a proposal for more
>> general unlifted data (
>> https://github.com/ghc-proposals/ghc-proposals/pull/265).
>>
>> If the wiki is out of date, do you think you could update it?
>>
>> Thanks!
>> Richard
>>
>> On Jan 20, 2020, at 9:45 AM, Csaba Hruska  wrote:
>>
>> Hello,
>>
>> 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
>> thunk.
>>
>> Thanks,
>> Csaba
>>
>> ___
>> ghc-devs mailing list
>> ghc-devs@haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>
>>
>> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: is Unlifted Type == Primitive Type?

[Csaba Hruska]

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

> The recent addition of -XUnliftedNewtypes means that user-defined newtypes
> (
> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0098-unlifted-newtypes.rst)
> can indeed be unlifted and unboxed. There is also a proposal for more
> general unlifted data (
> https://github.com/ghc-proposals/ghc-proposals/pull/265).
>
> If the wiki is out of date, do you think you could update it?
>
> Thanks!
> Richard
>
> On Jan 20, 2020, at 9:45 AM, Csaba Hruska  wrote:
>
> Hello,
>
> 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
> thunk.
>
> Thanks,
> Csaba
>
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: is Unlifted Type == Primitive Type?

[Richard Eisenberg]

The recent addition of -XUnliftedNewtypes means that user-defined newtypes 
(https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0098-unlifted-newtypes.rst
 
)
 can indeed be unlifted and unboxed. There is also a proposal for more general 
unlifted data (https://github.com/ghc-proposals/ghc-proposals/pull/265 
).

If the wiki is out of date, do you think you could update it?

Thanks!
Richard

> On Jan 20, 2020, at 9:45 AM, Csaba Hruska  wrote:
> 
> Hello,
> 
> 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 thunk.
> 
> Thanks,
> Csaba
> 
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs