Gabriel Radanne
Gabriel Radanne
I'm surprised by the `##.` issue. Are reason people aware of it ?
Iirc, the compiler expands the signature in the .cmi only because of the `with ...` constraints and `module type of`. If it was a path, only that would be stored....
OCaml should probably work a bit harder in this case. Bug report here: https://caml.inria.fr/mantis/view.php?id=7436
> Is Ocamlnet your network infrastructure? Given how antiquated it is, wouldn't it be a good idea to move to a new library? Sure. We'll clap our hands and it'll...
I can't really comment on the backtrace issue (I suspect Lwt shenanigans) but about the rest: Detecting the issue at compile time is indeed difficult, I have some long plan...
The fact that eliom annotations are only avaiable in eliom files and that normal ml files are not touched at is a pretty important property. Calling only half the ppx...
Why not start files that "could contain annotations" directly as .eliom files instead ? Applying the eliom language extension is not "a trivial thing". The code transformation is involved, it...
> The trivial thing is to treat a file as if it is an eliom file regardless of what it's actual extension is. Indeed, the new implementation does provide this.
I just realized this is not really backward compatible, which is mildly annoying to say the least. I'm wondering if anyone is affected except odoc.
Apparently, some svg attributes have ':' in the name. so that would become a '_' in this scheme.