Ticket #8778: Test8778.hs

File Test8778.hs, 246 bytes (added by dmcclean, 16 months ago)

Test case

Line 
1{-# LANGUAGE DataKinds #-}
2{-# LANGUAGE KindSignatures #-}
3{-# LANGUAGE AutoDeriveTypeable #-}
4
5module Test8778 where
6
7import GHC.TypeLits
8import Data.Dynamic
9
10data Phantom (n :: Nat) = Phantom
11
12desirable = toDyn (Phantom :: Phantom 3)