[ ghc-Bugs-419151 ] Imp. Params not subject to defaulting

[noreply@sourceforge.net]

Bugs item #419151, was updated on 2001-04-26 08:05
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=108032&aid=419151&group_id=8032

Category: Compiler (Type checker)
Group: 5.00
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Jeffrey R. Lewis (lewie)
Assigned to: Nobody/Anonymous (nobody)
Summary: Imp. Params not subject to defaulting

Initial Comment:
main = putStr $ show $ foo () with ?x = 13

foo () = ?x

Yields:

    Ambiguous type variable(s) `a' in the constraint
`Show a'
    arising from use of `show' at t2.hs:3
    In the first argument of `($)', namely `show'
    In the second argument of `($)', namely `show $
(foo ())'

----------------------------------------------------------------------

>Comment By: Simon Peyton Jones (simonpj)
Date: 2001-05-03 01:52

Message:
Logged In: YES 
user_id=50165

The tcSimplifyIPs fix made this one work too

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=108032&aid=419151&group_id=8032