q66 has quit [Remote host closed the connection]
tane has joined #ocaml
toolslive has quit [Quit: Leaving]
ollehar1 has quit [Ping timeout: 256 seconds]
darkf has joined #ocaml
tane has quit [Quit: Verlassend]
ollehar has quit [Ping timeout: 248 seconds]
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 252 seconds]
mfp has quit [Ping timeout: 248 seconds]
mfp has joined #ocaml
darkf_ is now known as darkf
yacks has joined #ocaml
oriba has quit [Quit: oriba]
fasta_ has joined #ocaml
fasta has quit [Ping timeout: 240 seconds]
paddymahoney has joined #ocaml
ulfdoz has quit [Ping timeout: 252 seconds]
emmanuelux has joined #ocaml
destrius has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
derek_c has quit [Quit: Lost terminal]
gnuvince has quit [Ping timeout: 245 seconds]
gnuvince has joined #ocaml
mikurubeam has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
paddymahoney has quit [Remote host closed the connection]
mikurubeam has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
ggole has joined #ocaml
zpe has joined #ocaml
madroach has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
mikurubeam has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
paddymahoney has joined #ocaml
mikurubeam has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
thelema has quit [Remote host closed the connection]
thelema_ has joined #ocaml
cdidd has quit [Remote host closed the connection]
ttamttam has joined #ocaml
derek_c has joined #ocaml
ttamttam has quit [Remote host closed the connection]
kaustuv has left #ocaml []
Kakadu has joined #ocaml
gnuvince has quit [Remote host closed the connection]
paddymahoney has quit [Remote host closed the connection]
frogfoodeater has quit [Ping timeout: 240 seconds]
gnuvince has joined #ocaml
frogfoodeater has joined #ocaml
Cyanure has joined #ocaml
ttamttam has joined #ocaml
Yoric has joined #ocaml
derek_c has quit [Ping timeout: 245 seconds]
Kakadu has joined #ocaml
frogfoodeater has quit [Ping timeout: 272 seconds]
Pantoufle has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
anderse has joined #ocaml
frogfoodeater has joined #ocaml
awm22 has quit [Quit: Leaving.]
Cyanure has quit [Remote host closed the connection]
Snark has joined #ocaml
yacks has quit [Ping timeout: 240 seconds]
weie_ has joined #ocaml
yacks has joined #ocaml
weie has quit [Ping timeout: 245 seconds]
yacks has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
ollehar has joined #ocaml
trep has quit [Read error: Connection reset by peer]
yacks has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
thomasga has joined #ocaml
anderse has quit [Quit: anderse]
hkBst has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
mika1 has joined #ocaml
cago has joined #ocaml
wwilly has joined #ocaml
Neros has joined #ocaml
tane has joined #ocaml
clog has joined #ocaml
clog has joined #ocaml
_andre has joined #ocaml
mcclurmc_laptop is now known as mcclurmc
ttamttam has joined #ocaml
jbrown has joined #ocaml
Neros has quit [Ping timeout: 272 seconds]
mfp has quit [Read error: Connection reset by peer]
darkf_ has joined #ocaml
cdidd has joined #ocaml
darkf has quit [Disconnected by services]
darkf_ is now known as darkf
mfp has joined #ocaml
rks_ has joined #ocaml
rks has quit [Ping timeout: 246 seconds]
mfp has quit [Ping timeout: 272 seconds]
mfp has joined #ocaml
<
companion_cube>
ho
<
adrien_oww>
ho ho ho
* Kakadu
Have relied to 4 hours old `bonjour` and now feel like an idiot
<
Kakadu>
CAn somebody explain in a few word how lablgtk makes memory managment of objects created at C-side?
<
adrien_oww>
hmmmmmmmmmmm
* adrien_oww
has forgotten
rks_ is now known as rks
<
Kakadu>
Does it allow manual memory management to user?
<
adrien_oww>
#destroy
q66 has joined #ocaml
<
adrien_oww>
dunno if it's invoked automatically
<
Kakadu>
Are object pools a common pattern for lablgtk?
<
adrien_oww>
haven't noticed it
awm22 has quit [Quit: Leaving.]
beckerb has joined #ocaml
awm22 has joined #ocaml
yacks has quit [Quit: Leaving]
NaCl_ is now known as NaCl
<
Kakadu>
arrrgh. My Qt data models are stupid and buggy. Why it does not report changes to QML?
mort___ has quit [Quit: Leaving.]
sc0ty has joined #ocaml
mikurubeam has joined #ocaml
yacks has joined #ocaml
Yoric has joined #ocaml
mikurubeam has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
awm22 has quit [Quit: Leaving.]
mikurubeam has joined #ocaml
awm22 has joined #ocaml
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I was trying to tell you).]
Uvs has joined #ocaml
mikurubeam has joined #ocaml
ollehar has joined #ocaml
ahokaomaeha has joined #ocaml
mikurubeam has quit [Read error: Connection reset by peer]
ahokaomaeha is now known as mikurubeam
mikurubeam has quit [Client Quit]
mikurubeam has joined #ocaml
djcoin has joined #ocaml
amaloz has joined #ocaml
yacks has quit [Remote host closed the connection]
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I was trying to tell you).]
mikurubeam has joined #ocaml
smondet has joined #ocaml
yacks has joined #ocaml
sc0ty has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
weie_ has quit [Read error: Connection reset by peer]
weie has joined #ocaml
groovy2shoes has joined #ocaml
ollehar1 has joined #ocaml
darkf has quit [Quit: Leaving]
Zeev has joined #ocaml
mikurubeam has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
mika1 has quit [Quit: Leaving.]
cago has quit [Ping timeout: 272 seconds]
mikurubeam has joined #ocaml
Itewsh has joined #ocaml
Itewsh has quit [Read error: Connection reset by peer]
Itewsh has joined #ocaml
Kakadu has joined #ocaml
asmanur_ has quit [Ping timeout: 264 seconds]
asmanur has joined #ocaml
Cyanure has joined #ocaml
Itewsh has quit [Remote host closed the connection]
hkBst has quit [Quit: Konversation terminated!]
mort___ has joined #ocaml
mikurubeam has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
beckerb has quit [Quit: Konversation terminated!]
beckerb has joined #ocaml
mattrepl has joined #ocaml
beckerb has quit [Ping timeout: 245 seconds]
ttamttam has quit [Quit: ttamttam]
Yoric has quit [Ping timeout: 246 seconds]
tane has joined #ocaml
stephendwyer has left #ocaml []
mikurubeam has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
q66 has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
groovy2shoes has quit [Quit: Computer has gone to sleep]
ttamttam has joined #ocaml
tane has quit [Quit: Verlassend]
<
hcarty>
tonyg: That gist has rpath pieces as well - you really only need 7 of those lines for the static linking piece
<
hcarty>
thelema_: ^^ an update to the rpath plugin from the other day
ontologiae has quit [Ping timeout: 240 seconds]
<
tonyg>
hcarty: thanks!
<
tonyg>
incidentally, -cclib -static didn't work for me on OS X (or Windows, for that matter)
<
hcarty>
Only tested on Linux - I'm not too surprised I guess
mikurubeam has quit [Remote host closed the connection]
<
hcarty>
I don't know how the magic of static vs dynamic linking varies from one platform to the next
mcclurmc has quit [Ping timeout: 252 seconds]
stephendwyer has joined #ocaml
q66 has joined #ocaml
mort___ has quit [Quit: Leaving.]
<
thelema_>
hcarty: any chance it will be pushed upstream?
mye_ has joined #ocaml
mye has quit [Ping timeout: 240 seconds]
mye_ is now known as mye
<
ollehar1>
help? does anybody want to show how to use this linear type monad?
<
thelema_>
ollehar1: the test value is an example of how to ue it.
<
thelema_>
the implementation is only a stub; no actual opening/closing is done, only printing when such an operation would be done.
<
ollehar1>
yes, I know, but I can't even get the stub to run :(
<
thelema_>
works for me in the ocaml toplevel
<
ollehar1>
no wait!
<
thelema_>
how are you trying to run it?
<
ollehar1>
he added the test, I didn't see it
<
ollehar1>
I'll try the test first...
derek_c has joined #ocaml
tane has joined #ocaml
derek_c has quit [Quit: leaving]
Yoric has joined #ocaml
anonico has joined #ocaml
anonico has left #ocaml []
mikurubeam has joined #ocaml
Uvs has quit [Quit: Uvs]
mikurubeam has quit [Ping timeout: 246 seconds]
mikurubeam has joined #ocaml
ottbot has quit [Ping timeout: 272 seconds]
yacks has quit [Quit: Leaving]
ttamttam has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 240 seconds]
Cyanure has quit [Ping timeout: 252 seconds]
thelema_ is now known as thelema
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I have been trying to tell you all along).]
karswell` has quit [Remote host closed the connection]
mikurubeam has joined #ocaml
ottbot has joined #ocaml
_andre has quit [Quit: leaving]
Cyanure has joined #ocaml
notk0 has joined #ocaml
<
notk0>
hey guys :)
amaloz has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
Cyanure has quit [Ping timeout: 248 seconds]
ottbot has quit [Ping timeout: 264 seconds]
Cyanure has joined #ocaml
pkrnj has joined #ocaml
<
adrien>
well, crap, my bytecode executables which were very small were not compiled with -custom
<
adrien>
so that adds some space but it's still smaller than native executables
<
thelema>
someone should spend some time eliminating unused pure functions from modules at link time.
mye_ has joined #ocaml
<
adrien>
I'm pretty sure you can hack that
mye_ has quit [Client Quit]
<
adrien>
fairly easily
<
thelema>
syntactic identification (as done for generalization) would suffice for everyone not writing crazy code.
<
adrien>
well, you can have false positives (pure functions thought to be impure) but you cannot have false negatives
<
adrien>
so even marking them will require some checks
mye has quit [Ping timeout: 246 seconds]
zpe has quit [Remote host closed the connection]
<
thelema>
no marks; if the value is defined as `let f <args> = ...`, then it's a function and can be eliminated
<
thelema>
no user marks
<
thelema>
this check is already done for generalizing weak polymorphic types
<
adrien>
and my custom-linked bytecode executable doesn't work ='( (probably a limitation of my cross-compilation patches)
<
adrien>
what about 'let fun arg1 = let x = 42 in fun () -> x'
<
thelema>
compile error, fun is a reserved word
<
rks>
thelema: smartass :D
<
thelema>
if you meant `let f = let x = 42 in fun () -> x`, then that's not syntactically a function\
<
adrien>
this is fairly common code afaik:
<
adrien>
# let id_generator = let cur = ref 0 in fun () -> incr cur; !cur
<
thelema>
and those would not be able to be eliminated.
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I have been trying to tell you all along).]
<
thelema>
because of the ref 0; this could have side effects
<
adrien>
arf; I couldn't understand why you mentionned "compile error"; I see now: s/fun/f/
<
thelema>
`let f arg1 = ...` is syntactically a function, and would be eliminable
gnuvince has quit [Remote host closed the connection]
<
adrien>
if you do:
<
thelema>
there is no possiblity of any side effect from pure function declarations like this, thus they can be removed
<
adrien>
let cur = ref 0
<
thelema>
pure isn't the right word.
<
thelema>
but maybe you get my meaning
<
rks>
the function isn't pure
<
adrien>
let f init = cur := init; fun () -> incr cur; !cur
<
rks>
but the declaration is
<
rks>
so what you said is "ok" :-'
<
rks>
(it just depends on how you parse it :p)
<
thelema>
rks: yes, not (pure function) declarations, but pure (function declarations)
<
thelema>
adrien: if f is not referenced, then f can be removed from the executable
<
rks>
(second that)
<
rks>
well thelema, it seems like a reasonable patch
<
rks>
why don't you do it? :)
<
thelema>
if only I could write it.
<
rks>
(or, why do you think it hasn't been done already?)
<
thelema>
linking is icky.
<
notk0>
what is a pure function
<
rks>
notk0: it's a function that's still a virgin.
frogfoodeater has joined #ocaml
<
notk0>
rks: in other words?
<
adrien>
thelema: I fail at trying to make counter-examples tonight :P
<
rks>
notk0: you want me to show you some pictures?
<
notk0>
what does it even mean a virgin? are you pure if you masturbate? or have anal sex or oral but not vaginal intecourse?
<
def-lkb>
notk0: depends on the implementation
<
thelema>
adrien: :) no worries.
<
notk0>
honestly tho, what is a pure function?
<
thizanne>
notk0: a function that always returns the same result when you give it the same parameters is a good idea for that
<
rks>
thizanne: unpure functions can do that.
<
notk0>
today during my compilation exam, there was a typing rule
<
notk0>
and it talked about pure and impure functions
<
thizanne>
rks: yes, but I think that the definition of "pure" is vague enough to make this idea quite right
<
rks>
thizanne: not in the context we were considering.
<
thizanne>
(or at least quite as wrong as any try to define it correctly)
<
notk0>
can programming impure functions help me not be a virgin anymore?
<
rks>
(sorry to have killed your discussion thelema)
<
notk0>
I think all my functions are already impure
<
thelema>
rks: no problem, it was about done
gnuvince has joined #ocaml
ollehar has quit [Ping timeout: 264 seconds]
ollehar1 has quit [Ping timeout: 256 seconds]
ollehar has joined #ocaml
gnuvince has quit [Remote host closed the connection]
ollehar1 has joined #ocaml
ohama has quit [Remote host closed the connection]
zpe has joined #ocaml
<
ollehar>
pure = has no side-effects
mikurubeam has joined #ocaml
notk0 has quit [Remote host closed the connection]
djcoin has quit [Quit: WeeChat 0.3.9.2]
zpe has quit [Ping timeout: 246 seconds]
frogfoodeater has quit [Ping timeout: 248 seconds]
ottbot has joined #ocaml
pkrnj has quit [Quit: Computer has gone to sleep.]
Cyanure has quit [Ping timeout: 240 seconds]
Cyanure has joined #ocaml
smondet has quit [Ping timeout: 272 seconds]
frogfoodeater has joined #ocaml
ollehar1 has quit [Ping timeout: 248 seconds]
ohama has joined #ocaml
mikurubeam has quit [Quit: +1 (Yes). -1 (No). i (What I have been trying to tell you all along).]
ulfdoz has joined #ocaml
ohama has quit [Remote host closed the connection]
ohama has joined #ocaml
emmanuelux has joined #ocaml
Cyanure has quit [Ping timeout: 248 seconds]
eikke has joined #ocaml
Snark has quit [Quit: Quitte]
ottbot has quit [Ping timeout: 240 seconds]
Pantoufle has quit [Ping timeout: 248 seconds]
leoncamel has quit [Ping timeout: 240 seconds]
destrius has joined #ocaml
pkrnj has joined #ocaml
Pantoufle has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
Nahra has quit [Ping timeout: 256 seconds]
Nahra has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]