Skip to content
GitLab
Explore
Sign in
Register
Alex D
GHC
Repository
ghc
compiler
deSugar
DsBinds.hs
Find file
Blame
History
Permalink
Add comments on Typeable (n :: Nat)
· 7ce6f642
Simon Peyton Jones
authored
Jul 03, 2018
See Note [Typeable for Nat and Symbol] in TcInteract, which I added after discussion on Trac #15322
7ce6f642