buluca has quit [Read error: 113 (No route to host)]
ednarofi has quit [kubrick.freenode.net irc.freenode.net]
zmdkrbou has quit [kubrick.freenode.net irc.freenode.net]
dbueno has quit [kubrick.freenode.net irc.freenode.net]
joshcryer has quit [kubrick.freenode.net irc.freenode.net]
TaXules has quit [kubrick.freenode.net irc.freenode.net]
bebui has quit [kubrick.freenode.net irc.freenode.net]
eroyf has quit [kubrick.freenode.net irc.freenode.net]
haelix has quit [kubrick.freenode.net irc.freenode.net]
Hadaka has quit [kubrick.freenode.net irc.freenode.net]
netx has quit [kubrick.freenode.net irc.freenode.net]
seafood has quit [kubrick.freenode.net irc.freenode.net]
acatout has quit [kubrick.freenode.net irc.freenode.net]
flux has quit [kubrick.freenode.net irc.freenode.net]
tty56 has quit [kubrick.freenode.net irc.freenode.net]
ulfdoz has quit [kubrick.freenode.net irc.freenode.net]
gim has quit [kubrick.freenode.net irc.freenode.net]
YlandeFaran has quit [kubrick.freenode.net irc.freenode.net]
hnaz has quit [kubrick.freenode.net irc.freenode.net]
svenl has quit [kubrick.freenode.net irc.freenode.net]
mvitale has quit [kubrick.freenode.net irc.freenode.net]
lde`` has quit [kubrick.freenode.net irc.freenode.net]
gaja has quit [kubrick.freenode.net irc.freenode.net]
aij has quit [kubrick.freenode.net irc.freenode.net]
bla has quit [kubrick.freenode.net irc.freenode.net]
piggybox_ has quit [kubrick.freenode.net irc.freenode.net]
authentic has quit [kubrick.freenode.net irc.freenode.net]
magius_pendragon has quit [kubrick.freenode.net irc.freenode.net]
iratsu has quit [kubrick.freenode.net irc.freenode.net]
mbishop has quit [kubrick.freenode.net irc.freenode.net]
jdavis_ has quit [kubrick.freenode.net irc.freenode.net]
Abo-Marwan14 has quit [kubrick.freenode.net irc.freenode.net]
screwt881 has quit [kubrick.freenode.net irc.freenode.net]
pango has quit [kubrick.freenode.net irc.freenode.net]
jlouis__ has quit [kubrick.freenode.net irc.freenode.net]
pattern has quit [kubrick.freenode.net irc.freenode.net]
diakopter has quit [kubrick.freenode.net irc.freenode.net]
noss has quit [kubrick.freenode.net irc.freenode.net]
mattam has quit [kubrick.freenode.net irc.freenode.net]
zvrba has quit [kubrick.freenode.net irc.freenode.net]
malc_ has quit [kubrick.freenode.net irc.freenode.net]
psnively has quit [kubrick.freenode.net irc.freenode.net]
azoic has quit [kubrick.freenode.net irc.freenode.net]
l_a_m has quit [kubrick.freenode.net irc.freenode.net]
jonafan has quit [kubrick.freenode.net irc.freenode.net]
Sparkles has quit [kubrick.freenode.net irc.freenode.net]
olegfink has quit [Remote closed the connection]
ednarofi has joined #ocaml
zmdkrbou has joined #ocaml
mvitale has joined #ocaml
dbueno has joined #ocaml
tty56 has joined #ocaml
Abo-Marwan14 has joined #ocaml
screwt881 has joined #ocaml
pango has joined #ocaml
malc_ has joined #ocaml
piggybox_ has joined #ocaml
jlouis__ has joined #ocaml
psnively has joined #ocaml
lde`` has joined #ocaml
joshcryer has joined #ocaml
pattern has joined #ocaml
YlandeFaran has joined #ocaml
l_a_m has joined #ocaml
gaja has joined #ocaml
iratsu has joined #ocaml
jonafan has joined #ocaml
azoic has joined #ocaml
diakopter has joined #ocaml
noss has joined #ocaml
ulfdoz has joined #ocaml
authentic has joined #ocaml
netx has joined #ocaml
magius_pendragon has joined #ocaml
Sparkles has joined #ocaml
TaXules has joined #ocaml
eroyf has joined #ocaml
bebui has joined #ocaml
haelix has joined #ocaml
gim has joined #ocaml
zvrba has joined #ocaml
jdavis_ has joined #ocaml
mbishop has joined #ocaml
hnaz has joined #ocaml
Hadaka has joined #ocaml
flux has joined #ocaml
acatout has joined #ocaml
svenl has joined #ocaml
seafood has joined #ocaml
bla has joined #ocaml
aij has joined #ocaml
mattam has joined #ocaml
olegfink has joined #ocaml
fremo has quit [Remote closed the connection]
fremo has joined #ocaml
baruk has joined #ocaml
Mr_Awesome has joined #ocaml
[azoic] has joined #ocaml
mordaunt has joined #ocaml
seafoodX has joined #ocaml
krumms has joined #ocaml
<krumms>
hi all - quick question: should I be concerned about "Warning S: this expression should have type unit" messages? I don't necessarily want to have to ignore() any non-unit expression ...
<psnively>
What's the expression?
<malc_>
krumms: yes you should
<krumms>
malc_: why is that?
<psnively>
In general, I agree. Warnings are... um... warnings.
<krumms>
psnively: lablgtk code ... seems that window#event#connect#delete & window#connect#destroy both return a non-unit value
<psnively>
Of what type?
yminsky has joined #ocaml
ednarofi has quit [Read error: 110 (Connection timed out)]
<malc_>
krumms: Another thing is functions which are solely executed for their side effect. It's quite easy to end up with code that returns a closure instead of doing something. Been there too.
<krumms>
psnively: trying to track down the type information now ... but irrespective of what it is, I don't need the return value
<psnively>
Yeah, oftentimes bindings to C libraries will do that: return something you may or may not need.
ednarofi has joined #ocaml
<krumms>
psnively: what would you recommend? should I be explicitly ignore()ing the return values?
<psnively>
Yes.
<krumms>
malc_: thanks
<krumms>
psnively: hmm okie dokie
<psnively>
That's one annoying difference between OCaml and C.
<psnively>
C couldn't care less if you ignore a return value.
<krumms>
well it just seems nasty that all my GUI code is going to be littered with ignore()
<krumms>
anyway, thanks for that :)
<psnively>
Well, you're crossing the chasm from a weakly-typed language to a strongly-typed one. This is part of the cost. And you're welcome. :-D
jlouis__ has quit [Read error: 110 (Connection timed out)]
malc_ has quit ["leaving"]
yminsky has quit []
seafoodX has quit [Read error: 110 (Connection timed out)]
mvitale has quit [Read error: 110 (Connection timed out)]
psnively has quit []
ednarofi has quit [Read error: 110 (Connection timed out)]
[azoic] has quit []
mordaunt has quit ["Konversation terminated!"]
piggybox__ has joined #ocaml
Jedai has joined #ocaml
<flux>
krumms, an alternative is let () = xxx in ..
<flux>
uh, I mean, let _ = ..
<krumms>
flux - ah, that looks a little bit cleaner. Thanks!
kelaouchi has joined #ocaml
piggybox_ has quit [Connection timed out]
Torment has quit [SendQ exceeded]
ygrek has joined #ocaml
<krumms>
is there any particular reason why top-level let-bindings don't use the "in" keyword, but local expressions do?
skal has joined #ocaml
joshcryer has quit [Read error: 104 (Connection reset by peer)]
<pango>
krumms: because they're not the same construct, in the toplevel or anywhere else
buluca has joined #ocaml
<krumms>
how do they differ?
<pango>
the scope of top-level let-bindings end at the end of current module
<krumms>
sure
<pango>
in the toplevel the current module does not end, so bindings stay visible forever (or until they're shadowed by another)
<pango>
(in "top-level let-bindings" above, I meant let without in)
<pango>
(not lets in the context of the interactive loop)
<krumms>
ah, sure
buluca has quit [Read error: 113 (No route to host)]
seafoodX has joined #ocaml
<flux>
btw, it's not strictly a feature of C that returned values are ignored; there are similarly C-compilers that produce the warning as well
ygrek has quit [Remote closed the connection]
leo037 has joined #ocaml
leo037 has quit [Remote closed the connection]
screwt881 has quit [Read error: 104 (Connection reset by peer)]
Abo-Marwan14 has quit [Read error: 104 (Connection reset by peer)]
leo037 has joined #ocaml
pantsd has joined #ocaml
oc13 has joined #ocaml
smimou has joined #ocaml
buluca has joined #ocaml
joshcryer has joined #ocaml
oc13 has left #ocaml []
Abo-Marwan14 has joined #ocaml
screwt881 has joined #ocaml
buluca has quit [Read error: 110 (Connection timed out)]
unfo- has joined #ocaml
mvitale has joined #ocaml
piggybox__ has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
seafoodX has quit []
joshcryer has quit [Connection timed out]
ploc_toulouse has joined #ocaml
<ploc_toulouse>
yop
piggybox has joined #ocaml
ploc_toulouse has left #ocaml []
ploc has joined #ocaml
* ploc
mattam
ploc has left #ocaml []
crathman has joined #ocaml
Tetsuo has joined #ocaml
buluca has quit [Read error: 110 (Connection timed out)]
olegfink has quit ["WeeChat 0.2.5"]
[azoic] has joined #ocaml
pango has quit [Remote closed the connection]
crathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.7/2007091417]"]
ygrek has joined #ocaml
dbueno has quit ["Leaving"]
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
pango has joined #ocaml
leo037 has quit ["Leaving"]
[azoic] has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
dbueno has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
kelaouchi has quit [Read error: 110 (Connection timed out)]
Abo-Marwan14 has quit [Read error: 104 (Connection reset by peer)]
screwt881 has quit [Read error: 104 (Connection reset by peer)]
buluca has joined #ocaml
tomppa has joined #ocaml
psnively has joined #ocaml
tomppa has quit [Remote closed the connection]
ygrek has quit ["Leaving"]
love-pingoo has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
jlouis has joined #ocaml
pantsd has quit [Read error: 110 (Connection timed out)]
pantsd has joined #ocaml
ita has joined #ocaml
Torment has joined #ocaml
bluestorm has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
mvitale has quit [Read error: 110 (Connection timed out)]
postalchris has joined #ocaml
pantsd has quit [Connection timed out]
Mr_Awesome has joined #ocaml
kelaouchi has joined #ocaml
dropdrive has joined #ocaml
ygrek has joined #ocaml
skal has quit [Read error: 104 (Connection reset by peer)]
joshcryer has joined #ocaml
joshcryer has quit [Read error: 104 (Connection reset by peer)]
<bluestorm>
what are you using to embed OCaml code into a LaTeX document ?
<bluestorm>
i think listings has an OCaml mode, but maybe there is something more "local"
piggybox has quit [Connection timed out]
ygrek has quit [Remote closed the connection]
<psnively>
Doesn't ocamldoc generate LaTeX if you want?
Tetsuo has quit ["Leaving"]
<bluestorm>
hm
<bluestorm>
but this would be for documentation of a whole module
<bluestorm>
i only want to nicely insert some snippets of code
piggybox has joined #ocaml
jlouis has quit [Read error: 104 (Connection reset by peer)]
Abo-Marwan14 has joined #ocaml
TaXules has quit [Remote closed the connection]
TaXules has joined #ocaml
postalchris has quit [Read error: 110 (Connection timed out)]
<psnively>
Oh. Hmmm.
<bluestorm>
no need to worry about that, listings will be fine
<psnively>
OK. :-)
<bluestorm>
actually i use verbatim for now and i'm satisfied enough :p
<psnively>
Fair enough. :-D
jlouis has joined #ocaml
ita has quit ["Hasta luego!"]
<jonafan>
what if i can't figure out how to compile files together with the compiler
<psnively>
?
<jonafan>
i have just two files
<jonafan>
stuff.ml and main.ml
<jonafan>
main.ml uses stuff.ml stuff
<bluestorm>
ocamlc stuff.ml main.ml -o test ?
<psnively>
==bluestorm
<jonafan>
now it's basically saying it doesn't know about nums.cma
<jonafan>
ocamlc nums.cma stuff.ml main.ml -o test
<jonafan>
oh this is my mistake
<jonafan>
i was messing with stuff
<jonafan>
okay now it main.ml can't find stuff in stuff.ml
<bluestorm>
hm
<bluestorm>
did you prefixed stuff.ml values in mail.ml with Stuff. ?
<bluestorm>
as we do Array.length for example
<bluestorm>
you should use Stuff.stuff
<jonafan>
i hadn't put the stuff in stuff in a module
<bluestorm>
oresle have an "open Stuff" at the beginning of main.ml
<bluestorm>
there is a module implicitely created by the file
<jonafan>
let me tryt his
<jonafan>
okay
rutlov has joined #ocaml
<jonafan>
excellent
<jonafan>
i didn't know the thing about the module thingy
<psnively>
Yeah; OCaml separate compilation basically means "modules."
rutlov has left #ocaml []
screwt881 has joined #ocaml
krumms_ has joined #ocaml
zmdkrbou has quit [Read error: 110 (Connection timed out)]