Type inconsistency with client code about eliom HOT 7 CLOSED

Oh no, it's not about .eliomi. It appears even without it. So it's even worst :(

from eliom.

Note also that the bug doesn't appears inside the same module. So the problem is probably at the level of the .type_mli

from eliom.

You are probably in the case described in page
http://ocsigen.org/eliom/dev/manual/clientserver-language
under section "Restrictions ..." (or something equivalent).

In that case it is not a bug, but an unimplemented feature.
The solution for this is not obvious.

Can you confirm?

While using .eliomi on Cumulus I noticed that there is a serious bug with
it. Because I'm lazy I created the interface file filling with polymorphic
types the parameter types I wasn't sure about. But to my great surprise,
the project compiled without giving much details about types. Then you can
pass whatever types you want as parameter.

See here if you want more details:
Cumulus/Cumulus@604278a
27a480b#diff-27a4074beace25a4144a64136ef2aa2aR1

---

Reply to this email directly or view it on GitHub:
#51

from eliom.

I am not sure all restrictions are described in this section.
I think thare are other cases where typechecking is not done.
Probably @chambart or @benozol have an more precise idea of where we do or do not type check.

from eliom.

I'm not sure to understand well the manual here but I can reproduce it in a very small test-case as follow:
In test.eliom:

{client{
   let test_c () = ()
}}

let test_s x =
  ignore {unit{
    test_c %x
  }}

In test.eliomi (not needed to reproduce the bug):

val test_s : 'a -> unit

from eliom.

To be clear, with the test-case you can do this in another module:

let () = test_s 1
let () = test_s ()
let () = test_s [1; 2; 3]

from eliom.

This sounds a bit familiar indeed… overly Pa_eliom_seed.suppress_underscore? Probably escaped variables with variables in their type should be disallowed completely? As we cannot distinguish between monomorphic and polymorphic variables when finding the type of the escaped value when generating the client code… IIRC!

from eliom.