Opened 11 years ago

Closed 7 years ago

#37 closed defect (wontfix)

Fix closure trimming of data types containing functions.

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


When trimming a closure term containing:

 x : Thing a0 a1 %r2

We don't know whether or not to keep %r2, without looking at the definition. Don't know if (Thing a0 a1 %r2) actually contains a region %r2

data Thing a a1 %r2
  = C1 (Int %r2 -> Int %r2)   -- nope
  | C2 (Int %r2)              -- yep

We should attach definitions to type constructors so we have this information at trimming time.

Change History (1)

comment:1 Changed 7 years ago by benl

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