T5424.hs 152 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2 3 4 5 6 7 8 9 10 11 12 13
{-# LANGUAGE GADTs #-}
{-# OPTIONS_GHC -Wall #-}

module W where

import T5424a

data D a where
     C1 :: D X
     C2 :: D Y

f :: D X -> Int
f C1 = 1