blob: 7b836517401863daad0e01c71a0397ea451fdff0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ImpredicativeTypes #-}
{-# LANGUAGE QuantifiedConstraints #-}
module Bug where
import GHC.Exts
data Dict c where
MkDict :: c => Dict c
aux :: Dict (forall a. a)
aux = MkDict
{-
[W] forall (c:: Constraint). c
==>
forall c. [W] c
-}
|
