blob: b8468266ddba1da4222239e8c10ca95fb7b40bfa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T17458.hs:32:27: error:
• Reduction stack overflow; size = 201
When simplifying the following type: Typeable Void
Use -freduction-depth=0 to disable this check
(any upper bound you could choose might fail unpredictably with
minor updates to GHC, so disabling the check is recommended if
you're sure that type checking should terminate)
• In the expression: eqT
In the expression:
case eqT of
Nothing -> False
Just (Refl :: a :~: Void) -> True
In an equation for ‘checkZ’:
checkZ (Z (Z' :: Z' a))
= case eqT of
Nothing -> False
Just (Refl :: a :~: Void) -> True
|
