File tree Expand file tree Collapse file tree 2 files changed +0
-15
lines changed
plugins/hls-change-type-signature-plugin/test/testdata Expand file tree Collapse file tree 2 files changed +0
-15
lines changed Original file line number Diff line number Diff line change 1
- Expected: a -> [[Int]]
2
- Actual: [[Int]] -> [[Int]]
3
- ‘a’ is a rigid type variable bound by
4
- the type signature for:
5
- test :: forall a. a -> Int
6
- at /home/sgillespie/dev/haskell/haskell-language-server/plugins/hls-change-type-signature-plugin/test/testdata/TRigidType.hs:3:1-16
7
- In the second argument of ‘(.)’, namely ‘reverse’
8
- In the second argument of ‘(.)’, namely ‘head . reverse’
9
1
In the expression: go . head . reverse
10
2
Relevant bindings include
11
3
test :: a -> Int
Original file line number Diff line number Diff line change 1
- Couldn't match type ‘a’ with ‘[Int]’
2
- Expected: a -> Int
3
- Actual: [Int] -> Int
4
- ‘a’ is a rigid type variable bound by
5
- the type signature for:
6
- test :: forall a. a -> Int
7
- at /home/sgillespie/dev/haskell/haskell-language-server/plugins/hls-change-type-signature-plugin/test/testdata/TRigidType2.hs:3:1-16
8
1
In the expression: head
9
2
In an equation for ‘test’: test = head
10
3
Relevant bindings include
You can’t perform that action at this time.
0 commit comments