Commit 6b313cf1 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-09-20 08:42:55 by simonpj]

Add tc136
parent 7432f58a
......@@ -139,3 +139,4 @@ test "tc132" { myvtc("-package lang") }
test "tc133" { myvtc("") }
test "tc134" { myvtc("") }
test "tc135" { myvtc("") }
test "tc136" { myvtc("") }
{-# OPTIONS -fglasgow-exts #-}
-- !!! scoped type variables
-- this test failed in pre-release GHC 5.02
module ShouldCompile where
f (x::x) (y::x) = x
-- Two points: (a) we are using x as a term variable and as a type variable
-- (b) the type variable appears twice, but that is OK
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