[Caml-list] Dependent types ?

2011-09-27 Thread Damien Guichard
That's pretty cool, everyone and his mother has a solution to the proposed problem. I think, for the sake of exhaustivity, i can share my own weird hack. It can express all power of 2 sizes (for example add, mul and div). It uses a nested data type. type 'a size = | Word of 'a | DWord of

Re: [Caml-list] [community poll for PR#5312] Do some OCaml Windows users still use the @responsefile feature?

2012-03-05 Thread Damien Guichard
or not. I won't be affected. Thanks for the consideration, - Damien Guichard (SpiceGuid) Le 05/03/2012 à 11:46:08, Gabriel Scherer à écrit : >In the process of discussing bug #5312, the caml team would like to >know if people still have use of the @responsefile feature under >wind

[Caml-list][Ann] ERic release v0.2

2012-04-18 Thread Damien Guichard
Hello Caml-list, I'm please to announce release ERic version 0.2a, a small/simple (may be simplistic ?) graph-based knowledge database. The interface is command-line only. SVN: http://subversion.developpez.com/projets/ERic/trunk Author: Damien Guichard.