DataCon tag value convention

Csaba Hruska csaba.hruska at gmail.com
Wed Feb 12 19:48:52 UTC 2020


Ok, fair enough.
Would it break anything else? (i.e. coercions)

On Wed, Feb 12, 2020 at 8:34 PM Sebastian Graf <sgraf1337 at gmail.com> wrote:

> You probably couldn't do pointer tagging
> <https://gitlab.haskell.org/ghc/ghc/wikis/commentary/rts/haskell-execution/pointer-tagging>
> anymore, which is probably a substantial performance loss.
>
> Am Mi., 12. Feb. 2020 um 19:58 Uhr schrieb Csaba Hruska <
> csaba.hruska at gmail.com>:
>
>> Hello,
>>
>> In theory could GHC codegen work if every data constructor in the whole
>> program  have a globally unique tag value instead of starting from 1 for
>> each algebraic data type?
>> Would this break any GHC design decision?
>>
>> Regards,
>> Csaba
>> _______________________________________________
>> ghc-devs mailing list
>> ghc-devs at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200212/878136f6/attachment.html>


More information about the ghc-devs mailing list