Ticket #21 (closed defect: invalid)

Opened 6 years ago

Last modified 5 years ago

Defaulting doesn't work (at least not for the Monomorphism Restriction)

Reported by: SamB Owned by:
Priority: normal Milestone:
Component: frontend Version:
Keywords: Cc:
Test Case: Defaulting

Description

The Defaulting test fails like this:

user error (
What:    failure
Why:     Signature too Weak: [] does not imply [Lhc.Show.Show t13,Lhc.Show.Show t3]
Where:   on line 5 in regress/tests/bugs/Defaulting.hs
in the explicitly typed Main.main = (Prelude.IO.print
    Main.x) Lhc.Monad.>>
    (Prelude.IO.print Main.y)
                {- on line 5 -}

Where t13 and t3 are the variables assigned to the types of x and y.

Change History

Changed 6 years ago by SamB

  • testcase set to Defaulting

Changed 5 years ago by Lemmih

  • status changed from new to closed
  • resolution set to invalid

Doesn't apply to the new code base.

Note: See TracTickets for help on using tickets.