On June 19, 2020 5:55:01 PM EDT, Shayne Fletcher via ghc-devs <ghc-devs@haskell.org> 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?
I have a hypothesis for what might be happening here. Investigating
Actually it seems almost certain to be `40fa237e1daab7a76b9871bb6c50b953a1addf23`, the linear types patch. So my current theory is that it is probably not a bug but instead points to a ghc-prim mismatch.