Opened 9 years ago

Closed 7 years ago

#157 closed enhancement (wontfix)

Do a more fine-grained dangerous variables check

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Source Type Inferencer Version: 0.1.2
Keywords: Cc:

Description

At the moment, if we have a data type like

data Thing r1 (C r2 (Int r3)) (Int r4)
 ...

If r1 is mutable then all of r2, r3, r4 are marked as dangerous. However, If these variables are non-material in the type, then we don't actually have to mark them as dangerous.

NB: If we do this we'll also want to test for and reject nested data types, as the current algorithm for determining which variables are dangerous doesn't support them.

Change History (3)

comment:1 Changed 9 years ago by benl

  • Priority changed from blocker to normal

comment:2 Changed 7 years ago by benl

  • Milestone 0.1.5 deleted

Milestone 0.1.5 deleted

comment:3 Changed 7 years ago by benl

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

Dangerous variables are being removed

Note: See TracTickets for help on using tickets.