Commit e2787de7 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #5792

parent afee0039
......@@ -24,3 +24,9 @@ tc245:
$(RM) -f tc245.hi tc245.o
'$(TEST_HC)' $(filter-out -fforce-recomp,$(TEST_HC_OPTS)) --make tc245
# Trac #5792 gave an error on the second compilation,
# presumably because of the .hi file
T5792:
$(RM) -f T5792.o T5792.hi
'$(TEST_HC)' -c T5792.hs
'$(TEST_HC)' -c T5792.hs -fforce-recomp
{-# LANGUAGE DataKinds, TypeFamilies, UndecidableInstances #-}
module T5792 where
data T = TT
type family Compare (m :: T) :: Ordering
type instance Compare TT = Compare TT
type Compare' a = Compare a
......@@ -371,3 +371,5 @@ test('T5595', normal, compile, [''])
test('T5676', normal, compile, [''])
test('T4310', normal, compile, [''])
test('T5792',normal,run_command,
['$MAKE -s --no-print-directory T5792'])
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