Commit c75776c1 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-02-04 09:49:00 by simonpj]

Add implicit-param rank-2 test
parent 471c4169
{-# OPTIONS -fglasgow-exts #-}
-- Rank-2 types with implicit parameters.
-- GHC 5.02 erroneously rejected this
module ShouldCompile where
f :: ((?param :: a) => b) -> a -> b
f foo a = foo with ?param=a
g :: (?param :: a) => a
g = ?param
h :: a -> a
h = f g
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