kaustuv changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html
Cromulent has joined #ocaml
sramsay has quit ["Leaving"]
jeddhaberstro has joined #ocaml
Cromulent has quit []
bohanlon has quit [Client Quit]
bohanlon has joined #ocaml
peddie has quit [Read error: 110 (Connection timed out)]
Makoryu has left #ocaml []
tarbo2_ has joined #ocaml
tarbo2 has quit [Read error: 110 (Connection timed out)]
mingw is now known as pwned
verte has joined #ocaml
caligula__ has quit [Read error: 104 (Connection reset by peer)]
caligula__ has joined #ocaml
Guest610 is now known as cygnus__
stevan has joined #ocaml
<stevan> hi, i run into a problem trying to build ocaml 3.11.1 at the build world state: File "pervasives.mli", line 1, characters 0-1: Error: I/O error: Input/output error i followed the stuff under "if something goes wrong" section in the install file, but it nothing seems to help. any clues? thanks.
<flx_> stevan, check that your disk isn't full?
<stevan> doesn't seem to be: 600G 231G 347G 40% /chalmers/sw, but it's a nfs system perhaps there is some temporary problem. i could try again later i guess.
<flx_> compile it on a local filesystem?
<flx_> such as tmp
Cromulent has joined #ocaml
<stevan> yes, that seems to have been the problem.
Pepe_ has quit [Read error: 113 (No route to host)]
<stevan> thanks flx_
Cromulent has quit []
peddie has joined #ocaml
stevan has left #ocaml []
Cromulent has joined #ocaml
jeddhaberstro has quit [Client Quit]
Cromulent has quit []
Cromulent has joined #ocaml
eevar2 has joined #ocaml
Cromulent has quit []
nanothief has joined #ocaml
<nanothief> I'm looking at learning ocaml. I know the languages haskell, ruby, scheme, emacs lisp, java, c++, others less well. Based on this, what would be a good place to start?
<tsuyoshi> nanothief: probably "developing applications with ocaml"
<nanothief> tsuyoshi, nice, thanks!
julm has quit ["file aux filles"]
rjack has joined #ocaml
rwmjones-afk is now known as rwmjones
verte has quit ["~~~ Crash in JIT!"]
munga_ has joined #ocaml
Cromulent has joined #ocaml
rjack has quit ["leaving"]
Cromulent has quit []
Narrenschiff has joined #ocaml
Cromulent has joined #ocaml
nanothief has quit [Read error: 110 (Connection timed out)]
Anarchos has joined #ocaml
<Anarchos> i am looking for an ocamlyacc grammar to parse C++ files
<kaustuv> Anarchos: I doubt there is one, but you can start with the mlyacc grammar for C in http://www.smlnj.org/doc/ckit/index.html
Cromulent has quit []
<kaustuv> Note that mlyacc is much more yacc-like than ocamlyacc
<Anarchos> kaustuv i will ook at it , thx
<Anarchos> kaustuv look sorry
<kaustuv> Hmm, how about: http://www.cs.ru.nl/~tews/olmar/
<kaustuv> Not strictly ocamlyacc, I guess, but it claims to generate OCaml output. I've never used it myself.
<flx_> wasn't there another one also around.. can't recall its name, thoguh
<flx_> it is quite unlikely to find a yacc-based grammar for c++ anyway
<kaustuv> Google tech talk on Elkhound. http://www.youtube.com/watch?v=7XRKDuPyCQo
<flx_> ah, I was thinking elkhound/elsa, which olmar uses :)
<maxote> there is hyacc that uses LR(1) instead of LALR(1)
caligula_ has joined #ocaml
<flx_> elsa is based on elkhound, which is a GLR parser. dypgen is another GLR parser generator (?) for ocaml.
hto has quit [Remote closed the connection]
hto has joined #ocaml
kinch123 has joined #ocaml
caligula__ has quit [Read error: 145 (Connection timed out)]
<flx_> I've preferred menhir over ocamlyacc. aurochs would be great if it have more feedback on errors.
fremo_ has joined #ocaml
fremo has quit [Read error: 104 (Connection reset by peer)]
<flx_> the examples with dypgen seem somehwat advanced
stan_ has joined #ocaml
stan_ has quit [Client Quit]
<flx_> ooh, dypgen allows early actions, like bison, and unlike ocamlyacc
Beelsebob has quit [Remote closed the connection]
Beelsebob has joined #ocaml
fremo has joined #ocaml
ertai_ has joined #ocaml
fremo is now known as Guest90254
kinch123 is now known as zcombinator
hto_ has joined #ocaml
haelix_ has joined #ocaml
Cromulent has joined #ocaml
nimred has quit [Read error: 104 (Connection reset by peer)]
Cromulent has quit [Client Quit]
nimred has joined #ocaml
ertai has quit [Read error: 104 (Connection reset by peer)]
haelix has quit [Read error: 104 (Connection reset by peer)]
hto has quit [Read error: 104 (Connection reset by peer)]
fremo_ has quit [Read error: 110 (Connection timed out)]
zcombinator has quit [Remote closed the connection]
Anarchos has quit ["Vision[0.9.7-H-090423]: i've been blurred!"]
Beelsebob is now known as Beelseboab
_andre has joined #ocaml
stan_ has joined #ocaml
bzzbzz has joined #ocaml
rwmjones is now known as rwmjones__
Beelseboab has quit ["Leaving."]
rwmjones has joined #ocaml
stan__ has joined #ocaml
stan_ has quit [Read error: 110 (Connection timed out)]
bombshelter13_ has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
Beelsebob has joined #ocaml
Alpounet has joined #ocaml
pwned_ has joined #ocaml
pwned has quit [Read error: 110 (Connection timed out)]
eevar2 has quit ["This computer has gone to sleep"]
matt_______ has joined #ocaml
jeddhaberstro has joined #ocaml
matt_______ has left #ocaml []
Alpounet has quit [Read error: 113 (No route to host)]
Narrenschiff has quit []
Associat0r has joined #ocaml
Associat0r has quit [Client Quit]
nanothief has joined #ocaml
mishok13 has quit ["Stopping IRC chat... [OK]"]
jeddhaberstro has quit []
jeddhaberstro has joined #ocaml
ulfdoz has joined #ocaml
lutter has quit [Read error: 110 (Connection timed out)]
lutter has joined #ocaml
maskd has joined #ocaml
hkBst has joined #ocaml
slash_ has joined #ocaml
sramsay has joined #ocaml
stan__ has quit [wolfe.freenode.net irc.freenode.net]
Asmadeus has quit [wolfe.freenode.net irc.freenode.net]
Hadaka has quit [wolfe.freenode.net irc.freenode.net]
patronus has quit [wolfe.freenode.net irc.freenode.net]
patronus has joined #ocaml
Asmadeus has joined #ocaml
stan_ has joined #ocaml
Hadaka has joined #ocaml
ffreak has joined #ocaml
ffreak has left #ocaml []
<nanothief> is there a function that converts any type to a String, like show in haskell?
<nanothief> brendan, ok thanks
julm has joined #ocaml
haelix_ is now known as haelix
munga_ has quit ["Ex-Chat"]
Gratz474 has joined #ocaml
<Gratz474> i was thinking about using ocaml a bit more but anyone here ever use haskell and what do you think of that?
<rwmjones> nanothief, there's a function in extlib called Std.dump which sorta does that (IIRC it's also in Batteries Included)
<rwmjones> but essentially because OCaml doesn't carry type information around at runtime, you are limited in what you can display
<nanothief> rwmjones, well I just need it for debugging. Anyway, how exactly do you import extlib? (I've only been learning ocaml for the last couple of hours)
<rwmjones> nanothief, what OS are you using?
<nanothief> archlinux
<rwmjones> hmm I have no idea about archlinux, but you want to install the extlib package however you do that
<nanothief> yep, found the package
<rwmjones> yeah, well install that, and then:
<rwmjones> ocamlc -I +extlib extLib.cma yourprog.ml -o yourprog
<rwmjones> in yourprog.ml you can just use Std.dump directly
<nanothief> is it possible to load through the ocaml repl?
<rwmjones> nanothief, yup, something like:
<rwmjones> #directory "+extlib" ;;
<rwmjones> #load "extLib.cma" ;;
<rwmjones> where the # chars are meant literally
<rwmjones> they're not the prompt ...
<rwmjones> $ rlwrap ocaml
<rwmjones> Objective Caml version 3.11.0
<rwmjones> # #directory "+extlib";;
<rwmjones> # #load "extLib.cma";;
<rwmjones> # Std.dump [1; 2; 3;] ;;
<rwmjones> - : string = "[1; 2; 3]"
<rwmjones> you'll find some interesting limitations of Std.dump (which, incidentally, I wrote)
<nanothief> rwmjones, got it working :)
<rwmjones> nanothief, if you want to go further on this, you might like to read my postings on ocaml internals, which will explain exactly why Std.dump is limited ... http://rwmj.wordpress.com/2009/08/04/ocaml-internals/
<nanothief> yeah, I noticed the dump function doesn't work very well on enumeration types (just printing out (0) (1)...)
<rwmjones> yeah, variants have no runtime information ... they _are_ just ints
<_andre> isn't there a way to access the toplevel generic printing function, even if you link to toplevellib.cma?
<rwmjones> I believe there is if you're in the toplevel ... no idea how though
<_andre> there's this in toploop.mli: val print_value: Env.t -> Obj.t -> formatter -> Types.type_expr -> unit
<_andre> but i have no idea how to build values of these types
<rwmjones> Env.t seems to come from !toplevel_env
<rwmjones> Obj.t is obviously the Obj repr
_andre has quit ["leaving"]
bombshelter13_ has quit []
animist has quit [Remote closed the connection]
sramsay has quit [Remote closed the connection]
rwmjones has quit ["Leaving"]
stan_ has quit [Client Quit]
ulfdoz has quit [Read error: 110 (Connection timed out)]
_andre has joined #ocaml
hkBst has quit [Remote closed the connection]
slash_ has quit [Client Quit]
M| has quit [Read error: 104 (Connection reset by peer)]
M| has joined #ocaml
Gratz474 has left #ocaml []