Commit fd4e4ab3 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #8129

parent 9d0ae764
......@@ -9,3 +9,10 @@ T7354a:
T8227:
'$(TEST_HC)' $(TEST_HC_OPTS) -c T8227a.hs
-'$(TEST_HC)' $(TEST_HC_OPTS) -c T8227.hs
# T8129 is trying to ensure that we don't get an
# an asertion failure with -ddump-tc-trace
T8129:
-'$(TEST_HC)' $(TEST_HC_OPTS) -c -ddump-tc-trace T8129.hs 2> T8129.trace
grep deduce T8129.trace
{-# LANGUAGE MultiParamTypeClasses, TypeFamilies #-}
module T8129 where
type family F (x :: *) :: *
class (y ~ F x) => C x y
z = () :: C x y => ()
......@@ -111,3 +111,8 @@ test('T8227',
extra_clean(['T8227a.o', 'T8227a.hi']),
run_command,
['$MAKE -s --no-print-directory T8227'])
test('T8129',
normal,
run_command,
['$MAKE -s --no-print-directory T8129'])
Markdown is supported
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