On Mon, Mar 19, 2012 at 15:43, Gabriel Scherer
gabriel.sche...@gmail.com wrote:
I suspect you're seeing too much into the GADT as they're being added
in OCaml. Your examples are not basically about GADTs, but about
dependent types: you want to encode values (and operations on them) at
the
On Sat, Dec 10, 2011 at 15:45, Xavier Leroy xavier.le...@inria.fr wrote:
2- As pointed out already in this discussion, it's not on the Caml compiler
that community efforts are most needed. For example, the most impactful
action that his community could take, in my opinion, is to adopt and