Demonstrate that inferring Typeable for type literals works
authorGabor Greif <ggreif@gmail.com>
Mon, 15 Jun 2015 11:30:24 +0000 (13:30 +0200)
committerGabor Greif <ggreif@gmail.com>
Mon, 15 Jun 2015 11:30:24 +0000 (13:30 +0200)
commit77e5ec83617fce4cec530c744a435535bf06130b
treececed9423aa36ce50b673b1a275ac8026108cf67
parenta607011dbf522c97c9b6428ffa3203c56ab8dde6
Demonstrate that inferring Typeable for type literals works

So #10348 is only missing the variable case:
  Known{Nat,Symbol} lit => Typeable lit
compiler/typecheck/TcEvidence.hs
compiler/typecheck/TcInstDcls.hs
testsuite/tests/typecheck/should_compile/T10348.hs