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