testsuite/tests/typecheck/should_compile/T3632.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE GADTs #-}
module T3632 where

import Data.Char ( ord )

data T where
  MkT :: { f :: a -> Int, x :: a, wombat :: String } -> T

foo :: T -> T
foo t = t { f = ord, x = '3' }