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@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
