Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail062.stderr
1
2 tcfail062.hs:34:6:
3     Not in scope: type variable ‘behaviouralExpression’
4     Perhaps you meant type constructor or class ‘BehaviouralExpression’ (line 25)
5
6 tcfail062.hs:34:29:
7     Not in scope: type variable ‘behaviouralExpression’
8     Perhaps you meant type constructor or class ‘BehaviouralExpression’ (line 25)