40 Commits

Author SHA1 Message Date
Antonio Nuno Monteiro
1013ec710a ci: update actions (#2918) 2026-03-07 19:20:38 -08:00
Antonio Nuno Monteiro
513a745105 ci: run tests on OCaml 5.5 (#2917)
* ci: run tests on OCaml 5.5

* ppxlib

* utop

* Revert "utop"

This reverts commit 632cf867a5.

* utop
2026-03-07 18:59:27 -08:00
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
David Sancho
468a3c4c4e Run 4.08 in CI (#2910) 2026-01-21 14:35:38 +01:00
David Sancho Moreno
352179d188 ci: fix setup key on release 2026-01-21 02:42:43 +00:00
David Sancho Moreno
43e3eeac37 tags on push should run the CI 2026-01-20 20:17:49 +00:00
David Sancho Moreno
99b169f39d Run dune-release-action in ci 2026-01-20 18:51:43 +00:00
Antonio Nuno Monteiro
1a68eb492a build: allow cmdliner 2.0 (#2903) 2025-12-14 02:00:16 -08:00
Antonio Nuno Monteiro
9dfd3d3b03 ci: fix retired macos-13 image (#2905) 2025-12-13 21:34:04 -08:00
Antonio Nuno Monteiro
729c94d5a5 OCaml 5.4: use the released version in CI (#2873)
* OCaml 5.4: use the released version in CI

* no cmdliner 2.0
2025-10-18 14:17:59 -07:00
Antonio Nuno Monteiro
76c615aad1 ci: build on 5.4.0-beta2 (#2870) 2025-09-14 22:43:37 -07:00
Antonio Nuno Monteiro
16da19f46c ci: use released utop on OCaml 5.4 (#2865)
* ci: use released utop on OCaml 5.4

* depend on ppxlib properly
2025-08-03 13:25:17 -07:00
Antonio Nuno Monteiro
3ae631125e chore: update 5.4 dependencies (#2847)
* chore: update 5.4 dependencies

* more flakes

* try not pinning ppxlib
2025-06-29 11:42:55 -07:00
Antonio Nuno Monteiro
897528b985 Support OCaml 5.4 (#2844)
* Support OCaml 5.4

* update ci to build on 5.4

* test 5.4

* wip

* wip

* wip

* wip

* update utop

* utop pin-depends

* fix opam template

* wip

* 5.4

* wip

* wip

* wip

* ppxlib

* wip

* pin?
2025-06-19 00:13:34 -07:00
Antonio Nuno Monteiro
3f45968e3e gh actions: test 5.3 release in CI (#2845) 2025-06-14 19:41:57 -07:00
Antonio Nuno Monteiro
60909ff347 require OCaml 4.08 (#2840)
* require OCaml 4.08

* ppxlib: upper bound
2025-03-09 00:46:19 -08:00
Antonio Nuno Monteiro
71797e1529 ci: build 4.13.x (#2831)
* ci: build 4.13.x

* polyfill on 4.13 too
2025-02-09 19:59:07 -08:00
Antonio Nuno Monteiro
42ce0bc7e6 chore: update esy lock (#2825)
* chore: update esy lock

* esy version

* fix version
2025-02-01 21:59:24 -08:00
Antonio Nuno Monteiro
bbc51195f3 use ocaml 5.3 beta 2 (#2816) 2024-11-28 21:09:51 -08:00
Antonio Nuno Monteiro
a83a096de4 OCaml 5.3 updates, fmt (#2812) 2024-11-24 14:48:47 -08:00
Antonio Nuno Monteiro
048d21275d ci: run fewer macOS runs (#2810)
* ci: run fewer macOS runs

* fix branch name for the nix pipeline
2024-11-03 18:23:03 -08:00
Antonio Nuno Monteiro
4b5f460710 OCaml 5.3 support (#2800) 2024-11-02 20:32:32 -07:00
Antonio Nuno Monteiro
ffe5118de3 nix workflow: trim macOS runs (#2807)
* nix workflow: trim macOS runs

* rm 5.0
2024-11-02 19:42:42 -07:00
Antonio Nuno Monteiro
9ec35aa87c chore: bump CI actions versions (#2806)
* chore: bump CI actions versions

* so setup-ocaml@v3 breaks building on older ocaml versions

* fix variable name
2024-10-20 16:14:51 -07:00
Antonio Nuno Monteiro
0fdad2b86f add ocaml version to nix pipeline name (#2768) 2024-07-21 15:54:05 -07:00
Antonio Nuno Monteiro
fb0b60c54d fix: disable menhir deprecations (#2758)
* fix: disable menhir deprecations

* wip
2024-07-19 20:52:22 -07:00
Antonio Nuno Monteiro
dd64ae2e9d ci: enable tests on OCaml 5.2 (#2754) 2024-07-07 22:50:26 -07:00
Antonio Nuno Monteiro
58288788ed ci: add a Nix CI pipeline (#2751)
* add nix ci

* add pipeline

* start at 4.14

* dont repro that
2024-07-07 19:35:35 -07:00
Antonio Nuno Monteiro
73dcfe8203 fix(ci): pin the correct ocaml version for Esy (#2712)
* fix(ci): pin the correct ocaml version for Esy

* Update esy-ci.yml

* rm ocaml-lsp for <4.14 testing

* try i.bak

* remove 4.06 from esy CI, it's tested elsewhere

* stop building on 4.12 too i guess

* lol

* guess we're not running esy on more versions
2024-06-29 19:53:50 -07:00
Antonio Nuno Monteiro
62ebd5c230 chore: update esy to released version (#2744) 2024-06-29 18:28:52 -07:00
Antonio Nuno Monteiro
008abbabb6 try to fix esy ci (#2740)
* try fixing esy ci by installing nightly

* clean up package.json

* nightly
2024-06-22 23:17:43 -07:00
Antonio Nuno Monteiro
d8a868c633 fix: macOS CI (#2739)
* fix: macOS CI

* lock esy?

* wip

* macos-13 for esy
2024-06-22 21:54:26 -07:00
David Sancho
0ce98e0cb1 Migrate tests to cram suite (#2694)
* test(refmt) Add basic type-check tests to cram

* test(refmt) Make ocamlc a valid windows script

* test(refmt) Hide refmt_impl.exe under run-refmt.sh

* test(refmt) Remove run-refmt

* test(refmt) Fix path for run-ocamlc

* test(refmt) Remove ocamlc check

* refactor(refmt) Make run-ocamlc available to run everywhere

* refactor(refmt) Remove failing dir

* fix(refmt_test) cd work in windows

* test(refmt) Check ocamlc instalation working

* test(refmt) Remove ocamlc check

* test(refmt) Remove set in run-ocamlc

* test(refmt) Enable debug to see Windows command

* test(refmt) Remove binary from refmt

* test(refmt) Revert binary from refmt

* test(refmt) Move to direct path

* test(refmt) Try ./ and ocamlopt

* test(refmt) export readlink

* test(refmt) Assign variable based on the path

* test(refmt) Try with bash

* test(refmt) Add readlink to REFMT

* test(refmt) Add batch and sh script for refmt

* test(refmt) Setup refmt_impl as binary

* test(refmt) Remove batch and sh wrappers

* test(refmt) Remove --print-width and set REFMT_PRINT_WIDTH as env var

* test(refmt) Trying single quote, wat

* test(refmt) buildInSource and run refmt in cram

* test(refmt) Revert buildInSource and run esy x

* test(refmt) Remove refmt_impl for print w and debug PATH

* test(refmt) Add -p reason

* test(refmt) Update dune

* test(refmt) Remove logging on PATH

* Add idempotency test in basics

* Add error test

* Add testOprint case

* Moved and renamed testOprint into refmt_test/ folder

* Remove OCaml-versioned based cram tests

* Add backportSyntax

* Add rtopIntegration

* Move back testOprint into src

* Trim rtop output

* Remove the begining of the error message for OCaml 4.03

* Try tests based on ocaml version

* Fix test 4.03

* Fix test for ocaml_version

* Ensure works with 4.03

* Move test to 4.07

* Build all packages needed for tests in release mode

* Don't build testOprint

* Move testOprint inside refmt_test and rename to typedtree_printer

* Ensure works with 4.08

* Remove test.re from version test

* Revert rename on reason-parser-test

* Revert debugging on test.sh

* Improve safety for rtop

* Migrate all error cases

* Migrate all oprint tests

* Migrate all typecheck tests

* Clean up tests

* Enable 4.03 in CI

* Move newast to 4.06

* Fix 4.10 tests

* Move mlsyntax to 4.08

* Move type-trailing to 4.04

* Remove 4.03

* Fix 4.06 test

* Fix 4.08 tests

* Fix 4.10 tests

* Fix 4.12 tests

* Remove 4.04 since we have them on 4.06

* Update ocamlfind to 1.9.6

* Rollback ocamlfind to 1.9.5

* Disable tests on windows in 4.12

* Remove debugging

* Change path and condition

* Disable all tests in win

* Install right OCaml in esy ci

* Explain how to run different ocaml versions for testing

* Remove empty space from pattern matching
2023-03-20 20:10:30 +01:00
David Sancho
65ba873846 Make sure win doesnt break when importing (#2700) 2023-03-18 19:33:19 +01:00
David Sancho Moreno
2939f447a6 Install before importing deps 2023-03-17 13:43:22 +01:00
David Sancho Moreno
9cf446f002 Update package json and install esy normally 2023-03-17 13:29:27 +01:00
David Sancho Moreno
088576aa67 Re-arrange esy install 2023-03-17 13:09:00 +01:00
David Sancho Moreno
cebaf615d5 Reduce install esy time 2023-03-13 20:55:18 +01:00
David Sancho Moreno
aa28e41c1c Use master branch instead of main 2023-03-13 18:25:38 +01:00
David Sancho Moreno
bc8a41a4e1 Add esy-ci and opam-ci 2023-03-13 17:32:20 +01:00