Do not allow Typeable on constraints (Trac #9858)
[ghc.git] / testsuite / tests / typecheck / should_fail / all.T
index 5d31bcd..ac91670 100644 (file)
@@ -356,3 +356,4 @@ test('T9605', normal, compile_fail, [''])
 test('T9999', normal, compile_fail, [''])
 test('T10194', normal, compile_fail, [''])
 test('T8030', normal, compile_fail, [''])
+test('T9858a', normal, compile_fail, [''])