testsuite/tests/quotes/TH_bracket3.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE NoMonomorphismRestriction #-}

module TH_bracket3 where

d_class = [d| class Classy a b where
                 f :: a -> b

              instance Classy Int Bool where
                 f x = if x == 0 then True else False
           |]