Opened 10 years ago

Closed 7 years ago

#4 closed enhancement (fixed)

Check for unsound erasure of type lambdas in core to sea translation

Reported by: benl Owned by:
Priority: normal Milestone: 0.3.0
Component: Core to Sea Translation Version:
Keywords: Cc:


Erasing type lambdas from mutable objects is unsound due to the problem with polymorphic update.

The Source type inferencer does a dangerous variables check to avoid introducing said type lambdas, but we should check that we don't erase them as well. (a double check).

Change History (5)

comment:1 Changed 10 years ago by benl

  • Version set to 0.1.2

comment:2 Changed 10 years ago by benl

  • Milestone _|_ deleted

comment:3 Changed 10 years ago by benl

  • Version 0.1.2 deleted

comment:4 Changed 8 years ago by benl

  • Priority changed from minor to normal

comment:5 Changed 7 years ago by benl

  • Milestone set to 0.3.0
  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.