Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail021.stderr
1
2 tcfail021.hs:8:5: error:
3     Pattern bindings (except simple variables) not allowed in instance declaration:
4       ((==), (/=)) = (\ x -> \ y -> True, \ x -> \ y -> False)