testsuite/tests/ghc-regress/deSugar/should_compile/ds047.hs


1
2
3
4
5
6
7
8
9

-- !!! Nullary rec-pats for constructors that hasn't got any labelled
-- !!! fields is legal Haskell, and requires extra care in the desugarer.
module ShouldCompile where

data X = X Int [Int]

f :: X -> Int
f (X _ []) = 0
f X{}      = 1