testsuite/tests/unsatisfiable/UnsatFunDeps.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE UndecidableInstances #-}

module UnsatFunDeps where

import GHC.TypeError

class C a b | a -> b
instance Unsatisfiable (Text "No") => C a b