Some tidying up of type pretty-printing
[ghc.git] / testsuite / tests / typecheck / should_fail / T13677.hs
1 {-# LANGUAGE ConstraintKinds #-}
2 {-# LANGUAGE GADTs #-}
3 module T13677 where
4
5 import GHC.Exts (Constraint)
6
7 data Dict a where
8 Dict :: a => Dict a
9
10 foo :: Dict (Int ~ Int) => Int
11 foo = undefined