Commit 38c78d8b authored by simonpj's avatar simonpj
Browse files

[project @ 2001-08-22 15:31:55 by simonpj]

Add tc134
parent 2051a4cd
......@@ -137,3 +137,4 @@ test "tc130" { myvtc("") }
test "tc131" { myvtc("") }
test "tc132" { myvtc("-package lang") }
test "tc133" { myvtc("") }
test "tc134" { myvtc("") }
{-# OPTIONS -fglasgow-exts #-}
-- !!! Scoped type variables: result sig
module Test where
f :: Int -> Int
f x :: Int = x
g :: Int -> Int
g x :: a = x :: a -- Here, a is a name for Int
Supports Markdown
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