ocsigen/eliom — pull request #105 by hhugo (2014-06-08 07:42:17+00:00)
Title: fix GADT

fix the two issues described here https://github.com/ocsigen/eliom/issues/48