TcTypeNats

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

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
Reply | Threaded
Open this post in threaded view
|

Re: TcTypeNats

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