Commit ca538b84 authored by Ben Gamari's avatar Ben Gamari 🐢

testsuite: Fix output due to recent COMPLETE changes

It's unclear why this didn't show up in my initial local validation. Oh
parent 0d2f7330
testsuite/tests/parser/should_fail/T12429.hs:2:29: error:
T12429.hs:2:29: error:
parse error on input ‘Y’
Perhaps you intended to use PatternSynonyms
2 | import Data.Text (pattern Y)
| ^
testsuite/tests/parser/should_fail/T12811.hs:4:15: error:
T12811.hs:4:15: error:
Illegal symbol '.' in type
Perhaps you meant to write 'forall <tvs>. <type>'?
4 | foo :: foral a. a -> a
| ^
completesig04.hs:3:1: error:
• Cannot form a group of complete patterns from patterns ‘Just’ and ‘Left’ as they match different type constructors (‘Maybe’ resp. ‘Either’)
• Orphan COMPLETE pragmas not supported
A COMPLETE pragma must mention at least one data constructor
or pattern synonym defined in the same module.
• In {-# COMPLETE Just, Left #-}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment