Commit 1a3ba3e3 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-11-21 13:53:41 by simonpj]

add tc141
parent 9220f415
......@@ -142,3 +142,4 @@ test "tc135" { myvtc("") }
test "tc136" { myvtc("") }
test "tc137" { myvtc("") }
test "tc140" { myvtc("") }
test "tc141" { myvtc("") }
{-# OPTIONS -fglasgow-exts #-}
-- 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.
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
\ No newline at end of file
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