Opened 14 years ago

Closed 14 years ago

Last modified 46 years ago

#539 closed bug (Fixed)

Imp. Params not subject to defaulting

Reported by: lewie Owned by: nobody
Priority: normal Milestone:
Component: Compiler (Type checker) Version: 5.0
Keywords: Cc:
Operating System: Architecture:
Type of failure: Test Case:
Blocked By: Blocking:
Related Tickets: Differential Revisions:

Description

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 ())'

Change History (1)

comment:1 Changed 14 years ago by simonpj

  • Status changed from assigned to closed
Logged In: YES 
user_id=50165

The tcSimplifyIPs fix made this one work too
Note: See TracTickets for help on using tickets.