Opened 13 years ago

Closed 13 years ago

Last modified 44 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: Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

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 13 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.