Commit 50040520 authored by rl@cse.unsw.edu.au's avatar rl@cse.unsw.edu.au
Browse files

Yet another failing TypeFamilies test

This is actually a regression introduced by one of the recent patches. It used
to work!
parent 1803c98f
{-# LANGUAGE TypeFamilies #-}
module Simple15 where
(<$) :: p -> (p -> q) -> q
x <$ f = f x
type family Def p
def :: Def p -> p
def = undefined
data EQU a b = EQU
equ_refl :: EQU a a
equ_refl = EQU
data FOO = FOO
type instance Def FOO = EQU () ()
foo :: FOO
foo = equ_refl <$ def
-- This works:
-- foo = def $ equ_refl
......@@ -15,6 +15,7 @@ test('Simple11', expect_fail, compile, [''])
test('Simple12', normal, compile, [''])
test('Simple13', normal, compile, [''])
test('Simple14', expect_fail, compile, [''])
test('Simple15', expect_fail, compile, [''])
test('ind1', normal, compile, [''])
test('ind2', normal, multimod_compile, ['ind2', '-v0'])
......
Supports Markdown
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