14 Apr
2020
14 Apr
'20
9:53 a.m.
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