diff options
Diffstat (limited to 'testsuite/tests/patsyn/should_fail/T15695.stderr')
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/T15695.stderr | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/testsuite/tests/patsyn/should_fail/T15695.stderr b/testsuite/tests/patsyn/should_fail/T15695.stderr index 82398e15a7..9418f15a71 100644 --- a/testsuite/tests/patsyn/should_fail/T15695.stderr +++ b/testsuite/tests/patsyn/should_fail/T15695.stderr @@ -33,12 +33,13 @@ T15695.hs:39:14: warning: [-Wdeferred-type-errors (in -Wdefault)] from' :: ApplyT (* -> * -> *) Either ctx -> NS (NP NA) '[ '[ 'VO]] (bound at T15695.hs:39:1) -T15695.hs:40:26: warning: [-Wdeferred-type-errors (in -Wdefault)] +T15695.hs:40:33: warning: [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type: a0 : as0 with: '[] - Expected: NS (NP NA) '[ '[ 'VO]] - Actual: NS (NP NA) ('[ 'VO] : a0 : as0) - • In the expression: There (Here undefined) + Expected: NS (NP NA) '[] + Actual: NS (NP NA) (a0 : as0) + • In the first argument of ‘There’, namely ‘(Here undefined)’ + In the expression: There (Here undefined) In an equation for ‘from'’: from' (ASSO (Right b)) = There (Here undefined) • Relevant bindings include |