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

Add flag to test

parent 42131874
{-# OPTIONS -fno-mono-pat-binds #-}
-- Disable experimetal monomorphic pattern bindings
-- Nasty test for type signatures
-- In both groups of declarations below, the type variables 'a' and 'b'
-- end up being unified together.
......@@ -12,7 +15,6 @@ module ShouldCompile where
y = z
z = x
p :: [a]
q :: b
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