Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : ghc-kinds
http://hackage.haskell.org/trac/ghc/changeset/f9fdcc0a3ef11e18f75a6f9c782cd9f3bcb3cd07 >--------------------------------------------------------------- commit f9fdcc0a3ef11e18f75a6f9c782cd9f3bcb3cd07 Author: Jose Pedro Magalhaes <[email protected]> Date: Wed Nov 2 15:50:16 2011 +0000 Import Constraint to use it >--------------------------------------------------------------- tests/typecheck/should_compile/T5581.hs | 2 ++ tests/typecheck/should_compile/tc258.hs | 2 ++ 2 files changed, 4 insertions(+), 0 deletions(-) diff --git a/tests/typecheck/should_compile/T5581.hs b/tests/typecheck/should_compile/T5581.hs old mode 100644 new mode 100755 index 3f5eafd..0e95728 --- a/tests/typecheck/should_compile/T5581.hs +++ b/tests/typecheck/should_compile/T5581.hs @@ -1,6 +1,8 @@ {-# LANGUAGE ConstraintKinds, FlexibleContexts, FlexibleInstances, KindSignatures #-} module TcShouldTerminate where +import GHC.Prim (Constraint) + class C (p :: Constraint) class D (p :: Constraint) diff --git a/tests/typecheck/should_compile/tc258.hs b/tests/typecheck/should_compile/tc258.hs old mode 100644 new mode 100755 index 00f030d..54a3e63 --- a/tests/typecheck/should_compile/tc258.hs +++ b/tests/typecheck/should_compile/tc258.hs @@ -2,6 +2,8 @@ module AltPrelude where +import GHC.Prim (Constraint) + class MyFunctor f where type FunctorCtxt f a :: Constraint type FunctorCtxt f a = () _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
