Commit 86f07c03 authored by lewie's avatar lewie
Browse files

[project @ 2001-04-11 18:23:32 by lewie]

Another implicit param test.
parent dabf2285
{-# OPTIONS -fglasgow-exts #-}
-- Implicit Parameters
-- !!! Implicit Parameters
-- If the implicit param isn't recognized as a PredType, x and y
-- will be inferred to have two params instead of one.
......
{-# OPTIONS -fglasgow-exts #-}
-- !!! Implicit Parameters
-- GHC 5.00 doesn't handle this:
-- Could not deduce `?wibble :: t' from the context ()
-- Probable fix:
-- Add `?wibble :: t' to the banding(s) for {y}
-- Or add an instance declaration for `?wibble :: t'
-- arising from use of implicit parameter `?wibble' at tc122.hs:18
-- in the definition of function `y': wibble
module ShouldCompile where
x () = y
where y = ?wibble
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