Thanks Edgar and Jérémie, this indeed seems to be the right track. I just
hope that a repeated use of input_char is not 10-100X slower than
input_line :o).
ph.
2012/3/16 Edgar Friendly thelema...@gmail.com
So given a large file and a line number, you want to:
1) extract that line from the file
Yes indeed!
2012/3/16 FrancoisCharles MatthieuBerenger beren...@riken.jp
hi philippe,
i am curious, is your string a dna sequenceso that s why it is so long?
regards,f
On Fri, 16 Mar 2012 10:14:41 -0400
Edgar Friendly thelema...@gmail.com wrote:
On 03/16/2012 09:03 AM,
On 03/19/2012 05:08 AM, Philippe Veber wrote:
Thanks Edgar and Jérémie, this indeed seems to be the right track. I
just hope that a repeated use of input_char is not 10-100X slower than
input_line :o).
ph.
Quite true - instead of giving the matcher just a single byte at a time,
it is more
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 type level to get more expressivity. This is a well-known and
extremely powerful trend
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 Mon, Mar 19, 2012 at 9:13 AM, Jesper Louis Andersen
If you want to play with dependent types, there are two ways which
seem popular at the moment: Agda or Coq.
and some not popular ones...
http://www.ats-lang.org/
http://sandycat.info/blog/deptypes-shen/
et. al.
--
Caml-list mailing
On Wed, Mar 14, 2012 at 02:14:12PM -0400, Hongbo Zhang wrote:
On 3/14/12 2:09 PM, Richard W.M. Jones wrote:
On Tue, Mar 13, 2012 at 05:52:37PM -0400, bob zhang wrote:
Hi list,
I noticed that Godi can pretty print cmi files, is there already
libraries parsing cmi files?
cmigrep may be
[Apologize for multiple postings.]
The 6th International Symposium on Intelligent Distributed Computing
IDC 2012
http://idc2012.deis.unical.it
September 24-26, 2012
Calabria, Italy
Le Mon, 19 Mar 2012 15:40:40 -0300,
Andre Nathan an...@digirati.com.br a écrit :
$ ./ospec.byte
Fatal error: exception Symtable.Error(Printexc)
Can anyone give me a hand here?
It is because ospec has not be linked with the Printexc module. Since
you define a