blob: 0900da8e331624768d53b6200769862313e5cd2a (
plain)
1
2
3
4
5
6
7
8
9
10
|
SkolemOccursLoop.hs:18:0:
Couldn't match expected type `F a'
against inferred type `[T (F (T (F a)))]'
When generalising the type(s) for `test1'
SkolemOccursLoop.hs:31:0:
Couldn't match expected type `S (G (a, a))'
against inferred type `G [S (G (a, a))]'
When generalising the type(s) for `test2'
|