Commit 5363f263 authored by parcs's avatar parcs Committed by Simon Peyton Jones
Browse files

Test Trac #7827

parent 45e9b6a2
{-# LANGUAGE ScopedTypeVariables #-}
module T7827 where
bug :: a -> ()
bug ((_ :: a) :: a) = ()
......@@ -398,3 +398,4 @@ test('UnboxStrictPrimitiveFields', normal, compile, [''])
test('T7541', normal, compile, [''])
test('T7562', normal, compile, [''])
test('T7641', normal, compile, [''])
test('T7827', normal, compile, [''])
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