eliom icon indicating copy to clipboard operation
eliom copied to clipboard

Published 20 hours ago • verified publisher icon ocsigen

Incorrect type for OCaml services

Open vouillon opened this issue 9 years ago • 1 comments
trafficstars

In Eliom_services, either the parameter of type ocaml or the last parameter of type t should be non-variant. Otherwise, the type of Eliom_service.create_ocaml is wrong : the OCaml type gets generalized. (See #223.)

vouillon avatar Aug 22 '16 12:08 vouillon

Right. I thought I had fixed this. I pushed a fix to the service-split-att branch (cd0b7ab7c32796170aaf6bdc0d7912ab42ae00fd, #359).

vasilisp avatar Aug 22 '16 13:08 vasilisp