Sylvain TcTypeNats still exists in compiler/typecheck/ An omission? Simon -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200414/f1fad4d6/attachment.html>