GHC-Overflow.hs

-- Compile with ghc -O2 -fforce-recomp

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-}

module Test where

import Data.Singletons.TH

data DBusSimpleType
    = TypeByte
    | TypeBoolean
    | TypeInt16
    | TypeUInt16
    | TypeInt64
    | TypeUInt64
    | TypeDouble
    | TypeUnixFD
    | TypeString
    | TypeObjectPath
    | TypeSignatuer
      deriving (Show, Read, Eq)

genSingletons [''DBusSimpleType]
singDecideInstances [''DBusSimpleType]