File tree Expand file tree Collapse file tree 1 file changed +0
-24
lines changed
test/error-messages-cases/no-plugin Expand file tree Collapse file tree 1 file changed +0
-24
lines changed Original file line number Diff line number Diff line change 1- configure (lib)
2- Configuring no-plugin-0.0.0...
3- build (lib)
4- Preprocessing library for no-plugin-0.0.0..
5- Building library for no-plugin-0.0.0..
6- [1 of 2] Compiling NoPlugin.Test
7-
8- <path>/error-messages-cases/no-plugin/src/NoPlugin/Test.hs:15:16: error:
91 • Couldn't match type: as ++ (bs ++ cs)
102 with: (as ++ bs) ++ cs
11- Expected: proxy ((as ++ bs) ++ cs)
12- Actual: proxy (as ++ (bs ++ cs))
13- NB: ‘++’ is a non-injective type family
14- • In the expression: r
15- In an equation for ‘ex2e’: ex2e _ _ _ r = r
16- • Relevant bindings include
17- r :: proxy (as ++ (bs ++ cs)) (bound at src/NoPlugin/Test.hs:15:12)
18- ex2e :: proxy as
19- -> proxy bs
20- -> proxy cs
21- -> proxy (as ++ (bs ++ cs))
22- -> proxy ((as ++ bs) ++ cs)
23- (bound at src/NoPlugin/Test.hs:15:1)
24- |
25- 15 | ex2e _ _ _ r = r
26- | ^
You can’t perform that action at this time.
0 commit comments