TcTypeNats

[GHC - devs mailing list]

Sylvain

TcTypeNats still exists in compiler/typecheck/

An omission?

Simon

_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

[Sylvain Henry-2]

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

_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs