Commit 61e760b0 authored by rwbarton's avatar rwbarton Committed by Ben Gamari

Update test completesig04

It relied on an orphan COMPLETE pragma, so was broken by commit fce3d37c.

Test Plan: validate

Reviewers: austin, bgamari

Subscribers: thomie

Differential Revision:
parent c02896ab
module TyMismatch where
{-# COMPLETE Just, Left #-}
data E = L | R
{-# COMPLETE Just, L #-}
completesig04.hs:3:1: error:
• 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 #-}
completesig04.hs:5: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