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

Test Trac #8500

parent 72102f10
......@@ -36,3 +36,8 @@ T8011:
$(RM) T8011a.o T8011a.hi T8011.o T8011.hi
'$(TEST_HC)' $(TEST_HC_OPTS) -c T8011a.hs
'$(TEST_HC)' $(TEST_HC_OPTS) -c T8011.hs
T8500:
$(RM) T8500a.o T8500a.hi T8500.o T8500.hi
'$(TEST_HC)' $(TEST_HC_OPTS) -c T8500a.hs
'$(TEST_HC)' $(TEST_HC_OPTS) -c T8500.hs
{-# LANGUAGE TypeFamilies #-}
module T8500 where
import T8500a
instance C Int where
type F Int = Double
instance C Bool
{-# LANGUAGE TypeFamilies #-}
module T8500a where
class C a where
type F a
type F a = [a]
......@@ -226,6 +226,12 @@ test('T8011',
run_command,
['$MAKE -s --no-print-directory T8011'])
# Marshalling of assocatiated types
test('T8500',
normal,
run_command,
['$MAKE -s --no-print-directory T8500'])
test('T8018', normal, compile, [''])
test('T8020', normal, compile, [''])
test('ClosedFam1', extra_clean(['ClosedFam1.o-boot', 'ClosedFam1.hi-boot']),
......
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