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

testsuite: Add comment clarifying intention of completesig04

parent 9808ebc8
-- Test that a COMPLETE pragma over constructors of different types fails.
module TyMismatch where
data E = L | R
......
completesig04.hs:5:1: error:
completesig04.hs:6:1: error:
• Cannot form a group of complete patterns from patterns ‘Just’ and ‘L’ as they match different type constructors (‘Maybe’ resp. ‘E’)
• In {-# COMPLETE Just, L #-}
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