Commit 5c35fead authored by simonpj's avatar simonpj
Browse files

[project @ 2005-07-08 08:21:37 by simonpj]

Add a type-syn instance test
parent d57bb1a9
...@@ -123,3 +123,4 @@ test('tcfail135', normal, compile_fail, ['']) ...@@ -123,3 +123,4 @@ test('tcfail135', normal, compile_fail, [''])
test('tcfail136', normal, compile_fail, ['']) test('tcfail136', normal, compile_fail, [''])
test('tcfail137', normal, compile_fail, ['']) test('tcfail137', normal, compile_fail, [''])
test('tcfail138', normal, compile_fail, ['']) test('tcfail138', normal, compile_fail, [''])
test('tcfail139', normal, compile_fail, [''])
-- Should be rejected by Haskell 98
module Foo where
type Foo = Double
instance Bounded Foo
tcfail139.hs:6:0:
Illegal instance declaration for `Bounded Foo'
(The instance type must be of form (T a b c)
where T is not a synonym, and a,b,c are distinct type variables)
In the instance declaration for `Bounded Foo'
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