blob: 322a70a93ee67cfc5979fe748845fd46b0550cc8 (
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
|
{-# LANGUAGE TypeSynonymInstances #-}
unit p where
signature H where
data T a
module M where
import H
instance Functor T
unit q where
module H where
-- No good!
type T a = a
unit r where
dependency p[H=q:H]
{-
If we get:
The type synonym ‘T’ should have 1 argument, but has been given none
In the instance declaration for ‘Functor T’
that is too late! Need to catch this earlier.
-}
|
