Skip to content

Finalise linear lets

Arnaud Spiwack requested to merge tweag/ghc:linear-lets-origin into master

This MR finalises the implementation of linear lets based on the latest discussions of the committee.

It affects (only):

  • Error messages generated by non-linear patterns
  • Missing documentation in the user manual.

@bgamari this should be part of GHC 9.10 .

Edited by Arnaud Spiwack

Merge request reports