[ghc-lib] internal error after removal of integer-simple

[Sylvain Henry]

Hi,

I would think it's more related to the linear types patch given that it 
added ghc-prim:GHC.Types.One (wired-in). Could you open a ticket with a 
way to reproduce the failure?

Thanks,
Sylvain


On 19/06/2020 23:55, Shayne Fletcher via ghc-devs wrote:
> With the recent MR that removes integer-simple in favor of ghc-bignum, 
> I find that I get a runtime failure when I try to use ghc-lib to 
> generate core:
> ```
> # Running: stack     --no-terminal exec -- mini-compile 
> examples/mini-compile/test/MiniCompileTest.hs
>
> examples/mini-compile/test/MiniCompileTest.hs:66:5: error:
>     * GHC internal error: `One' is not in scope during type checking, 
> but it passed the renamer
>       tcl_env of environment: [628 :-> ATcTyCon TrName :: *,
>                                62b :-> APromotionErr RecDataConPE,
>                                62e :-> APromotionErr RecDataConPE]
>     * In the definition of data constructor `TrNameS'
>       In the data declaration for `TrName'
>    |
> 66 |   = TrNameS Addr#  -- Static
>    |     ^^^^^^^^^^^^^
> mini-compile: GHC internal error: `One' is not in scope during type 
> checking, but it passed the renamer
> tcl_env of environment: [628 :-> ATcTyCon TrName :: *,
>                          62b :-> APromotionErr RecDataConPE,
>                          62e :-> APromotionErr RecDataConPE]
> ```
>
> Anyone have any pointers on what is going wrong and what I should be 
> looking at?
>
> -- 
> *Shayne Fletcher*
> Language Engineer */* +1 917 699 7663
> *Digital Asset* <https://digitalasset.com/>, creators of *DAML 
> <https://daml.com/>*
>
> This message, and any attachments, is for the intended recipient(s) 
> only, may contain information that is privileged, confidential and/or 
> proprietary and subject to important terms and conditions available at 
> http://www.digitalasset.com/emaildisclaimer.html 
> <http://www.digitalasset.com/emaildisclaimer.html>. If you are not the 
> intended recipient, please delete this message.
>
> _______________________________________________
> 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/20200620/3eb1fe09/attachment.html>