Skip to content
GitLab
Explore
Sign in
Register
jberryman
GHC
Repository
ghc
compiler
typecheck
TcRnTypes.lhs
Find file
Blame
History
Permalink
Reject promoted constructors when -XDataKinds is not enabled (FIX #7433)
· 6486213b
jpm@cs.ox.ac.uk
authored
Nov 21, 2012
6486213b