Commit edf395e7 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Can't do type-function equalities under forall

parent 705152f2
......@@ -15,6 +15,10 @@ type instance Mutable Vector = MVector
create :: (forall s. MVector s a) -> Int
create = create1
-- Here we get Couldn't match expected type `forall s. MVector s a'
-- with actual type `forall s. Mutable Vector s a1'
-- Reason: when unifying under a for-all we don't solve type
-- equalities. Think more about this.
create1 :: (forall s. Mutable Vector s a) -> Int
create1 = error "urk"
......@@ -145,4 +145,4 @@ test('IndTypesPerf',
['$MAKE -s --no-print-directory IndTypesPerf'])
test('T4120', normal, compile, [''])
test('T4120', 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