T4120 passes now! Hooray
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 5 Dec 2011 04:52:06 +0000 (04:52 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 5 Dec 2011 04:52:06 +0000 (04:52 +0000)
testsuite/tests/indexed-types/should_compile/T4120.stderr
testsuite/tests/indexed-types/should_compile/all.T

index d957620..e69de29 100644 (file)
@@ -1,8 +0,0 @@
-
-T4120.hs:17:10:
-    Couldn't match expected type `forall s. MVector s a'
-                with actual type `forall s. Mutable Vector s a0'
-    Expected type: (forall s. MVector s a) -> Int
-      Actual type: (forall s. Mutable Vector s a0) -> Int
-    In the expression: create1
-    In an equation for `create': create = create1
index e7827be..9e37129 100644 (file)
@@ -146,7 +146,7 @@ test('IndTypesPerf',
      run_command,
      ['$MAKE -s --no-print-directory IndTypesPerf'])
 
-test('T4120', normal, compile_fail, [''])
+test('T4120', normal, compile, [''])
 test('T3787', reqlib('mtl'), compile, [''])
 test('T3826', normal, compile, [''])
 test('T4200', normal, compile, [''])