Skip to content

Use projections instead of matching in uncurried stdlib

E. Rivas requested to merge er433/fix/uncurried_stdlib_annot into dev

type:fixed

Checklist:

  • Changes follow the existing coding style (use dune @fmt to check).
  • Tests for the changes have been added (for bug fixes / feature).
  • Documentation has been updated.
  • Changelog description has been added (if appropriate).
  • Examples in changed behaviour have been added (for breaking change / feature).

Motivation and Context

There's a bug reported by Rémi in here

Description

This MR updates the stdlib so that projections are used instead of matching. This is needed because of inlining in particular constructions which need a literal in certain positions.

Changelog description

Changelog details:

Edited by E. Rivas

Merge request reports