Pierre-Yves Strub
Pierre-Yves Strub
Or we make `yaml` an optional dependency?
Ok, fine. I just want YAML in the CLI, whatever solution you prefer. Do you have in mind an opam package that does that? It is not crystal clear to...
Ok, I'll remove that commit. (And yes, I took the shortest path to something working :) )
`Sedlexing.Latin1.from_gen (Gen.of_string text)` seems to solve the issue.
The OCaml checker is going to come with a type-checker (it is more or less done). We need a way to provide types for functions coming from "imports".
Fine by me.
Hi. Against which version of capstone this binding should be compiled? The OCaml stub does not seem in sync with the Capstone API as found in the branch the OCaml...
The bindings build correctly with Capstone 5.0.1.
Hi, You tried to early. The parser / type-checker is not meant to be merged at this time. I'll make a PR when it's okay.
I would expect this to work: ``` From mathcomp Require Import all_ssreflect finmap. Parameter T : finType. Check [finType of {fset T}]. ```