blob: 6d054fe2e2ce6df4e0bd014a031946c1ec16ba19 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
{-# LANGUAGE DefaultSignatures #-}
{-# OPTIONS_GHC -O #-}
unit p where
signature A where
class C a where
f :: a -> a
class D a where
g :: a
default g :: a
class E a where
h :: a -> String
default h :: Show a => a -> String
module B where
class X a where
i :: String -> a
default i :: Read a => String -> a
i = read
instance X Int where
unit i where
module A where
class C a where
f :: a -> a
f x = x
class D a where
g :: a
g = undefined
class E a where
h :: a -> String
default h :: Show a => a -> String
h = show
unit m where
dependency p[A=i:A]
|
