mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
seafood_ has quit []
mbishop_ has joined #ocaml
mbishop has quit [Nick collision from services.]
mbishop_ is now known as mbishop
ikaros has quit [Remote closed the connection]
CRathman has joined #ocaml
seafood_ has joined #ocaml
mrsolo has joined #ocaml
richardw is now known as richardw_
JohnnyL has quit ["Leaving"]
smimou has quit ["bli"]
ita has quit [Remote closed the connection]
mrsolo has quit ["This computer has gone to sleep"]
mrsolo has joined #ocaml
cmeme has joined #ocaml
mordaunt has joined #ocaml
CRathman has quit [Connection timed out]
mbishop_ has joined #ocaml
mbishop has quit [Read error: 113 (No route to host)]
cygnus_ has joined #ocaml
<cygnus_> hi i installed tuareg mode for emacs but i still don't get syntax hilighting
<cygnus_> i am using the console emacs21, it shoudl work with this right ?
<hcarty> cygnus_: I've only used it with emacs22 and CVS, but have you modified your .emacs file?
mrsolo has quit ["This computer has gone to sleep"]
<cygnus_> yeah i tried a few things
<cygnus_> can you show me what you put in your .emacs ?
<hcarty> There is a file in the tuareg .tar.gz...
<hcarty> append-tuareg.el
<hcarty> I just added those lines to the end of my .emacs
<cygnus_> yeah in debian its a dummy file
<hcarty> Ah, ok
<cygnus_> it autoloads tuareg mode for .ml files anyway
<cygnus_> but no colour
<hcarty> cygnus_: http://pastebin.com/m250f5d6 -- This is my init.el/.emacs file
<cygnus_> huge
<hcarty> As I said, I'm far from an expert... it's pieced together over time
mrsolo has joined #ocaml
<hcarty> tuareg is the only reason I started using emacs - the vim OCaml mode was really slow
<kmeyer> vim ocaml mode works pretty well for me
<kmeyer> but it lacks syntax based folding
<hcarty> kmeyer: I think the folding was what slowed things down so much, but I could be wrong
<hcarty> I was using omlet
<kmeyer> I'm unfamiliar with that
<hcarty> If I tried to autoindent a section of code, it would take ~30+ seconds per 50 lines of code, if not more
<kmeyer> ouch
<kmeyer> that's horrid
mrsolo has quit ["This computer has gone to sleep"]
<kmeyer> could use indent-based folding
<kmeyer> I ended up using markers
sergez has joined #ocaml
JohnnyL has joined #ocaml
<hcarty> I used indentation based folding for a short while
<hcarty> I'm not completely happy with vim+omlet, emacs+tuareg or eclipse+ocaide. But emacs+tuareg seems to work the best for my uses for the time being.
CRathman has joined #ocaml
mrsolo has joined #ocaml
CRathman has quit [Connection timed out]
Smirnov has joined #ocaml
<Smirnov> anyone around
<Smirnov> when applying functions does ocaml properly implement eager evaluation?
<Smirnov> i noticed that when you have a rator and a rand the rand is reduced first before any application is done
thesoko has joined #ocaml
mbishop_ is now known as mbishop
Smirnov has left #ocaml []
cygnus_ has quit [kubrick.freenode.net irc.freenode.net]
cygnus_ has joined #ocaml
brooksbp has joined #ocaml
CRathman has joined #ocaml
cygnus_ has quit [kubrick.freenode.net irc.freenode.net]
CRathman has quit [Remote closed the connection]
adamjones has joined #ocaml
mordaunt has quit [Read error: 104 (Connection reset by peer)]
seafood_ has quit []
cygnus_ has joined #ocaml
<adamjones> Can anyone help me with a compile error I am getting using glcaml?
brooksbp has quit []
Yoric[DT] has joined #ocaml
<tsuyoshi> maybe
<tsuyoshi> what's the error?
<adamjones> When I compile it claims that there is no implementation found for Bigarray.
cygnus_ has quit [kubrick.freenode.net irc.freenode.net]
<adamjones> "ocamlfind query bigarray" says it is at /usr/lib/ocaml/3.09.2/ which should be the standard library location.
<tsuyoshi> how did you install ocaml?
<tsuyoshi> and what is the command line you're using to compile?
<adamjones> through ubuntu.
<adamjones> I'm trying to compile one of the examples provided with glcaml. Here's what I am trying:
<adamjones> ocamlopt sdl.cmxa foolesson2.ml
kelaouchi has quit ["leaving"]
<tsuyoshi> oh
<tsuyoshi> you need to put bigarray.cmxa in there too
cygnus_ has joined #ocaml
<adamjones> It doesn't look that up since it is in the library?
<adamjones> Just tried, it does make a difference, now I get a bunch of errors that look like problems with the C bindings.
<tsuyoshi> yeah.. bigarray is one of the "extra" libraries that come with ocaml
<adamjones> ahh, ok.
<tsuyoshi> like when you look at the manual
<tsuyoshi> it has the core library, where you don't need to even specify a module name in the source
<tsuyoshi> and then the standard library, which is automatically linked in
<adamjones> ok, that helps.
<tsuyoshi> and then unix, num, bigarray, str, etc. which come with ocaml but you have to link in explicitly
<tsuyoshi> actually, this is kind of weird now that I think about it
<tsuyoshi> the compiler should be able to just look for missing stuff...
<Yoric[DT]> Well, that's what ocamlfind is for.
<tsuyoshi> but don't you have to tell it what libraries you need anyway?
<Yoric[DT]> Although it actually doesn't do that kind of job so I should perhaps retract what I just said :)
<tsuyoshi> ocamlfind doesn't detect dependencies iirc
<Yoric[DT]> my bad
* Yoric[DT] should sleep more.
<tsuyoshi> omake kind of does.. I don't think it can figure out what libraries you need
<Yoric[DT]> Nor can ocamlbuild.
* Yoric[DT] should also decide what he's going to teach his students in about 1h.
<tsuyoshi> what class is it?
<Yoric[DT]> Java/OOP.
<Yoric[DT]> But I'm probably going to do some OOP-unrelated algorithmics.
<Yoric[DT]> Maybe an introduction to graphs.
<adamjones> thanks tsuyoshi and Yoric[DT] for your help. I think at this point I'll need to contact the developer of glcaml to see what is going on.
kelaouchi has joined #ocaml
* Yoric[DT] didn't do a thing.
adamjones has left #ocaml []
opening has joined #ocaml
<tsuyoshi> hmm.. if we could have a scheme where you keep a list of what modules are in what library.. then the compiler could figure it all out on its own
<Yoric[DT]> gottago
<Yoric[DT]> cheers
Yoric[DT] has quit ["Ex-Chat"]
opening` has quit [Read error: 110 (Connection timed out)]
ikaros has joined #ocaml
cpst has quit []
zvrba has quit [Read error: 104 (Connection reset by peer)]
zvrba has joined #ocaml
jlouis has joined #ocaml
cpst has joined #ocaml
cygnus_ has quit [kubrick.freenode.net irc.freenode.net]
filp has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
cpst has quit [Read error: 113 (No route to host)]
cpst has joined #ocaml
cygnus_ has joined #ocaml
Snark has joined #ocaml
cygnus_ has quit [kubrick.freenode.net irc.freenode.net]
m3ga has joined #ocaml
cygnus_ has joined #ocaml
jlouis_ has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
m3ga has quit ["disappearing into the sunset"]
cygnus_ has quit [kubrick.freenode.net irc.freenode.net]
cygnus_ has joined #ocaml
cygnus_ has quit [kubrick.freenode.net irc.freenode.net]
thesoko has quit [Remote closed the connection]
thesoko has joined #ocaml
cygnus_ has joined #ocaml
np has joined #ocaml
np has quit [Client Quit]
hkBst has joined #ocaml
filp has quit ["Bye"]
jonathanv has joined #ocaml
Torment has joined #ocaml
Yoric[DT] has joined #ocaml
smimou has joined #ocaml
jonafan has quit [Read error: 110 (Connection timed out)]
Jedai has quit [Read error: 110 (Connection timed out)]
jlouis_ has quit [Remote closed the connection]
jlouis has joined #ocaml
gim_ has joined #ocaml
ikaros has quit [Read error: 110 (Connection timed out)]
ikaros has joined #ocaml
Snark has quit ["Quitte"]
cygnus_ has quit [kubrick.freenode.net irc.freenode.net]
cygnus_ has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
cygnus_ has quit [kubrick.freenode.net irc.freenode.net]
gaconnet has joined #ocaml
seafood_ has joined #ocaml
cygnus_ has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
hkBst has joined #ocaml
filp has joined #ocaml
love-pingoo has joined #ocaml
Oxyd has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
richardw_ is now known as richardw
Oxyd has quit ["Vanitas vanitatum et omnia vanitas."]
<gaconnet> I'm not finding any bitwise operations for Big_int in the manual. Would I need to implement those myself using Big_int arithmetic?
<rwmjones> gaconnet, there don't appear to be any bit ops for Big_int
<rwmjones> if you really want a bit string, it's often better to use an actual string (which is basically just a big array of bytes)
<rwmjones> the only drawback being that strings can't be expanded without copying them ... depends on your application if this is a problem or not
<flux> gaconnet, Big_int isn't the only big integer module for ocaml, perhaps some other will suit your needs better
<flux> I haven't looked, but I nemember numerix being mentioned
<gaconnet> Hmm, well I'm using them to store truth tables in integer form
seafood_ has quit []
<gaconnet> flux, thanks. I've managed to find numerix and a GNU MP binding. One of these should work for me.
love-pingoo has joined #ocaml
Tetsuo has joined #ocaml
buluca has joined #ocaml
mrsolo has quit ["This computer has gone to sleep"]
buluca has quit [Read error: 113 (No route to host)]
rogo has quit [Read error: 110 (Connection timed out)]
CRathman has joined #ocaml
mrsolo has joined #ocaml
marmottine has joined #ocaml
CRathman has quit ["ChatZilla 0.9.79 [Firefox 2.0.0.11/2007112718]"]
buluca has joined #ocaml
gaconnet has quit [Read error: 104 (Connection reset by peer)]
mrsolo has quit ["This computer has gone to sleep"]
ita has joined #ocaml
Onyxyte has joined #ocaml
JohnnyL has quit [Remote closed the connection]
<Yoric[DT]> I'm having trouble with unlimited-precision-and-size floats
<Yoric[DT]> What should I use to represent them ?
Onyxyte has left #ocaml []
<flux> bigint / bigint fractions?-)
<flux> (no, I don't really know)
ttamttam has joined #ocaml
<jonathanv> Nums?
jonathanv is now known as jonafan
smimram has joined #ocaml
<Yoric[DT]> My precise issue is that I need to parse and represent
<Yoric[DT]> 999999999999999999999999999999999999999e+6111m
<Yoric[DT]> 10e-6143m
<Yoric[DT]> NaN
<Yoric[DT]> and intermediate values.
<Yoric[DT]> (I'm not sure what "m" means, btw, I believe it's a standard notation but I have no clue)
<flux> never seen it.
ita has quit ["Hasta luego!"]
smimou has quit [Read error: 110 (Connection timed out)]
thesoko has quit [Remote closed the connection]
Mr_Awesome has quit ["aunt jemima is the devil!"]
ikaros_ has joined #ocaml
Snark has joined #ocaml
brooksbp has joined #ocaml
ita has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
ttamttam has left #ocaml []
ikaros has quit [Read error: 110 (Connection timed out)]
Tetsuo has quit ["Leaving"]
<fbvortex> I'm trying to use a try...with to handle exceptions in the kernel of a recursive function. Is it OK to write the code in a form where the exception handler's expression may also throw (the same) exception?
<mattam> Why would that be a problem ?
<fbvortex> just trying to make sure it's not bad form or anything like that
<ita> fbvortex: use a (y) combinator
Sparkles has quit [Read error: 104 (Connection reset by peer)]
Sparkles has joined #ocaml
<fbvortex> ita: do you have a readable reference regarding (y) combinators that you'd recommend?
<ita> yes
* ita looks in his bookmarks
<ita> i usally do it for javascript, but that one is a good read http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-97-375/ECS-LFCS-97-375.pdf
<Yoric[DT]> Why do you need a Y combinator there ?
<ita> i suppose the try/with is for debugging, so it is better to pull the big guns instead of letting spaghetti appear
<fbvortex> ita: I'm a little lost as to how to apply this Y combinator stuff to my problem...
<fbvortex> or why for that matter...
CRathman has joined #ocaml
<ita> fbvortex: read the document entirely
Snark has quit ["Quitte"]
smimram is now known as smimou
buluca has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
marmottine has quit ["Quitte"]
CRathman has quit [Connection timed out]
ita has quit [Read error: 104 (Connection reset by peer)]
<hcarty> Do you need to use the ; in revised syntax in .ml files, or only the toplevel?
<Yoric[DT]> both
<hcarty> Yoric[DT]: Thanks. I was unclear on that after reading the docs.
<Yoric[DT]> np
filp has quit ["Bye"]
olleolleolle has joined #ocaml
gim_ has quit []
brooksbp has quit []
brooksbp has joined #ocaml
brooksbp has quit [Connection timed out]
seafood_ has joined #ocaml
brooksbp has joined #ocaml
hkBst has quit ["Konversation terminated!"]
<fbvortex> i've got nested pattern matching in my code, and ocaml sees a clause in the outer pattern list (which physically occurs after the inner nested level) as an alternate pattern belonging to the inner patter matcher. how can I indicate that the inner match construct is "done" and that the following clause is not part of it?
<Yoric[DT]> Surround it with parenthesis.
<Yoric[DT]> (or use the revised syntax :))
<fbvortex> Yoric[DT]: sorry, what is revised syntax?
<Yoric[DT]> OCaml's syntax may be customized.
<Yoric[DT]> That's one such (major) customization.
brooksbp has left #ocaml []