jordjordjord has quit [Remote host closed the connection]
fold has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
philtor_ has quit [Ping timeout: 240 seconds]
jprakash has quit [Ping timeout: 240 seconds]
BitPuffin has quit [Ping timeout: 240 seconds]
alexst has joined #ocaml
jprakash has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
avsm has quit [Client Quit]
tnguyen has quit [Quit: tnguyen]
claudiuc has joined #ocaml
jprakash has quit [Quit: leaving]
tidren has joined #ocaml
badon has quit [Ping timeout: 240 seconds]
tidren has quit [Ping timeout: 240 seconds]
Arthur_R` is now known as Arthur_Raibow
penglingbo has joined #ocaml
SethTisue has quit [Quit: SethTisue]
girrig has joined #ocaml
jordjordjord has joined #ocaml
tidren has joined #ocaml
jordjordjord has quit [Remote host closed the connection]
tidren has quit [Ping timeout: 240 seconds]
jordjordjord has joined #ocaml
jordjordjord has quit [Remote host closed the connection]
claudiuc has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
jordjordjord has joined #ocaml
SethTisue has joined #ocaml
tidren has joined #ocaml
tidren has quit [Ping timeout: 240 seconds]
jordjordjord has quit [Remote host closed the connection]
SethTisue has quit [Quit: SethTisue]
wwilly has quit [Quit: This computer has gone to sleep]
q66 has quit [Quit: Leaving]
yarl_ has quit [Quit: Page closed]
<whitequark>
hm, I have an idea about an utility that works with bytecode
alexst has quit [Ping timeout: 264 seconds]
<whitequark>
wow, this file in ocaml codebase opens 28 (twenty eight) modules
alexst has joined #ocaml
alexst has quit [Ping timeout: 264 seconds]
tidren has joined #ocaml
tidren has quit [Ping timeout: 256 seconds]
seafood has quit [Read error: No route to host]
seafood has joined #ocaml
demonimin has quit [Quit: No Ping reply in 180 seconds.]
demonimin has joined #ocaml
<whitequark>
gasche: ping
<whitequark>
can you please explain how can I do something useful with Env.summary and Subst.t from Instruct.debug_event?
<whitequark>
and how it generally works
<whitequark>
the code is somewhat arcane and a little hard to understand
<whitequark>
what I gathered is that Env.t is decomposed into Env.summary and Subst.t to save space (I guess?) and you can reconstruct a pristine Env.t
axiles has quit [Quit: Quitte]
tidren has joined #ocaml
araujo has joined #ocaml
alexst has joined #ocaml
alexst has quit [Ping timeout: 264 seconds]
tidren has quit [Remote host closed the connection]
tidren has joined #ocaml
tidren has quit [Remote host closed the connection]
tidren has joined #ocaml
ygrek has joined #ocaml
meteo2 has quit [Excess Flood]
meteo2 has joined #ocaml
tidren has quit [Remote host closed the connection]
claudiuc has joined #ocaml
badon has joined #ocaml
alexst has joined #ocaml
alexst has quit [Ping timeout: 260 seconds]
penglingbo has quit [Ping timeout: 240 seconds]
badon has quit [Ping timeout: 240 seconds]
Submarine has joined #ocaml
ggole has joined #ocaml
alexst has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
Submarine has quit [Ping timeout: 256 seconds]
axiles has joined #ocaml
Submarine has joined #ocaml
jordjordjord has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
tidren has joined #ocaml
claudiuc has quit [Remote host closed the connection]
ebzzry has joined #ocaml
badon has joined #ocaml
jordjordjord has quit [Quit: Leaving...]
slash^ has joined #ocaml
tidren has quit [Remote host closed the connection]
tidren has joined #ocaml
dmbaturin has joined #ocaml
alexst has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
alpounet has joined #ocaml
tidren has quit [Remote host closed the connection]
tidren has joined #ocaml
Kakadu has joined #ocaml
tidren_ has joined #ocaml
tidren has quit [Read error: Connection reset by peer]
testcocoon has quit [Quit: Coyote finally caught me]
Submarine has quit [Quit: Leaving]
testcocoon has joined #ocaml
demonimin_ has joined #ocaml
demonimin_ has joined #ocaml
demonimin has quit [Ping timeout: 256 seconds]
ebzzry has quit [Remote host closed the connection]
tane has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
BitPuffin has joined #ocaml
alpounet has quit [Remote host closed the connection]
<dmbaturin>
What is the motivation behind different keywords for functions that use pattern matching and that do not?
alpounet has joined #ocaml
alexst has joined #ocaml
<def`>
dmbaturin: well they don't have the same syntax, so different keywords are needed to distinguish between both
alpounet has quit [Ping timeout: 256 seconds]
alexst has quit [Ping timeout: 256 seconds]
alpounet has joined #ocaml
araujo has quit [Quit: Leaving]
ygrek has joined #ocaml
ggole has quit [Ping timeout: 240 seconds]
<dmbaturin>
def`: Well, that's what I'm wondering about, why the syntax was chosen to be different. :)
<dmbaturin>
Not that I don't like it, just trying to understand the decision.
Eyyub has quit [Ping timeout: 240 seconds]
<dmbaturin>
Also, what does the compiler really do with "rec" keyword, apart from not throwing an error if you call it recursively?
hhugo has joined #ocaml
<def`>
the two constructions don't express the same intent. fun allows to define a function taking multiple argument, while function matches on the current argument
<def`>
and about rec keyword, non recursive definition allows you to locally redefine an existing identifier while referring to its previous value, which is a idiom often used in ML codebases
hhugo has joined #ocaml
<def`>
(it somewhat mimics the imperative mutation)
<def`>
then, typechecking of recursive definitions is harder and most of the times, it is undesireable to have this behavior by default
<def`>
… the weird things is why type definition are recursives by default ?!
ggole has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
pgomes has joined #ocaml
alexst has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
hhugo has quit [Quit: Leaving.]
tidren_ has quit [Remote host closed the connection]
pminten has joined #ocaml
yacks has quit [Ping timeout: 264 seconds]
BitPuffin has quit [Ping timeout: 264 seconds]
hhugo has joined #ocaml
BitPuffin has joined #ocaml
hhugo has quit [Quit: Leaving.]
pgomes has quit [Quit: Leaving]
_0xAX has joined #ocaml
alexst has joined #ocaml
alexst has quit [Ping timeout: 260 seconds]
wwilly has joined #ocaml
hhugo has joined #ocaml
hhugo has quit [Client Quit]
ygrek has quit [Ping timeout: 256 seconds]
ollehar has quit [Ping timeout: 240 seconds]
_0xAX has quit [Quit: Leaving]
alexst has joined #ocaml
alexst has quit [Ping timeout: 260 seconds]
q66 has joined #ocaml
Anarchos has joined #ocaml
yacks has joined #ocaml
_0xAX has joined #ocaml
slash^1 has joined #ocaml
slash^ has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
hefner has joined #ocaml
vincentbalat has quit [Ping timeout: 260 seconds]
penglingbo has joined #ocaml
hhugo has joined #ocaml
SethTisue has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
Aym_C has joined #ocaml
no0y has joined #ocaml
rand000 has joined #ocaml
contempt has quit [Remote host closed the connection]
alexst has joined #ocaml
hhugo has quit [Quit: Leaving.]
contempt has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
pminten has quit [Remote host closed the connection]
yarl has joined #ocaml
malbertife has joined #ocaml
Aym_C has quit [Remote host closed the connection]
Aym_C has joined #ocaml
Aym_C has quit [Client Quit]
octachron has joined #ocaml
BitPuffin has quit [Ping timeout: 240 seconds]
octachron has quit [Client Quit]
darkf has quit [Quit: Leaving]
malbertife_ has joined #ocaml
malbertife has quit [Ping timeout: 264 seconds]
rand000 has quit [Ping timeout: 240 seconds]
rand000 has joined #ocaml
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
tani has joined #ocaml
alexst has joined #ocaml
tane has quit [Ping timeout: 240 seconds]
demonimin_ has quit [Ping timeout: 240 seconds]
demonimin has joined #ocaml
jsvgoncalves has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
demonimin has quit [Ping timeout: 256 seconds]
Hannibal_Smith has joined #ocaml
BitPuffin has joined #ocaml
dsheets has joined #ocaml
demonimin has joined #ocaml
demonimin has quit [Changing host]
demonimin has joined #ocaml
martintrojer has quit [Ping timeout: 272 seconds]
BitPuffin has quit [Ping timeout: 240 seconds]
martintrojer has joined #ocaml
slash^1 has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
hhugo has joined #ocaml
alexst has joined #ocaml
alexst has quit [Ping timeout: 260 seconds]
BitPuffin has joined #ocaml
hhugo has quit [Quit: Leaving.]
ollehar has joined #ocaml
SethTisue has quit [Ping timeout: 240 seconds]
hhugo has joined #ocaml
BitPuffin has quit [Ping timeout: 240 seconds]
Aym_C has joined #ocaml
_0xAX has quit [Remote host closed the connection]
<diakopter>
anyone know if it's being worked on? or who I might follow up with
<diakopter>
if I use -noautolink, it says Error while linking /usr/lib/ocaml/llvm-3.5/llvm.cma(Llvm): The external function `llvm_global_succ' is not available
<diakopter>
(these are all latest bare ubuntu saucy packages)
alexst has quit [Ping timeout: 240 seconds]
rand000 has quit [Quit: leaving]
<Drup>
ping NoNNaN ^
tristero has joined #ocaml
<NoNNaN>
Drup: pong
<diakopter>
NoNNaN: I linked to your error report from a few weeks ago (above)
BitPuffin has joined #ocaml
<diakopter>
NoNNaN: did you figure out a workaround/fix or file it anywhere?
<NoNNaN>
diakopter: I'll check it
alexst has joined #ocaml
<NoNNaN>
diakopter: the problem was that the compiler/linker in executionengine_ocaml.c could not resolve the extern value llvm_alloc_data_layout(LLVMTargetDataRef TargetData); definition
<NoNNaN>
diakopter: I have a quick and dirty ugly and probably incorrect hack here: http://pastebin.com/TTck2U9n
<diakopter>
hm, now to get a dev environment for that .deb O_O
<diakopter>
er, build
Aym_C has quit [Remote host closed the connection]
Aym_C has joined #ocaml
waneck has quit [Ping timeout: 264 seconds]
Puffin has joined #ocaml
Aym_C has quit [Ping timeout: 240 seconds]
BitPuffin has quit [Ping timeout: 240 seconds]
penglingbo has quit [Ping timeout: 240 seconds]
johnnydiabetic has joined #ocaml
Aym_C has joined #ocaml
Aym_C has quit [Read error: No route to host]
Aym_C has joined #ocaml
Aym_C has quit [Ping timeout: 240 seconds]
waneck has joined #ocaml
tidren has joined #ocaml
Aym_C has joined #ocaml
Aym_C has quit [Ping timeout: 240 seconds]
_0xAX has joined #ocaml
fold has quit [Ping timeout: 256 seconds]
alexst has quit [Ping timeout: 256 seconds]
johnnydiabetic has quit [Changing host]
johnnydiabetic has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
johnnydiabetic has quit [Quit: Leaving]
shinnya has joined #ocaml
johnnydiabetic has joined #ocaml
tidren has quit [Remote host closed the connection]
fold has joined #ocaml
dd has joined #ocaml
dd is now known as fkjdskljfl
fkjdskljfl has left #ocaml [#ocaml]
johnnydiabetic has quit [Client Quit]
tidren has joined #ocaml
jsvgoncalves has quit [Remote host closed the connection]
Hannibal_Smith has quit [Quit: Sto andando via]
philtor_ has joined #ocaml
boogie has joined #ocaml
philtor_ has quit [Ping timeout: 240 seconds]
boogie has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 240 seconds]
Muzer has quit [Excess Flood]
Muzer has joined #ocaml
Aym_C has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
Aym_C has quit [Ping timeout: 240 seconds]
alexst has joined #ocaml
studybot_ has quit [Remote host closed the connection]
NoNNaN has quit [Read error: Connection reset by peer]
NoNNaN has joined #ocaml
studybot_ has joined #ocaml
alexst has quit [Ping timeout: 256 seconds]
Submarine has joined #ocaml
michael_lee has joined #ocaml
alexst has joined #ocaml
jludlam has joined #ocaml
Muzer has quit [Excess Flood]
Muzer has joined #ocaml
Anarchos1 has joined #ocaml
binarybitme has quit [Ping timeout: 240 seconds]
binarybitme has joined #ocaml
philtor has joined #ocaml
ta`e has joined #ocaml
tani has quit [Ping timeout: 240 seconds]
eikke__ has joined #ocaml
cdidd has quit [Ping timeout: 240 seconds]
ollehar has quit [Ping timeout: 240 seconds]
philtor has quit [Ping timeout: 256 seconds]
Anarchos1 has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
_0xAX has quit [Remote host closed the connection]
Aym_C has joined #ocaml
Aym_C has quit [Read error: No route to host]
Aym_C has joined #ocaml
Eyyub has joined #ocaml
Aym_C has quit [Ping timeout: 240 seconds]
ontologiae_ has joined #ocaml
Anarchos1 has joined #ocaml
hhugo has joined #ocaml
hhugo has quit [Quit: Leaving.]
demonimin has quit [Remote host closed the connection]
ta`e has quit [Ping timeout: 240 seconds]
demonimin has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
hhugo has joined #ocaml
<rwmjones>
is bmeurer around?
<rwmjones>
got an apparent regression in the arm backend in 4.02