Etienne Millon
Etienne Millon
- Test setup - Do not use In_channel - Only print warning code - Only print warning number - fix - WIP: detect expunged toplevel
This adds a `-test` flag that uses a mode similar to mdx. The goal of this feature is to test utop itself.
A common support request for utop is that when using parts `compiler-libs`, the following error happens: ``` utop # #require "compiler-libs.common";; utop # Location.report_warning;; Line 1: Error: Reference to undefined...
As discussed in #588, this uses the proper dune feature instead of OCaml syntax. It can be merged once requiring dune >= 3.9.0 is acceptable.
Going further than #19, we can add a way to run the extraction process. This can use coq rules, but will probably be too slow to be done at build...
Hi, In mirage/fiat#24 we added a `check-vendors` target to check that the vendored code corresponds to what's in the upstream repository. Let's add a similar one here.
> or, phrased differently -- maybe there should be an optional boolean argument `?pad`, and depending on this the returned `Cstruct.t` should include leading 0 bytes or not. _Originally posted...
The dynamic one uses a dynamic loader under a nix path so we can't really use it.