blob: 7c59223d73067c2e72cb8bc59f9bf1ade9cbc2f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE ConstraintKinds #-}
unit p where
signature A where
import Prelude hiding ((==))
class K a
infix 4 ==
(==) :: K a => a -> a -> Bool
module M where
import Prelude hiding ((==))
import A
f a b c = a == b && b == c
unit q where
module A(K, (==)) where
-- This won't match because it's not nullary
type K a = Eq a
unit r where
dependency p[A=q:A]
|
