path: root/testsuite/tests/ghci/scripts/ghci031.hs

{-# LANGUAGE DatatypeContexts #-}
-- Trac #2138
-- If we :i D, we should see the Eq constraint

module Foo where

data Eq a => D a = C a