Alexander Bandukwala

https://riffle.systems/essays/prelude/ Suggester: @7h3kk1d

Mark warnings as errors in release and warnings in dev

2

I just set it in all the dune files for now. I'm waiting on a response to https://discuss.ocaml.org/t/default-flags-for-the-project/3217/3 to see if there's a way to configure it in dune-project/dune-workspace or...

Trying out the https://github.com/hazelgrove/hazel/pull/1371 branch to see how amenable it is to testing. Ideally I'd change the implementation of statics to be less reliant on maps but for now it...

This is still just an idea. Not sure if it's a good one.

Code Coverage

1

 - [x] Add documentation - [x] Add `make coverage` to make file - [ ] Integrate with CI somehow. (Maybe https://about.codecov.io/)

Try integrating brr as a online repl

1

https://erratique.ch/software/brr Add software extension from ~/opam/hazel/share/brr/console/ after installing packages More instructions here https://erratique.ch/software/brr/doc/ocaml_console

We've had [portability issues](https://github.com/hazelgrove/hazel/pull/1341#discussion_r1710456152) in the build process because an architecture has made it's way into the package dependencies. We should add a separate GitHub action that ONLY runs on...

Description in this [thread](https://github.com/hazelgrove/hazel/pull/1341#discussion_r1697402849). Once our operating systems and package managers upgrade to Opam 2.2 and dune has support we should use the Opam [with-dev-setup](https://opam.ocaml.org/blog/opam-2-2-0/#New-Options) feature to mark dependencies as...

Check performance of the release build with student mode

1

[ #1111 Makefile#38](https://github.com/hazelgrove/hazel/pull/1111/files#diff-76ed074a9305c04054cdebb9e9aad2d818052b07091de1f20cad0bbac34ffb52R38) changed the student mode release build to use the dev profile for performance reasons. Since we have upgraded ocaml and libraries we should see if this is...