cognominal has quit [Read error: 54 (Connection reset by peer)]
cognominal has joined #ocaml
natv has quit [Read error: 110 (Connection timed out)]
gim has quit ["dodo"]
gim has joined #ocaml
bzzbzz has quit ["leaving"]
tintin has joined #ocaml
dbrodie has joined #ocaml
<dbrodie>
anybody know of a nicer frontend for the ocaml console? The default one is a little annoying (f.e. the up arrow dosn't bring up the last statement) or maybe some command that I can run on a .ml file and it will give me a console with the commands from the file run? (btw I am one linux)
Banana has quit [Read error: 104 (Connection reset by peer)]
Banana has joined #ocaml
<Smerdyakov>
dbrodie, rlwrap provides that kind of thing for any program.
<Smerdyakov>
dbrodie, emacs is even better.
mattam has quit [Remote closed the connection]
maml has quit [Operation timed out]
dan2 has joined #ocaml
Banana has quit [Read error: 113 (No route to host)]
<dbrodie>
Smerdyakov: Sorry for the delay I was away. Thanks but those seem that they are for emacs, and I am not a big emacs fan...
<dbrodie>
(I meant rlwrap, i.e. not those but that)
<Smerdyakov>
rlwrap is not for emacs.
<dbrodie>
Smerdyakov: Oh cool, I misinterpreted what I read about in on a webpage. Seems to work great! Thanks :)
<Smerdyakov>
I also suggest reconsidering your decision not to be an emacs fan.
<vincenz>
There is also ledit
<vincenz>
written in ocaml
<dbrodie>
Smerdyakov: Well, the problem is that while it is very powerful, the learning curve is too steep. I got really hooked on jedit (even though I really don't like java) which is also very powerful but a much less steep (grammar?) learning curve. Does almost everything I want.
<dan2>
emacs is great
<Smerdyakov>
If you don't want to expend effort in learning how to use tools, then you've no business with serious programming.
<dan2>
vi is also usable
<dbrodie>
Smerdyakov: but if I get the same results with less learning why should I break my head needlessly? for any quick programming I do prefer vim
<dbrodie>
Smerdyakov: If you havn't tried jedit, you might want to give it a try for fun. It is very extensible (support scripting in Jython, and some others) but very easy to use till you learn the 101 shortcuts. And the shortcuts are more emacs-style then vi-style.
<dbrodie>
dan2: what does nvi have the vim doesn't?
<Smerdyakov>
dbrodie, if it doesn't have Proof General or similar, then it wouldn't make sense for me.
<vincenz>
Proof general?
<Smerdyakov>
Emacs mode for interactive theorem provers
<dan2>
dbrodie: a lot
<dan2>
dbrodie: its very strict vi
<dan2>
very fast
<dbrodie>
dan2: so it has less then vim but leaner? (not that that is a bad thing)
hum has joined #ocaml
<dbrodie>
Smerdyakov: Ah ok. no don't think I have seen a plugin for that yet. (maybe there is but I have never needed something like proof general)
<Smerdyakov>
dbrodie, I really doubt it. Java folks don't tend to be too into anything that intellectual. ;)
<dbrodie>
Smerdyakov: can't argue there :P
wpaulson has joined #ocaml
wpaulson has left #ocaml []
Smerdy has joined #ocaml
Smerdyakov has quit [Nick collision from services.]
Smerdy is now known as Smerdyakov
Smerdyakov has quit [Nick collision from services.]
solarwind has quit [Read error: 110 (Connection timed out)]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: 60 (Operation timed out)]
Smerdy has joined #ocaml
Smerdyakov has quit [Nick collision from services.]
Smerdy is now known as Smerdyakov
Herrchen has quit [Read error: 110 (Connection timed out)]
vdrab has joined #ocaml
<ulfdoz_>
re
eyda|mon has joined #ocaml
Submarine has joined #ocaml
tintin has quit [Remote closed the connection]
Submarine has quit ["Leaving"]
vdrab has quit ["bye"]
Submarine has joined #ocaml
eyda|mon has quit [Read error: 54 (Connection reset by peer)]
Submarine has quit ["Leaving"]
Submarine has joined #ocaml
Submarine has quit ["Leaving"]
slashvar[lri] has quit [Read error: 110 (Connection timed out)]
Submarine has joined #ocaml
dan2 has quit [Read error: 60 (Operation timed out)]
Submarine has quit ["Leaving"]
dan2 has joined #ocaml
Submarine has joined #ocaml
smimou has joined #ocaml
pango has joined #ocaml
mlh has quit [Client Quit]
mattam has joined #ocaml
gl` has quit [Read error: 104 (Connection reset by peer)]
slashvar[lri] has joined #ocaml
<slashvar[lri]>
Hi there
slashvar[lri] has quit [Client Quit]
slashvar[lri] has joined #ocaml
<slashvar[lri]>
hi there
gim has quit ["my lcd is squished again, grrr :/"]
gim has joined #ocaml
gim_ has joined #ocaml
gim has quit [Read error: 113 (No route to host)]
<buggs>
is it possible to statically link lablgtk2 binaries ?
<buggs>
it works but it can't run here
<Submarine>
Not that I know of.
<buggs>
Gtk-WARNING **: Service unavailable
<Submarine>
We've never been able to run them.
<buggs>
they probably have some dynmic modules huh?
<buggs>
and without dynamic there is no dlopen to load them :/
<buggs>
they must have a trick why would they provide .a else ?
vezenchio has joined #ocaml
nlv11757_ has joined #ocaml
<nlv11757_>
does let docList ?(sep=chr ',') (doit:'a -> doc) () (elements:'a list) =
<nlv11757_>
seq sep doit elements mean that sep is chr '.' by default?
nlv11757_ has left #ocaml []
Snark has joined #ocaml
_JusSx_ has joined #ocaml
tintin has joined #ocaml
_JusSx__ has joined #ocaml
_JusSx_ has quit [Read error: 110 (Connection timed out)]
_JusSx_ has joined #ocaml
slashvar[lri] has quit [Read error: 104 (Connection reset by peer)]
_JusSx__ has quit [Read error: 110 (Connection timed out)]
slashvar[lri] has joined #ocaml
<slashvar[lri]>
re
hum is now known as maml
_JusSx__ has joined #ocaml
_JusSx_ has quit [Read error: 110 (Connection timed out)]
Snark has quit ["Leaving"]
__DL__ has joined #ocaml
CosmicRay has joined #ocaml
Tachyon76 has joined #ocaml
beta3 has joined #ocaml
dan2 has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
gim_ is now known as gim
vodka-goo has joined #ocaml
veleno has joined #ocaml
<veleno>
i'm trying to write a function, which insert new elements in a association list, so that elements are ordered by values.
<Smerdyakov>
That's almost in the standard library, but I'm not sure if it uses ordering.
<Smerdyakov>
I guess it doesn't, so it would just be cons. :)
<veleno>
Smerdyakov: you mean they are ordered automagically ?
<Smerdyakov>
There are no functions for adding to association lists, so you do that in your own way, and it always searches the whole list for an element that isn't found.