blob: c5f675000de9bb949b528d71caa4d748a3a2d325 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE ScopedTypeVariables #-}
-- Scoped type variables on pattern bindings
-- This should *fail* on GHC 5.02 and lower,
-- It's a post-5.02 enhancements to allow them.
-- It's an error again in GHC 6.6!
module ShouldCompile where
f x = let (p::a,q::a) = x in (q::a,p)
g a b = let y::a = a in
let v :: a
v = b
in v
|