blob: 5ce650e4beab91497eeef238aba81d650283ec71 (
plain)
1
2
3
4
5
6
7
8
|
TyAppPat_ScopedTyVarConflict.hs:10:6: error:
Type variable ‘a’ is already in scope.
Type applications in patterns must bind fresh variables, without shadowing.
TyAppPat_ScopedTyVarConflict.hs:11:6: error:
Type variable ‘a’ is already in scope.
Type applications in patterns must bind fresh variables, without shadowing.
|