Commit fd252df6 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #8507

parent 0b468431
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE ConstraintKinds #-}
module T8507 where
type Stringy1 a = (Read a, Show a)
$([d|type Stringy2 a = (Read a, Show a) |])
......@@ -306,3 +306,4 @@ test('T7667a', normal, compile_fail, ['-v0'])
test('T8455', normal, compile, ['-v0'])
test('T8499', normal, compile, ['-v0'])
test('T7477', normal, compile, ['-v0'])
test('T8507', normal, compile, ['-v0'])
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