David Sancho cdba6be76a Value constraint pattern parens (#2913) ...

* type-constrained alias patterns must be parenthesized

* add more cases on value-constraint-alias

* Fix assertion failure when expression and binding both have type constraints

* Fix rtopIntegration test for Windows (#2914)

* test(rtop): capture stderr in integration test for Windows

* ci: setup tmate

* test(rtop): avoid running rtop in windows 4.14.*

* ci: enable 5.4.0 in windows

* ci: remove action-tmate

* ci: revert all changes, keep building

* ci: add -preasonrtop in esy-ci

* ci: update cache keys

* ci: fix Windows CI failures

- Disable rtopIntegration test on Windows due to lambda-term segfault
  when stdout is not a real console handle (ConPTY issue on GH Actions).
  See: https://github.com/ocaml-community/lambda-term/pull/125

- Add setup-mingw step in esy-ci for Windows to provide x86_64-w64-mingw32-gcc
  needed to compile lambda-term C stubs.

- Bump esy cache keys to v0.0.2 to avoid stale caches.

* ci: replace setup-mingw action with direct choco install

The egor-tensin/setup-mingw@v2 action fails on MinGW 15.2.0 because
its cleanup script tries to remove libpthread.dll.a which no longer
exists in UCRT-based builds. Use choco directly and add the bin
directory to PATH manually.

* ci: esy-ci doesn't run rtop tests on windows

* test: remove comment for rtopIntegration

2026-03-06 15:21:37 +01:00

..

workflows

Value constraint pattern parens (#2913)

2026-03-06 15:21:37 +01:00