Dhruv Makwana

Typed holes `(??)` like Merlin with OCaml

1

It does work, but two issues:  1. `[Error] Unbound value ??` - maybe use a different message (e.g. `Warning/Error: Unimplemented hole`) 2. `refmt` incorrectly formats it like this ...

copy_to doesn't check bounds

1

Is this the intended behaviour? Usually there's some assert or runtime check before executing something like this: ```ocaml let x = Mat.uniform 5 5 let y = Mat.uniform 1 1...

Languages like OCaml and Standard ML have comment delimiters `(*` and `*)`, so this plugin ends up overriding the default comment colours for the comment parentheses and everything inside it...

Potential non-termination or bitvector performance

1

``` 18:36 ➜ z3 --version Z3 version 4.13.0 - 64 bit ``` [mwe.smt.txt](https://github.com/user-attachments/files/16732114/mwe.smt.txt) contents of mwe.smt.txt ```smt (set-option :print-success true) (set-option :produce-models true) (declare-datatype cn_tuple_0 ((cn_tuple_0))) (declare-datatype cn_tuple_2 (par (a0...

Looks similar to 022B6 and 022B7? Happy to try (no experience with font dev) if pointed in a the right direction

Hi, thanks for this convenient opam package. I was wondering/confused as to why the package for version 15 requires parts of Clang 14 dependencies? https://github.com/ocaml/opam-repository/blob/86cb2b7655a9e49f365e4037814df866fc115344/packages/conf-libclang/conf-libclang.15/opam#L22-L24 And this, I'm not used...