14 Apr
2020
14 Apr
'20
9:48 a.m.
Sylvain TcTypeNats still exists in compiler/typecheck/ An omission? Simon
14 Apr
14 Apr
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
1862
Age (days ago)
1862
Last active (days ago)
1 comments
2 participants
participants (2)
-
Simon Peyton Jones -
Sylvain Henry