<ngaylinn>
Actually... I think that just colors the text and doesn't reindent it.
<TaXules>
reindent it with emacs et tuareg
<ngaylinn>
I'm trying to write an OCaml IDE ;)
<TaXules>
under unix system I hope ! ;)
<ngaylinn>
I might end up trying to figure out how tuareg does it... but that's a bit of a pain, unfortunately, since I'm not familiar with emacs and its extension system.
<ngaylinn>
Of course ;)
<ngaylinn>
Actually, it'll be cross-platform.
<TaXules>
that's great
<ngaylinn>
Heh, well, wait until I produce something ;)
<ngaylinn>
I'm still in relatively early stages.
<ngaylinn>
While I'm here, does anyone know whether or not EVERY warning has an associated section that gets hilighted? Rather random question...
<ngaylinn>
You know, like if you enter a non-exhaustive match at the console it hilights a section of code and gives you the warning associated with it.
<TaXules>
don't know
<ngaylinn>
*nods*
Tachyon76 has joined #ocaml
Submarine has joined #ocaml
_fab has joined #ocaml
pattern_ has joined #ocaml
ngaylinn has quit ["Leaving"]
p has joined #ocaml
ganjalink has joined #ocaml
_DL_ is now known as __DL__
<eponymous>
/ignore #ocaml JOIN PARTS QUITS
pango has quit ["bbl"]
pango has joined #ocaml
Submarine has quit ["Leaving"]
ganjalink has quit ["Quit rulez !"]
joeytwiddle has joined #ocaml
vezenchio has quit ["Ayn Rand encapsulates the rage that every teenager feels on finding that his first paycheque has had taxes taken out of it"]
pflanze has joined #ocaml
<pflanze>
Hello
<senko>
hi
Tachyon76 has quit [Remote closed the connection]
Tachyon76 has joined #ocaml
Tachyon76 has quit [Client Quit]
joeytwiddle is now known as joeytwiddle_onth
Hadaka has quit ["poof"]
Skal has joined #ocaml
Naked has joined #ocaml
gim has quit [Read error: 113 (No route to host)]
_JusSx_ has quit ["leaving"]
Naked is now known as Hadaka
vodka-goo has joined #ocaml
mrvn_ has joined #ocaml
skylan has quit [No route to host]
dm has quit [Read error: 110 (Connection timed out)]
mrvn has quit [Read error: 110 (Connection timed out)]
vodka-goo has quit [Read error: 110 (Connection timed out)]
bk_ has joined #ocaml
bk_ has quit ["leaving"]
batdog is now known as batdog|gone
bk_ has joined #ocaml
Skal has quit ["Client exiting"]
vincenz has quit ["Lost terminal"]
vincenz has joined #ocaml
malc_ has joined #ocaml
malc_ has quit [Read error: 110 (Connection timed out)]