Version 3 (modified by diatchki, 5 years ago) (diff)


This list overviews the active branches in the main GHC repository.

late-dmd Late Demand Analysis

Nick Frisby. See #7782. It's stowed in a branch become of some nofib slowdowns I'm struggling to understand.

late-lam-lift Late Lambda Lift

Nick Frisby. We lift some lambdas before CorePrep. I'm still determining when to 'not' lift a lambda. My terse notes here.

dicts-strict Strict Dictionaries

Nick Frisby. Make most dictionary arguments strict. It's stowed in a branch until cardinality is merged. It should be easier to implement after cardinality's refactoring.

type-nats Solver for Type-Level Naturals

Iavor S. Diatchki. An experimental solver for discharging constraints involving natural numbers.