gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
bzzbzz has quit [Read error: Connection reset by peer]
ikaros has quit [Quit: Leave the magic to Houdini]
strlen has joined #ocaml
nimred has quit [Quit: Lost terminal]
lamawithonel has quit [Remote host closed the connection]
bzzbzz has joined #ocaml
tmaeda has joined #ocaml
boscop__ has joined #ocaml
boscop_ has quit [Ping timeout: 276 seconds]
lamawithonel has joined #ocaml
somesmlusingpers has joined #ocaml
rfg has quit [Quit: rfg]
lamawithonel has quit [Ping timeout: 264 seconds]
somesmlusingpers has quit [Remote host closed the connection]
pockets_of_chees has joined #ocaml
<pockets_of_chees> how hard is it to reverse compile ocaml byte code
<pockets_of_chees> or is it impossible
<thelema> pockets_of_chees: that's a fair question I've never really heard discussed. I imagine it'd be easier than a lot of languages, as the compiler doesn't rewrite what you give it too much
<pockets_of_chees> Well I want to try so I can get out of taking a compiler class
<thelema> if you can decompile ocaml byte code, you don't have to build a compiler?
<thelema> that said, it can do a number of optimizations, so you definitely won't get exactly your original code back out. In fact, there's multiple interpretations of ocaml byte code...
<pockets_of_chees> Is there a why do tell the compiler not to optimize?
<pockets_of_chees> *way
<thelema> hmmm, not that I know of.
<thelema> you can turn off inlining...
<thelema> and the fundamental problem is that 0 = [] -- the constant 0 is the same as the empty list at runtime
<pockets_of_chees> hmmm
<thelema> a number of very different things are compiled to ints, meaning that only by analyzing what the code is doing (in a non-automated way as far as I can tell) can one distinguish these
<thelema> if I were you, I'd just write the compiler in ocaml - it's a good experience
<thelema> there's not as much as you think in a compiler, but room for plenty of work to make it good
<pockets_of_chees> Yeah I probably will
pockets_of_chees has left #ocaml []
gnuvince has quit [Remote host closed the connection]
gnuvince has joined #ocaml
gnuvince has quit [Ping timeout: 240 seconds]
gnuvince_ has joined #ocaml
ulfdoz has joined #ocaml
init1 has joined #ocaml
nimred has joined #ocaml
gameover__ has joined #ocaml
boscop_ has joined #ocaml
boscop__ has quit [Read error: Connection reset by peer]
gameover__ has quit [Ping timeout: 240 seconds]
gameover__ has joined #ocaml
ulfdoz has quit [Quit: kernel update]
gameover__ has quit [Read error: Connection reset by peer]
ikaros has joined #ocaml
ulfdoz has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
init1 has quit [Quit: Lost terminal]
init1 has joined #ocaml
boscop_ is now known as boscop
Associat0r has joined #ocaml
pikachuyann has joined #ocaml
Amorphous has quit [Ping timeout: 272 seconds]
Edward has joined #ocaml
Amorphous has joined #ocaml
yezariaely has joined #ocaml
yezariaely has left #ocaml []
mbac has quit [Read error: Connection reset by peer]
rfg has joined #ocaml
Fullma has quit [Read error: Connection reset by peer]
pikachuyann has quit [Ping timeout: 240 seconds]
pikachuyann has joined #ocaml
rgrig has joined #ocaml
rmitt_ has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
palomer has quit [Ping timeout: 245 seconds]
ulfdoz has joined #ocaml
ztfw has joined #ocaml
Yoric has joined #ocaml
init1 has quit [Quit: Quitte]
mbac has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 264 seconds]
Anarchos has joined #ocaml
ftrvxmtrx has joined #ocaml
Anarchos has quit [Quit: rebooting]
Edward has quit []
rmitt_ has quit [Quit: Page closed]
<adrien> I'm trying to understand why gettext uses its own (half-baked) routine to find a C++ compiler, anyone used to autotools/m4? http://pastebin.com/MZkv74U3 (it mentions the reason in the first comments but I don't understand what was the issue)
<adrien> (and, yes, this is related to ocaml ;-) )
albacker__ is now known as albacker
albacker has quit [Changing host]
albacker has joined #ocaml
albacker has quit [Changing host]
albacker has joined #ocaml
lamawithonel has joined #ocaml
lamawithonel has quit [Ping timeout: 255 seconds]
sdj has quit [Ping timeout: 255 seconds]
rfg has left #ocaml []
<rgrig> adrien, if you have to explain how a Q is related to OCaml, then there's probably a better place to get an A
<rgrig> adrien, the comments seem to say that it checks if namespaces are supported by the C++ compiler
<adrien> rgrig: I know but it's definitely related and people who know m4/autotools well are hard to find, also what I don't understand is: "Use a modified version of AC_PROG_CXX_WORKS that does not exit upon failure."
jonathandav has quit [Read error: Connection reset by peer]
mfp has quit [Ping timeout: 245 seconds]
CoryDambach has quit [Quit: Leaving]
rgrig has left #ocaml []
Fullma has joined #ocaml
mfp has joined #ocaml
ztfw has quit [Remote host closed the connection]
<pikachuyann> bonne nuit / good night !
pikachuyann has quit [Quit: nenuit :-)]
Associat0r has quit [Ping timeout: 245 seconds]
Yoric has quit [Quit: Yoric]
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
lpereira has joined #ocaml
lamawithonel has joined #ocaml
lpereira has quit [Quit: Leaving.]
orbitz has quit [Quit: Lost terminal]
orbitz has joined #ocaml