Opened 11 years ago

Closed 10 years ago

Last modified 8 years ago

#69 closed defect (fixed)

Better error message when region and closure vars appear in terms

Reported by: benl Owned by: benl
Priority: blocker Milestone:
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 (4)

comment:1 Changed 11 years ago by benl

  • Version set to 0.1.2

comment:2 Changed 10 years ago by benl

  • Owner set to benl
  • Status changed from new to assigned

comment:3 Changed 10 years ago by benl

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

comment:4 Changed 8 years ago by benl

  • Milestone 0.1.3 deleted

Milestone 0.1.3 deleted

Note: See TracTickets for help on using tickets.