Commit 811690f9 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #4358

parent c54b384c
{-# LANGUAGE TypeFamilies, Rank2Types, FlexibleContexts #-}
module T4358 where
type family T a
t2 :: forall a. ((T a ~ a) => a) -> a
t2 = t
t :: forall a. ((T a ~ a) => a) -> a
t = undefined
...@@ -153,3 +153,4 @@ test('T3826', normal, compile, ['']) ...@@ -153,3 +153,4 @@ test('T3826', normal, compile, [''])
test('T4200', normal, compile, ['']) test('T4200', normal, compile, [''])
test('T3851', normal, compile, ['']) test('T3851', normal, compile, [''])
test('T4178', normal, compile, ['']) test('T4178', normal, compile, [''])
test('T4358', normal, compile, [''])
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