flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
seafood has joined #ocaml
bzzbzz_ has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
seafood has quit []
seafood has joined #ocaml
bzzbzz has quit [Read error: 110 (Connection timed out)]
Jedai has joined #ocaml
mattam has quit [Remote closed the connection]
Demitar has quit ["Burn the land and boil the sea. You can't take the sky from me."]
threeve has joined #ocaml
jeddhaberstro has joined #ocaml
Mr_Awesome has joined #ocaml
Ramzi has joined #ocaml
<Ramzi> hello
<Ramzi> i know this is the ocaml chat, but can anyone in here help me with lisp?
<tsuyoshi> what kind of help do you need
<Ramzi> Basic.
<Ramzi> Just hammering out little details and syntax rules.
<Ramzi> #ramzi-lisp
<ozy`> Ramzi: er... there are lisp channels?
<ozy`> s/?//
jeddhaberstro has quit []
Ramzi has quit ["http://irc2go.com/"]
Ramzi has joined #ocaml
Associat0r has quit []
Ramzi has quit ["http://irc2go.com/"]
Palace_Chan has quit ["Leaving"]
thelema has quit [Read error: 110 (Connection timed out)]
electronx has joined #ocaml
threeve has quit []
seafood_ has joined #ocaml
seafood has quit [Read error: 110 (Connection timed out)]
Palace_Chan has joined #ocaml
Palace_Chan has quit [Client Quit]
electronx has quit []
thelema has joined #ocaml
Snark has joined #ocaml
johnnowak has joined #ocaml
Camarade_Tux has joined #ocaml
filp has joined #ocaml
Linktim has joined #ocaml
Linktim_ has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has joined #ocaml
<Yoric[DT]> hi
<Yoric[DT]> thelema: ping
Linktim has joined #ocaml
GustNG has joined #ocaml
<palomer> hmm
<palomer> what do you guys think of using exception for non local returns?
<palomer> I think it stinks
<palomer> but it seems to be the only way out!
<GustNG> palomer: type option?
<palomer> sometimes, very rarely, just won't cut it
<palomer> like when you're incremental a mutable iterator
<palomer> incremeting
<palomer> oh heck, I'll just write a combinator for iterating
<GustNG> That's what you get for impurity :(
middayc has joined #ocaml
Linktim_ has quit [Read error: 113 (No route to host)]
Linktim has quit [Read error: 113 (No route to host)]
<kig> type ('a, 'b) my_exception = OK of 'a | Error of 'b
<kig> then all you need to do is wrap / rewrite the stdlib, let wrap_ex f x = try OK (f x) with e -> Error e
<Yoric[DT]> palomer: what exactly are you looking for?
<Yoric[DT]> There may be a module in Batteries for that purpose.
mattam has joined #ocaml
Linktim has joined #ocaml
middayc_ has joined #ocaml
mattam has quit [Remote closed the connection]
Linktim_ has joined #ocaml
middayc has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> thelema: ping
Linktim has quit [Read error: 110 (Connection timed out)]
Linktim has joined #ocaml
mattam has joined #ocaml
<flux> kig, actually type 'a my_exception works just fine, exceptions are unityped - they have type exn
marmotine has joined #ocaml
<kig> oh right, good point
Linktim_ has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> Gasp.
<Yoric[DT]> My latest example of batteries fails.
<Yoric[DT]> I can't print the latest Mersenne prime :(
<flux> yoric[dt], terrorists won??
<Yoric[DT]> Well, OCaml blew up with "Out of memory".
<Yoric[DT]> So yes.
<Yoric[DT]> For the moment.
<Yoric[DT]> Is anyone around here experienced with ocamldoc?
Axioplase_ is now known as Axioplase
filp has quit ["Bye"]
Linktim_ has joined #ocaml
haelix_ is now known as haelix
Linktim has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> thelema: ping
middayc has joined #ocaml
Axioplase is now known as Axioplase_
middayc__ has joined #ocaml
johnnowak has quit []
seafood has joined #ocaml
seafood_ has quit [Read error: 60 (Operation timed out)]
bacam has quit [Read error: 110 (Connection timed out)]
middayc has quit [Read error: 110 (Connection timed out)]
middayc_ has quit [Read error: 110 (Connection timed out)]
* Yoric[DT] is currently testing the GODI package for Batteries.
middayc__ has left #ocaml []
mattam has quit [Remote closed the connection]
<Yoric[DT]> Having "truly" unbounded Big_int would be nice.
<Camarade_Tux> Yoric[DT], never used Big_int, what are the current limitations ?
middayc has joined #ocaml
<Yoric[DT]> It fails with "out-of-memory" for some big integers (they're quite big, sure, but they fit in memory).
Associat0r has joined #ocaml
<guyzmo> hi, I have built a tree with different types (type expr = Binop of binop | Const of const and binop = Add of expr*expr | Sub of expr*expr and const = Int of int | Float of float), with ocamllex/ocamlyacc
<guyzmo> and now I want to print them out so I can check everything's fine, so I've done let rec print_tree t = match t with Binop(b) -> print_string "Binop" ; print_tree b | Const(c) -> ... | Add(e,e) -> ... | Float(f) -> ... | Int(i) -> ...
<guyzmo> and I'm getting an error when compiling that function "This pattern matches values of type expr but is here used to match values of type binop"
<flux> yoric[dt], larger than 16 megabytes?
<guyzmo> so if I'm not stupid, that means that I shouldn't pattern match different types inside one pattern matching clause
<Yoric[DT]> flux: it seems so.
<Yoric[DT]> flux: I was trying to print the latest Mersenne prime.
<Yoric[DT]> I think it's actually 13 Mb but I may be wrong.
<guyzmo> but then, here is my question: how can I parse my tree, that does contains different datatypes ?
<thelema> Yoric[DT]: pong
Linktim has joined #ocaml
Linktim has quit [Client Quit]
<Camarade_Tux> Yoric[DT], thanks, I always thought bigints used lists, weird (now, back to webkit-gtk)
<grirgz> guyzmo: print_tree b <-- b is not of type expr
<grirgz> i think you should do a print_binop and a print_expr functions
<grirgz> and then a print_tree
<guyzmo> grirgz - ok
<Yoric[DT]> thelema: I've started the release process.
<Yoric[DT]> thelema: any word on your examples?
<thelema> yes, we need a small patch in rope.mli
<Yoric[DT]> Gasp.
<Yoric[DT]> Ok, which one?
<thelema> after [open camomileLibrary], add [open ExtUChar]
* Yoric[DT] retracts the released file from the Forge.
<thelema> and there's no of_latin1 in the .mli
<thelema> +val of_latin1 : string -> t
<thelema> + (** Constructs a unicode rope from a latin-1 string. *)
<thelema> +
<Yoric[DT]> Ok.
<Yoric[DT]> Is that it?
<thelema> We may think on why the first works to fix a type bug, but the second is just an oversight.
<thelema> that's it.
<Yoric[DT]> What about the example?
<thelema> uploaded to github... finding URL
<Yoric[DT]> Ok.
<Yoric[DT]> At some point, you'll need to start committing your work on the svn :)
<Yoric[DT]> (or we'll need to find how to automatically do it)
<thelema> do I have commit access to svn?
<Yoric[DT]> Unless I'm mistaken, you do.
<gildor> thelema: you have commit access to the svn
<Yoric[DT]> (and have had it for some time, too)
* thelema tries to use git-svn
<Yoric[DT]> gottago
<Yoric[DT]> I'll come back.
Linktim_ has quit [Read error: 110 (Connection timed out)]
mattam has joined #ocaml
* Yoric[DT] is back.
* thelema is waiting for ocamlcore to process his SSH key
<Yoric[DT]> For the moment, the example doesn't compile.
<thelema> because of the two fixes in rope.mli?
<Yoric[DT]> File "unicode.ml", line 29, characters 41-44:
<Yoric[DT]> This expression has type CamomileLibrary.UChar.t but is here used with type
<Yoric[DT]> Extlib.ExtUChar.UChar.t
<Yoric[DT]> Command exited with code 2.
<thelema> yup, that's fixed by the [open ExtUChar]
<thelema> I think that shouldn't be necessary, but it does work to fix the bug.
<Yoric[DT]> ah, ok
<Yoric[DT]> I didn't see that fix.
<Yoric[DT]> mmmhh...
<Yoric[DT]> Shouldn't usay write a newline at the end?
<thelema> s/bug/error/
<thelema> it does -- write_uline
<Yoric[DT]> Well, not on my screen.
<Yoric[DT]> Characters 15 to 41 of r16:
<Yoric[DT]> ó úComplex: á é í ó úComplex: á é í
<Yoric[DT]> Character 11:
<thelema> let write_uline o r = Rope.bulk_iter (nwrite o) r; write o '\n'
<Yoric[DT]> Shouldn't there be a newline after "ú".
<Yoric[DT]> ?
<thelema> no, the second test is str2 duplicated many times.
Linktim has joined #ocaml
<Yoric[DT]> ah, ok
<Yoric[DT]> Well, I'll commit that.
<thelema> I couldn't think of anything more interesting to do for an example.
<Yoric[DT]> Ok.
<Yoric[DT]> Well, if you think of anything, we'll add it later.
<Yoric[DT]> Tarball uploaded.
<Yoric[DT]> Testing GODI package.
seafood has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> Camarade_Tux: can I ask you for a favor?
<Yoric[DT]> thelema: did you install GODI, finally?
<Camarade_Tux> Yoric[DT], sure
<thelema> no, should I?
<Yoric[DT]> Camarade_Tux: could you use GODI to install batteries?
<Yoric[DT]> thelema: no, no need.
* thelema objects to the name "GODI RocketBoost tarball"
<Yoric[DT]> :)
<Yoric[DT]> Camarade_Tux: it's in the repo.
<Camarade_Tux> Yoric[DT], doing it, just updated the list ;)
<Yoric[DT]> :)
<Camarade_Tux> ok, compiling
* Yoric[DT] is nervous.
<Camarade_Tux> Yoric[DT], finish compiling :)
<Camarade_Tux> any test suite ?
<Yoric[DT]> Yeah :)
<Yoric[DT]> Not part of the package, I'm afraid.
<Yoric[DT]> Yet.
<Camarade_Tux> anyway, congratulations ! :)
<Yoric[DT]> Thanks :)
<Yoric[DT]> Now, waiting for 10^k bug reports :)
<Camarade_Tux> haha, you're too optimistic :p
<Yoric[DT]> Well, maybe people won't even notice.
Linktim has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> (the release, that is)
<thelema> good luck on people not noticing. We just need to hope it's either fixable or "good enough"
<Yoric[DT]> Well, it's an alpha.
<Yoric[DT]> Posting announce to the mailing-list...
<Yoric[DT]> now...
<Yoric[DT]> posted.
* Yoric[DT] will now take a looong break.
<Yoric[DT]> See you later.
<Yoric[DT]> thelema: you're in charge of answering any question :)
<thelema> cheers
<thelema> :)
Yoric[DT] has quit ["Ex-Chat"]
Linktim has joined #ocaml
jeddhaberstro has joined #ocaml
_zack has joined #ocaml
<thelema> back in 2-3 hours
middayc has left #ocaml []
jeddhaberstro has quit []
Linktim has quit [Read error: 110 (Connection timed out)]
jeddhaberstro has joined #ocaml
Linktim has joined #ocaml
dabd has joined #ocaml
asmanur has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
middayc_ has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
<ertai> Hug? I don't get the improvement of "Toplevel evaluations: batteries.pa_mainfun.syntax"
<ertai> it's another name for the empty syntax extension :)
jlouis has quit [Read error: 104 (Connection reset by peer)]
jlouis has joined #ocaml
asmanur has quit ["Lost terminal"]
_zack has quit [Read error: 104 (Connection reset by peer)]
mishok13 has quit [Read error: 60 (Operation timed out)]
bongy has joined #ocaml
bongy has left #ocaml []
itewsh has joined #ocaml
azi` has quit ["Lost terminal"]
mishok13 has joined #ocaml
clog_ has joined #ocaml
seafood has joined #ocaml
Camarade_Tux has quit []
grirgz has joined #ocaml
dabd has quit ["Ex-Chat"]
struktured has joined #ocaml
clog has quit [Connection timed out]
clog_ is now known as clog
sporkmonger has joined #ocaml
jlouis has quit ["Leaving"]
jeddhaberstro has quit []