summaryrefslogtreecommitdiff
path: root/tests/examples/ghc86/TH_class1.hs
blob: 27b9db8ab2e2e8154a3e0dab457c29c5af20165c (plain)
1
2
3
4
5
6
7
8
9
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
{-# LANGUAGE TemplateHaskell #-}

module TH_class1 where

$( [d| class Classy a b c d | a -> b c, c -> d where
            f :: a -> b -> c -> d
     |] )