Commit 40cd71a9 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
parents 929155fa 65a5305e
{-# LANGUAGE TypeFamilies #-}
module T8020 where
type family F a b where
F (Maybe a) [a] = Int
F b c = Bool
data Proxy a = P
type family G
foo :: Proxy d -> F d d -> Bool
foo _ = not
bar :: Bool -> Bool
bar = foo (P :: Proxy G)
...@@ -226,4 +226,5 @@ test('T8011', ...@@ -226,4 +226,5 @@ test('T8011',
run_command, run_command,
['$MAKE -s --no-print-directory T8011']) ['$MAKE -s --no-print-directory T8011'])
test('T8018', normal, compile, ['']) test('T8018', normal, compile, [''])
\ No newline at end of file test('T8020', normal, compile, [''])
\ No newline at end of file
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