testsuite/tests/rename/should_fail/T23301.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE DuplicateRecordFields, TypeFamilies #-}

module T23301 where

data family D a
data instance D Int  = MkD1 { fld :: Int } | MkD1b | MkD1c { fld :: Int, bar :: Bool }
data instance D Bool = MkD2 { fld :: Bool }

foo = fld