TcTypeNats

[Sylvain Henry]

Hi Simon,

Not an omission, it will be moved into GHC.Builtin.Types.Literals with 
the next renaming MR (!3072).

It is only imported by PrelInfo and GHC.IfaceToCore

Sylvain


On 14/04/2020 15:48, Simon Peyton Jones wrote:
>
> Sylvain
>
> TcTypeNats still exists in compiler/typecheck/
>
> An omission?
>
> Simon
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200414/a070901e/attachment.html>