Ticket #69 (closed defect: fixed)

Opened 6 years ago

Last modified 5 years ago

Better error message when region and closure vars appear in terms

Reported by: benl Owned by: benl
Priority: blocker Milestone: 0.1.3
Component: Source Parser Version: 0.1.2
Keywords: Cc:

Description

Added by Jared:

The following function fails to compile.

example :: String -> String -> String
example a b = a%b

The error message is

ddc: PANIC in Source.Parser.Util
        vNameN: conflicting namespace for variable %b
           name space was     NameRegion
           tried to set it to NameField
           info               [ISourcePos (SourcePos ("./Test.ds",2,15))]

A similar panic occurs if % is replaced with $ and the type is changed accordingly.

The program has a type/kind error. Can't use region vars in the term, but we should give a nicer error message.

Change History

Changed 6 years ago by benl

  • version set to 0.1.2

Changed 5 years ago by benl

  • owner set to benl
  • status changed from new to assigned

Changed 5 years ago by benl

  • status changed from assigned to closed
  • resolution set to fixed
Note: See TracTickets for help on using tickets.