Ticket #40 (new defect)

Opened 5 years ago

Last modified 4 years ago

Check for overlapping projection dictionaries during type inference

Reported by: benl Owned by:
Priority: normal Milestone: 0.1.4
Component: Source Parser Version: 0.1.2
Keywords: Cc:

Description

Projections should be associated with data constructors, not general types, otherwise we get overlapping name problems.

project Maybe a where
 ... 

project Maybe Int where
 ... 

This will also allow a better syntax for & projections, eg List&reverse.

Change History

Changed 5 years ago by benl

  • milestone changed from 0.1.4 to 0.1.3

Changed 5 years ago by benl

  • summary changed from Require projections to be associated with a single data constructor to Check for overlapping projection dictionaries during type inference

Would be better just to do the overlapping check during type inference. When resolving a projection, check what dictionaries are in scope, and give an error if they overlap.

Changed 5 years ago by benl

  • milestone changed from 0.1.3 to 0.1.4

Changed 4 years ago by benl

  • priority changed from blocker to normal
Note: See TracTickets for help on using tickets.