blob: a206913ff32cc703d073730e875a329c62536fa4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE TemplateHaskell #-}
module T6005a where
-- The point here is that we don't need to generate the
-- derived code inside the bracket; doing so is troublesome
-- and it should never be type incorrect, so it's also a
-- waste of effort.
$( [d|
data Nat = Zero | Succ Nat deriving( Show )
|] )
foo :: String
foo = show (Succ Zero)
|
