blob: 70a1ccf89cb6d190d2386f87e9333290cab85ed4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE DuplicateRecordFields #-}
unit p where
signature A where
data A = A { foo :: Int }
data B = B { foo :: Bool }
module P where
import A
x :: A -> Int
x = foo
unit q where
module A where
data A = A { foo :: Int }
data B = B { foo :: Bool }
unit r where
dependency p[A=q:A]
module R where
import P
|