blob: 6ccee354a94e4fc4680167027ebb6e205419ba9a (
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
|
RnStaticPointersFail03.hs:8:7: error: [GHC-88431]
• ‘x’ is used in a static form but it is not closed because it
is not let-bound.
• In the expression: static (x . id)
In an equation for ‘f’: f x = static (x . id)
RnStaticPointersFail03.hs:10:8: error: [GHC-88431]
• ‘k’ is used in a static form but it is not closed because it
uses ‘x’ which is not let-bound.
• In the expression: static (k . id)
In an equation for ‘f0’:
f0 x
= static (k . id)
where
k = const (const () x)
RnStaticPointersFail03.hs:19:15: error: [GHC-88431]
• ‘g’ is used in a static form but it is not closed because it
uses ‘h’ which has a non-closed type because it contains the
type variables: ‘a’
• In the first argument of ‘const’, namely ‘(static (g undefined))’
In the expression: const (static (g undefined)) (h x)
In an equation for ‘f2’:
f2 x
= const (static (g undefined)) (h x)
where
g = h
h = typeOf
|
