Commit a82c997a authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Make GADT tests work with 6.8 again

parent fec51623
......@@ -25,7 +25,8 @@ clean(['Gadt17_help.hi', 'Gadt17_help.o'])
test('gadt18', normal, compile, [''])
test('gadt19', normal, compile, [''])
test('gadt20', normal, compile, [''])
test('gadt21', normal, compile_fail, [''])
test('gadt21', namebase_if_compiler_lt('ghc','6.9', 'gadt21-6.8'),
compile_fail, [''])
test('gadt22', normal, compile, [''])
test('gadt23', normal, run_command, ['$MAKE -s --no-print-directory gadt23'])
......
gadt21.hs:21:59:
Could not deduce (Ord a2) from the context ()
arising from a use of `f' at gadt21.hs:21:59-61
Possible fix:
add (Ord a2) to the context of the constructor `TypeSet'
In the first argument of `Just', namely `(f e)'
In the expression: Just (f e)
In the definition of `withOrdDynExpr':
withOrdDynExpr (DynExpr (e@(Const (TypeSet _) _))) f = Just (f e)
......@@ -50,9 +50,9 @@ test('Kind', normal, compile, [''])
test('GADT1', expect_fail, compile, [''])
test('GADT2', normal, compile, [''])
test('GADT3', expect_fail, compile, [''])
test('GADT4', normal, compile, [''])
test('GADT5', normal, compile, [''])
test('GADT6', normal, compile, [''])
test('GADT4', expect_fail_if_compiler_lt('ghc','6.9'), compile, [''])
test('GADT5', expect_fail_if_compiler_lt('ghc','6.9'), compile, [''])
test('GADT6', expect_fail_if_compiler_lt('ghc','6.9'), compile, [''])
test('GADT7', expect_fail, compile, [''])
test('GADT8', normal, compile, [''])
test('GADT9', normal, compile, [''])
......@@ -81,7 +81,7 @@ test('ColInference5', normal, compile, [''])
test('ColInference6', normal, compile, [''])
test('ClassEqContext', normal, compile, [''])
test('ClassEqContext2', normal, compile, [''])
test('ClassEqContext2', expect_fail_if_compiler_lt('ghc','6.9'), compile, [''])
test('ClassEqContext3', normal, compile, [''])
test('Col', normal, compile, [''])
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment