Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Repository
ghc
compiler
typecheck
TcInteract.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