Hi Jonathan,
If you want to make sure unfoldings are available for all ids then you can
compile a module with `-fexpose-all-unfoldings`. Perhaps you have to
compile `base` and all GHC libraries with `-fexpose-all-unfoldings` as well?
Once you have an `Id`, you can look at the unfolding using
`rea
Hello,
I am working on Liquid Haskell, and I'd like to use the unfoldings of
definitions located in interface files to unfold them in proofs.
Liquid Haskell is a GHC plugin that runs in the type checking phase at the
moment, and for analysis purposes it also compiles the module down to Core.
I ha
Hello Jose,
I’ve approved your account.
Welcome! Feel free to reach out if you have any questions.
Cheers,
Rodrigo Mesquita
> On 6 Aug 2024, at 13:56, Jose Lane wrote:
>
> I am looking to get my gitlab account approved. user name: Forist2034
> ___
>
I am looking to get my gitlab account approved. user name: Forist2034
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
