Ticket #4 (new enhancement)

Opened 5 years ago

Last modified 5 years ago

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

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

Description

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

Changed 5 years ago by benl

  • version set to 0.1.2

Changed 5 years ago by benl

  • milestone _|_ deleted

Changed 5 years ago by benl

  • version 0.1.2 deleted
Note: See TracTickets for help on using tickets.