blob: 90c1c22b4df5d45dd040b7741c7e012dbe19a05a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE DatatypeContexts #-}
{- In 2.05 this one crashed with
Fail: "basicTypes/Id.lhs", line 990: incomplete pattern(s)
to match in function "dataConFieldLabels"
Reason: dsExpr (RecordCon ...) didn't extract
the constructor properly.
-}
module ShouldCompile where
data Eq a => Foo a = Foo { x :: a }
foo :: Eq a => Foo a
foo = Foo{}
|
