testsuite/tests/gadt/T23023.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE TypeData, MagicHash #-}
module B where

import GHC.Exts

type data T a b where
  MkT :: T a a

f :: T Int Bool -> Char
f x = case dataToTag# x of
         0# -> 'a'
         _  -> 'b'