<JohnnyL>
wikipedia states... and i quote: Xavier Leroy has cautiously stated that "OCaml delivers at least 50% of the performance of a decent C compiler"[1], and benchmarks have shown that this is generally the case[2].
<JohnnyL>
Somehow I think that the ocamlc is faster than %50.
<JohnnyL>
and the code doesn't look like it would take up more than at least 30%.
rayno has quit [Connection timed out]
<smimou>
on progs using arithmetic intensively for example I don't think that ocamlc can do more than 50%
<Jeff_123>
If you can solve the VFMUL or MUL problems at www.spoj.pl let me know
pants1 has joined #ocaml
|Catch22| has joined #ocaml
<Yoric[DT]>
FPA on ocamlc (even ocamlopt) is quite slow
<Jeff_123>
to solve the MUL and VFMul problems all you have to do is integer multiplication
<Jeff_123>
I'm not sure ocaml can do it in the time requirement
<Jeff_123>
even if you do something fancy like Karatsuba multiplication
Beelsebob has quit []
<Yoric[DT]>
Have you tried with gmp ?
<Yoric[DT]>
ocamlgmp, that is
<Yoric[DT]>
Well, anyway, good night everyone.
Yoric[DT] has quit ["Ex-Chat"]
hkBst has quit ["Konversation terminated!"]
ozzloy has joined #ocaml
<ozzloy>
is there a way to unload modules in the ocaml interpreter? currently i'm quitting, restarting
<Jeff_123>
nope
<ozzloy>
maybe there's a "better way", here's my situation: editing a file, saving, then in ocaml '#use "file.ml";;', ^D, restart ocaml, rinse, repeat
<Jeff_123>
the ocaml emacs mode helps you send phrases to the toplevel
<ozzloy>
Jeff_123: what if i'm a failure at life and i'm using gvim instead?
<Jeff_123>
um
<Jeff_123>
i'm pretty sure there some vim support for caml
<Jeff_123>
maybe it's just for indentation and highlighting though
Abo-Marwan has quit [Remote closed the connection]
screwt8 has quit [Remote closed the connection]
<Jeff_123>
I'm curious to know if it lets vim integrate with the ocaml shell
screwt8 has joined #ocaml
<mbishop>
"Jon Harrop is running up and down Coton high street shouting "my penis works!"."
<mbishop>
...huh
<Jeff_123>
um,that's nice for him (?)
<Zola>
do any of you guys know LUA?
<Zola>
the scripting lang
<Jeff_123>
nope
<Zola>
are functions first class objects in OCaml?
<Jeff_123>
yes
<Jeff_123>
you can pass functions as arguments, return functions from functions
<Jeff_123>
yuo can curry functions
<Zola>
what's this ;; crap
<Zola>
why do we need 2 of those
<Jeff_123>
well, ;; is not always necessary
<Jeff_123>
if you're doing pure functional programming you don't need to use it
Beelsebob has joined #ocaml
<Jeff_123>
for instance, this works fine:
<Jeff_123>
let example = function x -> x+1 let example 2 = function x -> x+2
<Jeff_123>
no ;; needed
<Jeff_123>
er, shoot
<Jeff_123>
that shoul dhave been "let example2"
<ozzloy>
Jeff_123: so far, the plugin isn't jiving with me
<Jeff_123>
oh well
<Jeff_123>
I can't really help you. I just use aquamacs and xemacs.
<Jeff_123>
sorry :(
<ozzloy>
Jeff_123: otoh, i don't know enough to know if i'm using it correctly
<ozzloy>
Jeff_123: thanks though, no apologies!
munga has quit [Read error: 110 (Connection timed out)]
<Jeff_123>
Zola - you only need ;; at the end of a function when the next statement is a naked imperative statement like "print_endline "hello""
<Jeff_123>
otherwise ocaml will think print_endline is an argument to something or part of the previous function
<mbishop>
Yeah, ;; is rarely needed, and usually only used as a nice seperator for functions in the source
<mbishop>
and of course, in the toplevel
<Jeff_123>
if you REALLY hate it you can switch to the revised syntax, which does away with ;;
<Jeff_123>
but it still uses ;
<mbishop>
I kind of like ;;, at least for seperating functions, like I said heh
<Jeff_123>
it's ok, but in the revised syntax it's not needed because of the do { } syntax for imperative code
<Jeff_123>
not a big deal one way or the other though
<Zola>
;; is enough reason not to use OCaml
<Zola>
hehe
<Jeff_123>
:P
<Jeff_123>
revised syntax doesn't have it, so there
seafood_ has joined #ocaml
jlouis has joined #ocaml
smimou has quit ["bli"]
jlouis_ has quit [Connection timed out]
bebert has joined #ocaml
rayno has joined #ocaml
m3ga has joined #ocaml
nuncanada has quit ["Leaving"]
m3ga has quit ["disappearing into the sunset"]
david_koontz_ has joined #ocaml
pants1 has quit [Read error: 110 (Connection timed out)]
Beelsebob has quit []
david_koontz has quit [Read error: 110 (Connection timed out)]
pants1 has joined #ocaml
pants3 has joined #ocaml
pants4 has joined #ocaml
pants1 has quit [Read error: 104 (Connection reset by peer)]
pants5 has joined #ocaml
pants7 has joined #ocaml
pants8 has joined #ocaml
pants9 has joined #ocaml
|Catch22| has quit []
pants4 has quit [Read error: 104 (Connection reset by peer)]
pants3 has quit [Read error: 110 (Connection timed out)]
pants2 has joined #ocaml
Jeff_123 has quit ["Quit"]
pants3 has joined #ocaml
pants4 has joined #ocaml
pants1 has joined #ocaml
pants5 has quit [Read error: 113 (No route to host)]
pants8 has quit [Read error: 110 (Connection timed out)]
pants2 has quit [Read error: 104 (Connection reset by peer)]
pants7 has quit [Read error: 110 (Connection timed out)]
pants2 has joined #ocaml
pants5 has joined #ocaml
pants7 has joined #ocaml
pants3 has quit [Read error: 104 (Connection reset by peer)]
pants3 has joined #ocaml
pants8 has joined #ocaml
pants9 has quit [Read error: 110 (Connection timed out)]
pants9 has joined #ocaml
pants4 has quit [Read error: 110 (Connection timed out)]
pants1 has quit [Connection timed out]
pants2 has quit [Read error: 110 (Connection timed out)]
pants5 has quit [Read error: 110 (Connection timed out)]
pants7 has quit [Read error: 110 (Connection timed out)]
pants3 has quit [Read error: 110 (Connection timed out)]
bzzbzz has quit ["leaving"]
pants8 has quit [Connection timed out]
<pango>
ozzloy: if 9 out of 10 times your module fails loading at compile time (which is usual in OCaml), what about using ocamlc instead of caml until it compiles?
pants9 has quit [Connection timed out]
<ozzloy>
pango: it compiles most of the time. i'm just seeing what it compiles as
<ozzloy>
though ocamlc is interesting
<ozzloy>
hmmm.... -dtypes is almost what i want
<ozzloy>
aha! ocamlc -i stuff.ml works beautifully
<pango>
(again, emacs has support for the .annot files)
sergez has quit [Read error: 104 (Connection reset by peer)]
rwmjones has joined #ocaml
love-pingoo has joined #ocaml
Torment has joined #ocaml
smimou has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
gim has joined #ocaml
Yoric[DT] has joined #ocaml
ertai_ has joined #ocaml
opening has joined #ocaml
Beelsebob has joined #ocaml
beterraba has quit [Remote closed the connection]
Yoric[DT] has quit ["Ex-Chat"]
ertai_ has quit [Connection timed out]
oc14 has joined #ocaml
oc14 has left #ocaml []
oc14 has joined #ocaml
ertai_ has joined #ocaml
screwt8 has joined #ocaml
asmanur_ has joined #ocaml
asmanur_ has quit [Remote closed the connection]
apastinen has quit ["leaving"]
hkBst has joined #ocaml
smimou has quit [kubrick.freenode.net irc.freenode.net]
tsuyoshi has quit [kubrick.freenode.net irc.freenode.net]
joshcryer has quit [kubrick.freenode.net irc.freenode.net]
jeremiah has quit [kubrick.freenode.net irc.freenode.net]
Zola has quit [kubrick.freenode.net irc.freenode.net]
unfo- has quit [kubrick.freenode.net irc.freenode.net]
Tov_enst has quit [kubrick.freenode.net irc.freenode.net]
zvrba has quit [kubrick.freenode.net irc.freenode.net]
pattern has quit [kubrick.freenode.net irc.freenode.net]
Mr_Awesome has quit [kubrick.freenode.net irc.freenode.net]
svenl has quit [kubrick.freenode.net irc.freenode.net]
simon has quit [kubrick.freenode.net irc.freenode.net]
bebert has quit [kubrick.freenode.net irc.freenode.net]
Hadaka has quit [kubrick.freenode.net irc.freenode.net]
flux has quit [kubrick.freenode.net irc.freenode.net]
l_a_m has quit [kubrick.freenode.net irc.freenode.net]
ulfdoz has quit [kubrick.freenode.net irc.freenode.net]
asmanur has quit [kubrick.freenode.net irc.freenode.net]
cmeme has quit [kubrick.freenode.net irc.freenode.net]
seafood has quit [kubrick.freenode.net irc.freenode.net]
bla has quit [kubrick.freenode.net irc.freenode.net]
eck has quit [kubrick.freenode.net irc.freenode.net]
JohnnyL has quit [kubrick.freenode.net irc.freenode.net]
mattam has quit [kubrick.freenode.net irc.freenode.net]
filp has quit [kubrick.freenode.net irc.freenode.net]
netx has quit [kubrick.freenode.net irc.freenode.net]
ozzloy has quit [kubrick.freenode.net irc.freenode.net]
TaXules has quit [kubrick.freenode.net irc.freenode.net]
eroyf has quit [kubrick.freenode.net irc.freenode.net]
opening has quit [kubrick.freenode.net irc.freenode.net]
Zzompp has quit [kubrick.freenode.net irc.freenode.net]
gaja has quit [kubrick.freenode.net irc.freenode.net]
acatout has quit [kubrick.freenode.net irc.freenode.net]
ertai_ has quit [kubrick.freenode.net irc.freenode.net]
rwmjones has quit [kubrick.freenode.net irc.freenode.net]
ikaros has quit [kubrick.freenode.net irc.freenode.net]
schme has quit [kubrick.freenode.net irc.freenode.net]
messju has quit [kubrick.freenode.net irc.freenode.net]
guyzmo has quit [kubrick.freenode.net irc.freenode.net]
mbishop has quit [kubrick.freenode.net irc.freenode.net]
Smerdyakov has quit [kubrick.freenode.net irc.freenode.net]
bebui has quit [kubrick.freenode.net irc.freenode.net]
zmdkrbou has quit [kubrick.freenode.net irc.freenode.net]
love-pingoo has quit [kubrick.freenode.net irc.freenode.net]
pango has quit [kubrick.freenode.net irc.freenode.net]
rog1 has quit [kubrick.freenode.net irc.freenode.net]
jonafan has quit [kubrick.freenode.net irc.freenode.net]
hkBst has quit [kubrick.freenode.net irc.freenode.net]
screwt8 has quit [kubrick.freenode.net irc.freenode.net]
Beelsebob has quit [kubrick.freenode.net irc.freenode.net]
gim has quit [kubrick.freenode.net irc.freenode.net]
jlouis has quit [kubrick.freenode.net irc.freenode.net]
hcarty has quit [kubrick.freenode.net irc.freenode.net]
joshcryer has joined #ocaml
joshcryer has quit [Remote closed the connection]
Abo-Marwan has joined #ocaml
svenl has joined #ocaml
Hadaka has joined #ocaml
simon has joined #ocaml
flux has joined #ocaml
pattern has joined #ocaml
ulfdoz has joined #ocaml
Mr_Awesome has joined #ocaml
bebert has joined #ocaml
l_a_m has joined #ocaml
screwt811 has joined #ocaml
mattam has joined #ocaml
seafood has joined #ocaml
bla has joined #ocaml
eck has joined #ocaml
cmeme has joined #ocaml
asmanur has joined #ocaml
JohnnyL has joined #ocaml
hkBst has joined #ocaml
screwt8 has joined #ocaml
ertai_ has joined #ocaml
Beelsebob has joined #ocaml
opening has joined #ocaml
gim has joined #ocaml
love-pingoo has joined #ocaml
rwmjones has joined #ocaml
filp has joined #ocaml
jlouis has joined #ocaml
ozzloy has joined #ocaml
pango has joined #ocaml
ikaros has joined #ocaml
netx has joined #ocaml
schme has joined #ocaml
Zzompp has joined #ocaml
rog1 has joined #ocaml
gaja has joined #ocaml
acatout has joined #ocaml
eroyf has joined #ocaml
jonafan has joined #ocaml
Smerdyakov has joined #ocaml
guyzmo has joined #ocaml
zmdkrbou has joined #ocaml
messju has joined #ocaml
bebui has joined #ocaml
mbishop has joined #ocaml
hcarty has joined #ocaml
TaXules has joined #ocaml
smimou has joined #ocaml
tsuyoshi has joined #ocaml
jeremiah has joined #ocaml
Tov_enst has joined #ocaml
zvrba has joined #ocaml
unfo- has joined #ocaml
joshcryer has joined #ocaml
pango has quit [Remote closed the connection]
screwt8 has quit [Read error: 104 (Connection reset by peer)]
Beelsebob has quit [Connection timed out]
pango has joined #ocaml
rog1 has quit [Success]
Beelsebob has joined #ocaml
Beelsebob_ has joined #ocaml
oc14 has left #ocaml []
ikaros_ has joined #ocaml
seafood_ has joined #ocaml
<JohnnyL>
wouldn't it make sense to have 'let in' inferred as default (without having to type it) from a compiler design standpoint?
<tsuyoshi>
what do you mean by "from a compiler design standpoint"?
Beelsebob has quit [Read error: 110 (Connection timed out)]
seafood_ has quit []
gene9 has joined #ocaml
ikaros has quit [Read error: 110 (Connection timed out)]
<JohnnyL>
tsuyoshi, tsuyoshi the parsing of the syntax.
<JohnnyL>
ocaml is alot like lisp.
<tsuyoshi>
well if you were to accept "foo = bar" rather than "let foo = bar"..
<tsuyoshi>
"foo = bar" is already a valid statement, so it's a little confusing
<Smerdyakov>
Already a valid _expression_....
<tsuyoshi>
yes, sometimes I think about writing a preprocessor that implements a lisp syntax for ocaml
<flux>
for example: if let a = 42 in a = 42 then .. -> if a = 42 a = 42?
<tsuyoshi>
would make macros a hell of a lot easier
<flux>
tsuyoshi, why not use the one that comes with 3.10.0? or even perhaps earlier..
<flux>
pa_lisp.cmo
<JohnnyL>
tsuyoshi, i guess your right. let in however much is used is nice to see that the function defined will be utilized as a sort of reference after the definition block of 'in' in 'let in'.
Beelsebob_ has quit []
<tsuyoshi>
flux: I didn't know there was one already
gene9 has quit [Read error: 110 (Connection timed out)]
<flux>
I wonder if anyone actually uses it, though
pango has quit [Remote closed the connection]
<tsuyoshi>
hey.. it's missing defmacro
<tsuyoshi>
that's kind of missing the point
<flux>
I haven't done any camlp4, but I think you can still use the syntax with it
<flux>
quotations etc
pango has joined #ocaml
<tsuyoshi>
hmm.. I will have to take a look at this further
gene9 has joined #ocaml
apastinen has joined #ocaml
<apastinen>
hi, newbie question. how can i get current time as a string. thnx
<tsuyoshi>
short answer is: you can't, long answer is that you can get the current time using some functions in the unix module, but you have to convert it to a string yourself
<apastinen>
eh..
<tsuyoshi>
I found this rather annoying as I had to do it just last week
<apastinen>
how about time as an int or long?
<tsuyoshi>
but actually I think ocamlnet has a function for doing it too
piggybox has joined #ocaml
<tsuyoshi>
apastinen: not as an int exactly, but you can get a float of the seconds since unix epoch
<apastinen>
tsuyoshi: ok.. well thanks..
<tsuyoshi>
val time : unit -> float
<tsuyoshi>
Return the current time since 00:00:00 GMT, Jan. 1, 1970, in seconds.
<tsuyoshi>
that's in Unix
<apastinen>
tsuyoshi: have you check calendar library? there seems to be some functions..
<tsuyoshi>
if you want an integer you can just use truncate (Unix.time ())
<marmottine_>
I am using emacs. How can I have "syntax highlighting" ? what sould I download ?
<rwmjones>
marmottine_, grab tuareg-mode
<marmottine_>
thanks
<marmottine_>
I have download tuareg-mode, but my code is always black. However, .c or .py files are colored. My file name is tri.cmxa . What's wrong ?
pango has quit [Remote closed the connection]
<rwmjones>
marmottine_, I'm assuming you've installed tuareg & followed the instructions about updating your .emacs file?
<marmottine_>
it works with the name tri.ml
<rwmjones>
hmmm you're editing a file tri.cmxa? those are binary libraries generated by the compiler
<marmottine_>
no, I haven't updating my .emacs file
<marmottine_>
ok, that's why it was not colored :)
<marmottine_>
my tutorial is in english, and I don't understand english very well :)
<marmottine_>
thank you rwmjones
pango has joined #ocaml
<JohnnyL>
what's the theory behind Printf.printf?
* zmdkrbou
would say : none
<JohnnyL>
-theory?
ertai_ has quit [Read error: 110 (Connection timed out)]
<rwmjones>
JohnnyL, what do you mean by "theory"?
<JohnnyL>
let in is the almost the same thing as ( in lisp.
<JohnnyL>
rwmjones, theory as in what's the logic behind that attrocity.
<JohnnyL>
;; another one
<zmdkrbou>
JohnnyL: my "none" meant that you need a more powerful type system to handle printf correctly
<JohnnyL>
why?
<JohnnyL>
Wouldn't it make sense to name it out.printf?
<zmdkrbou>
JohnnyL: what do you mean naming ? that's not a naming problem
<zmdkrbou>
it's a typing problem
<JohnnyL>
well yes, it is a problem.
* JohnnyL
doesn't understand: if t2>0. then if t1>0. then t1 else t2 else infinity
<JohnnyL>
how does the second else get evaluated. and how?
<JohnnyL>
opps
<JohnnyL>
i mean the else infinity.
<marmottine_>
infinity is evaluated in this case : (not t2>0) and (not t1>0)
<JohnnyL>
ok
<JohnnyL>
gotcha
filp has quit ["Bye"]
Tetsuo has quit ["Leaving"]
love-pingoo has quit ["Connection reset by pear"]
screwt811 has quit [Read error: 104 (Connection reset by peer)]
Abo-Marwan has quit [Success]
screwt811 has joined #ocaml
mulander has joined #ocaml
bluestorm_ has joined #ocaml
Yoric[DT] has joined #ocaml
<Yoric[DT]>
hi
nuncanada has joined #ocaml
<Yoric[DT]>
Has anyone written a syntax extension involving lazyness ?
ita has joined #ocaml
joshcryer has quit [Read error: 104 (Connection reset by peer)]
joshcryer has joined #ocaml
Ogedei has joined #ocaml
filp has joined #ocaml
screwt811 has quit [Remote closed the connection]
bluestorm_ has quit [Remote closed the connection]
ertai_ has joined #ocaml
david_koontz has joined #ocaml
ita has quit ["Hasta luego!"]
<apastinen>
will the Unix.time work on windows?
<apastinen>
will the Unix.time work on windows?
<apastinen>
ups..
<flux>
I haven't actually tried, but I'd be surprised if not; the Unix-module is implemented in Windows too
<apastinen>
ah ok.. funny name anyway if it is crossplatform module..
<jonafan>
# Unix.time
<jonafan>
- : unit -> float = <fun>
<jonafan>
#Unix.time();;
<jonafan>
- : float = 1195499257
<jonafan>
.
<JohnnyL>
# 1+1;;
<Yoric[DT]>
Ok, found my problem.
<Yoric[DT]>
JohnnyL: -: int = 2
<Yoric[DT]>
:)
<JohnnyL>
lol
<JohnnyL>
no online caml?
<JohnnyL>
ocaml?
<Yoric[DT]>
There's XavierBot around, somewhere.
kelaouchi has joined #ocaml
greg_ has joined #ocaml
xavierbot has joined #ocaml
<rwmjones>
this JohnnyL has been trolling this channel all day
<Yoric[DT]>
:/
Zolaa has joined #ocaml
<apastinen>
what is xavierbot?
<apastinen>
oh.. uncle G found it..
greg_ has quit ["Quitte"]
<JohnnyL>
apastinen, ask for a bot, get a bot. hehe
<JohnnyL>
rwmjones, so sorry you think that way.
* JohnnyL
bows to the eternal in rwmjones
<rwmjones>
xavierbot, help
<xavierbot>
hello rwmjones, I am xavierbot 0.7, an OCaml toplevel
<xavierbot>
expr ;; evaluate expr in toplevel and print result
<xavierbot>
help help message
<xavierbot>
restart restart the toplevel
<xavierbot>
sleep go to sleep
<xavierbot>
wake wake me up from sleep
<mbishop>
xavierbot: wake
<apastinen>
eh..
<apastinen>
:D
<rwmjones>
let say_hello () = print_endline "Hello, world!" ;;
<xavierbot>
val say_hello : unit -> unit = <fun>
<rwmjones>
say_hello () ;;
<xavierbot>
Hello, world!
<xavierbot>
- : unit = ()
<rwmjones>
etc.
<apastinen>
is there some examples how to use regular expressions? (Str.xxxx)
<apastinen>
nice bot :)
<mbishop>
let x x y z = z x y in let x y = x (x y) in let x y = x (x y) in let x y = x (x y) in let x y = x (x y) in x;;
<xavierbot>
- : 'a ->
<xavierbot>
'b ->
<xavierbot>
(('c ->
<xavierbot>
(('d ->
<xavierbot>
(('e ->
<xavierbot>
(('f ->
<xavierbot>
(('g ->
<xavierbot>
(('h ->
<mbishop>
hahaha
<xavierbot>
(('i ->
<xavierbot>
(('j ->
<mbishop>
whoops :x
<mbishop>
I think I killed it :(
<apastinen>
you bastard :D
<mbishop>
xavierbot: help
<xavierbot>
hello mbishop, I am xavierbot 0.7, an OCaml toplevel
<xavierbot>
expr ;; evaluate expr in toplevel and print result
<xavierbot>
help help message
<xavierbot>
restart restart the toplevel
<xavierbot>
sleep go to sleep
<xavierbot>
wake wake me up from sleep
<mbishop>
hmm guess not
<rwmjones>
it only prints the first 10 lines, to stop it from flooding the channel
Tetsuo has joined #ocaml
<mbishop>
nice
<apastinen>
what do you call that what interpreter return when i write "1;;", like '- : int = 1'
|Catch22| has joined #ocaml
<JohnnyL>
xavierbot, [1;2;3]
<JohnnyL>
[1;2;3]
<mbishop>
[1;2;3];;
<xavierbot>
- : int list = [1; 2; 3]
<JohnnyL>
[1;5;2];;
<xavierbot>
- : int list = [1; 5; 2]
<JohnnyL>
(3,"hello);;
<JohnnyL>
(3,"hello");;
Tetsuo has quit ["Leaving"]
Tetsuo has joined #ocaml
<rwmjones>
xavierbot, reset
<rwmjones>
xavierbot, restart
<xavierbot>
.........");;
<xavierbot>
<xavierbot>
<xavierbot>
Characters 24-30:
<xavierbot>
String literal not terminated
<xavierbot>
Objective Caml version 3.10.0
<xavierbot>
Camlp4 Parsing version 3.10.0
<rwmjones>
well well, a bug
<pango>
apastinen: it doesn't seem to have a special name in the official documentation
<apastinen>
pango: ok, can i print *it* if in source code file?
<apastinen>
ups.. if i compile source code file..
<pango>
ocaml{c,opt} -i
<pango>
is that what you're looking for?
<apastinen>
almost.. i like to debug some stuff in code..
<apastinen>
actually i already found what was wrong.. but for future purposes
<hcarty>
apastinen: I think you may have to use the toplevel, or the compiler -i option if I understand correctly
<apastinen>
hmh.. actually i think that ocaml is not so dynamic language that it is possible what i think.. maby i have do too much code with ruby..
<hcarty>
I don't think the compiler keeps type information around for long enough to do such a thing
<apastinen>
yeah..
<hcarty>
You can #use "foo.ml";; if that helps
<hcarty>
But it's not "in code" as you said
<pango>
I'm still not sure of what you're looking for. Nor that I've seen OCaml being called a dynamic language in the past
<apastinen>
actually i am not even sure what i did want.. :) still learning the language.. ;)
<pango>
if you're interested in all inferred types you can compile with -dtypes and use emacs
<apastinen>
i use vim.
<pango>
if you're interested in values you can use the toplevel or the debugger
<hcarty>
apastinen: I think there's a camlannot.vim or something along those lines available
<apastinen>
ok. thanks guys. i will try debugger some day.