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