Ticket #43 (closed refactor: fixed)

Opened 4 years ago

Last modified 3 years ago

Core.Reconstruct isn't using the PCtor defs.

Reported by: benl Owned by:
Priority: blocker Milestone: 0.1.3
Component: Source to Core Translation Version:
Keywords: Cc:

Description

Types for data constructors are being added to vars by Desugar.toCore, and the contexts are in a different order wrt the PCtor ones, which looks broken.

Change History

Changed 3 years ago by benl

  • status changed from new to closed
  • resolution set to fixed

Eliminated PCtor during refactoring. Ticket no longer relevant.

Note: See TracTickets for help on using tickets.