Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/2c832860a1a32889e7cf53f00d28fb230813f674 >--------------------------------------------------------------- commit 2c832860a1a32889e7cf53f00d28fb230813f674 Author: Simon Peyton Jones <[email protected]> Date: Tue Oct 2 16:29:31 2012 +0100 Test Trac #7205 >--------------------------------------------------------------- tests/gadt/T7205.hs | 15 +++++++++++++++ tests/gadt/all.T | 3 ++- 2 files changed, 17 insertions(+), 1 deletions(-) diff --git a/tests/gadt/T7205.hs b/tests/gadt/T7205.hs new file mode 100644 index 0000000..e8c5559 --- /dev/null +++ b/tests/gadt/T7205.hs @@ -0,0 +1,15 @@ +{-# LANGUAGE GADTs, MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-} +module T7205 where + +data Abs env g v where + Abs :: g (a, env) h v -> Abs env (g (a, env) h v) (a -> v) + +class Eval g env h v where + eval :: env -> g env h v -> v + +evalAbs :: Eval g2 (a2, env) h2 v2 + => env + -> Abs env (g2 (a2, env) h2 v2) (a2->v2) + -> (a2->v2) +evalAbs env (Abs e) x + = eval (x, env) e -- e :: g (a,env) h v diff --git a/tests/gadt/all.T b/tests/gadt/all.T index 2d1f00f..ac56021 100644 --- a/tests/gadt/all.T +++ b/tests/gadt/all.T @@ -112,4 +112,5 @@ test('T5424', multimod_compile, ['T5424', '-v0 -O0']) -test('FloatEq', normal, compile, ['']) \ No newline at end of file +test('FloatEq', normal, compile, ['']) +test('T7205', normal, compile, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
