Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T10715b.stderr
2015-11-24  Evan LaforgeRearrange error msgs and add section markers (Trac...
2015-09-21  Richard EisenbergSlightly better `Coercible` errors.