diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/T4120.hs')
-rw-r--r-- | testsuite/tests/indexed-types/should_compile/T4120.hs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T4120.hs b/testsuite/tests/indexed-types/should_compile/T4120.hs index 3b1475916d..ffa729aa8a 100644 --- a/testsuite/tests/indexed-types/should_compile/T4120.hs +++ b/testsuite/tests/indexed-types/should_compile/T4120.hs @@ -17,10 +17,8 @@ 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 +-- 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" - - +create1 _ = error "urk" |