Commit 5e0b456b authored by simonpj's avatar simonpj
Browse files

[project @ 2002-11-07 11:45:05 by simonpj]

Add an implicit-parameter test
parent 6e0f9d61
......@@ -161,3 +161,4 @@ test('tc160', normal, compile, [''])
test('tc161', normal, compile, [''])
test('tc162', normal, compile, [''])
test('tc163', normal, compile, [''])
test('tc164', normal, compile, [''])
{-# OPTIONS -fglasgow-exts #-}
module ShouldCompile where
data UniqueSupply = US Integer
newUnique :: (?uniqueSupply :: UniqueSupply) => Integer
newUnique = r
where US r = ?uniqueSupply
-- The lazy pattern match in the where clause killed GHC 5.04
-- because the type {?uniqueSupply::UniqueSupply} of the RHS
-- of the 'where' didn't look like a UniqueSupply
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