Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T11541.stderr
1
2 T11541.hs:8:12: error: Variable not in scope: foo