Commit 01a7e862 authored by simonpj's avatar simonpj
Browse files

[project @ 2001-08-21 16:23:29 by simonpj]

Add tc133
parent 386ead57
......@@ -136,3 +136,4 @@ test "tc129" { myvtc("") }
test "tc130" { myvtc("") }
test "tc131" { myvtc("") }
test "tc132" { myvtc("-package lang") }
test "tc133" { myvtc("") }
{-# OPTIONS -fglasgow-exts #-}
-- !!! Existentials
-- This one killed GHC 5.00.1:
-- Inferred type is less polymorphic than expected
-- Quantified type variable `a' is unified with another quantified type variable `a'
-- When checking a pattern that binds f :: a -> Int
-- In the definition of `f': f (T (x :: a) f) = T (undefined :: a) f
module Test where
data T = forall a. T a (a->Int)
f :: T -> T
f (T (x::a) f) = T (undefined::a) f
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