syb-0.4.2: tests/Newtype.hs

{-# OPTIONS -fglasgow-exts #-}

module Newtype (tests) where

-- The type of a newtype should treat the newtype as opaque

import Test.HUnit

import Data.Generics

newtype T = MkT Int deriving( Typeable )

tests = show (typeOf (undefined :: T)) ~=? output

output = "T"