Opened 7 years ago

Closed 6 years ago

Last modified 5 years ago

#275 closed defect (invalid)

Transforms like 'Snip' don't propagate annots in a sensible way

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Unknown Version: 0.2.1
Keywords: Cc:

Description

If we apply 'Snip' to an expression annotate with its types, then the resulting annotations don't make sense. The snipper itself doesn't know what the annotations mean, so should probably require and produce expressions with unit annotations.

Change History (2)

comment:1 Changed 6 years ago by benl

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

comment:2 Changed 5 years ago by benl

  • Milestone 0.4.0 deleted

Milestone 0.4.0 deleted

Note: See TracTickets for help on using tickets.