Opened 11 years ago

Closed 7 years ago

Last modified 7 years ago

#40 closed defect (wontfix)

Check for overlapping projection dictionaries during type inference

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Source Type Inferencer 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 (9)

comment:1 Changed 11 years ago by benl

  • Milestone changed from 0.1.4 to 0.1.3

comment:2 Changed 10 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.

comment:3 Changed 10 years ago by benl

  • Milestone changed from 0.1.3 to 0.1.4

comment:4 Changed 9 years ago by benl

  • Priority changed from blocker to normal

comment:5 Changed 8 years ago by benl

  • Milestone 0.1.4 deleted

Milestone 0.1.4 deleted

comment:6 Changed 7 years ago by benl

  • Component changed from Source Parser to Source Type Inferencer
  • Milestone set to 0.3.0

comment:7 Changed 7 years ago by benl

  • Milestone changed from 0.3.0 to none

comment:8 Changed 7 years ago by benl

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

comment:9 Changed 7 years ago by benl

  • Milestone none deleted
Note: See TracTickets for help on using tickets.