Commit 7041e9cc authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #7536

parent fee81ff3
{-# LANGUAGE TypeFamilies #-}
module T7536 where
type T v = Int
type family TF a :: *
type instance TF (T a) = a
T7536.hs:8:15:
Family instance purports to bind type variable `a'
but the real LHS (expanding synonyms) is: TF Int = ...
In the type instance declaration for `TF'
......@@ -93,7 +93,4 @@ test('T7354a',
extra_clean(['T7354b.o', 'T7354b.hi']),
run_command,
['$MAKE -s --no-print-directory T7354a'])
test('T7536', normal, compile_fail, [''])
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