François Pottier
François Pottier
Hello all Maybe only partly related, but I wanted to report frustration with the new SMIE-based tuareg. The problem has to do with indenting anonymous functions. This is what I...
On Sat, Jul 04, 2015 at 11:18:43AM -0700, monnier wrote: > I haven't worked on this any further, no. As for François's request, I'm not exactly sure what should be...
Hi Stefan, > And IIUC, to take an even more general case, you'd like > > ``` > foo ab cd > ef gh > (fun x -> > do...
Thanks, I have run `shellcheck` and fixed the problems that it reported.
The problem still to be still present. Section 2.3 says: *After a number of build commands scroll by, the resulting binary has been placed in build/bin. Running ./build/bin/greeting results in...
It may be worth noting that the type `enumeration` already exists in the `Set` module, so the point of this PR is mainly to expose the existence of this type...
For easy reference, here is the proposed API: ``` module Enum : sig type set = t (** The type [set] is a synonym for the type of sets. @since...
Just a quick note to indicate that nothing has changed on our side: we are submitting a paper on this work, which is accepted by Rocq 8.19 but rejected by...
> I wonder if people want to suggest other names. I am personally fine with the `_segment` prefix. (I could see suggestions for a `Subarray` submodule that could over time...
For the record, here is my commented version of the code. I have added several assertions to check that my comments are correct. I was surprised and delighted to discover...