[project @ 2005-05-02 12:00:34 by simonpj]

Add newtype stupid-theta test

testsuite/tests/ghc-regress/typecheck/should_fail/all.T

@@ -122,3 +122,4 @@ test('tcfail133', only_compiler_types(['ghc']), compile_fail, [''])
 test('tcfail134', normal, compile_fail, [''])
 test('tcfail135', normal, compile_fail, [''])
 test('tcfail136', normal, compile_fail, [''])
+test('tcfail137', normal, compile_fail, [''])

testsuite/tests/ghc-regress/typecheck/should_fail/tcfail137.hs

+-- Test the stupid context on newtypes
+-- (GHC 6.4 dropped it on the floor by mistake)
+
+module ShouldFail where
+
+newtype Floating a => Test a = Test [a] 
+
+x = Test [False, True]

testsuite/tests/ghc-regress/typecheck/should_fail/tcfail137.stderr

+
+tcfail137.hs:8:4:
+    No instance for (Floating Bool)
+      arising from use of `Test' at tcfail137.hs:8:4-7
+    Probable fix: add an instance declaration for (Floating Bool)
+    In the definition of `x': x = Test [False, True]