Opened 9 years ago

Closed 9 years ago

Last modified 7 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: 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 9 years ago by simonpj

  • Resolution set to fixed
  • Status changed from new to closed

Fixed! Simon

comment:2 Changed 8 years ago by igloo

  • Milestone changed from 6.8 branch to 6.8.1

comment:3 Changed 7 years ago by simonmar

  • Architecture changed from Unknown to Unknown/Multiple

comment:4 Changed 7 years ago by simonmar

  • Operating System changed from Unknown to Unknown/Multiple
Note: See TracTickets for help on using tickets.