Vasilis Papavasileiou

Not exactly. Merlin does not understand the client/server structure of Eliom programs. I guess that a `.merlin` like the above can enable some of the functionality of Merlin, but with...

Your compilation instructions look OK, but they are not complete, so I can't tell if anything is missing. How have the `_client/twittex.cmo` and `_server/twitter.cmo` been produced? Are you using the...

Try with `let editor () = ...`.

Certain operations need to happen while serving a request. These are frequently implicit and not at all evident from the source code. We need to formalize and document what can...

Sounds very complicated. If we were to provide such a syntax, it would have to be very Eliom-specific to account for the Eliom typing of services and parameters. And then...

For example, consider a declaration like: `GET /users/:username controllers.Users.showUser(username: String)` What would we do, or what would we put in the list? From my point of view, we would need...

I didn't call it PPX because the input is not Ocaml code with extension points, but yes, that kind of thing :).

The submodules have very little code, and that code is only needed inside Eliom. They are only there to prettify the namespace, but apparently there are counter-arguments :). I would...

> Okay, so if I understand correctly, the Ocaml variant is used for marshalled OCaml values, which may include -- but not necessarily -- executable code, right? It is basically...

Now that I think of it, the only user-visible case in `Eliom_service` should be `non_ocaml`. So we can get rid of the `Ret.t` in `Eliom_service.create` (with an implicit `non_ocaml` type)...