T5886a.hs 337 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2 3 4 5 6 7 8 9 10 11 12
{-# LANGUAGE UnicodeSyntax #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}

module T5886a where

import Language.Haskell.TH

class C α where
  type AT α  

bang  DecsQ
13
bang = return [InstanceD Nothing [] (AppT (ConT ''C) (ConT ''Int))
14
                [TySynInstD ''AT (TySynEqn [ConT ''Int] (ConT ''Int))]]