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 ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
