Opened 10 years ago

Closed 10 years ago

Last modified 8 years ago

#1332 closed bug (fixed)

overloaded strings cause core lint failure

Reported by: igloo Owned by:
Priority: normal Milestone: 6.8.1
Component: Compiler (Type checker) Version: 6.7
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case: tc224
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


The overloaded strings extension isn't getting past core lint in the HEAD, e.g. test tc224:

*** Core Lint Errors: in result of Desugar ***
<no location info>:
    In the expression: T.greet1 (GHC.Base.unpackCString# "hello")
    Argument value doesn't match argument type:
    Fun type: T.MyString -> T.MyString
    Arg type: [GHC.Base.Char]
    Arg: GHC.Base.unpackCString# "hello"
*** Offending Program ***

Change History (4)

comment:1 Changed 10 years ago by simonpj

Resolution: fixed
Status: newclosed

Fixed! Simon

comment:2 Changed 9 years ago by igloo

Milestone: 6.8 branch6.8.1

comment:3 Changed 8 years ago by simonmar

Architecture: UnknownUnknown/Multiple

comment:4 Changed 8 years ago by simonmar

Operating System: UnknownUnknown/Multiple
Note: See TracTickets for help on using tickets.