Opened 16 years ago

Closed 16 years ago

Last modified 48 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: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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

foo () = ?x


    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 16 years ago by simonpj

Status: assignedclosed
Logged In: YES 

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