arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
thomasga has quit [Quit: Leaving.]
philtor has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
divyanshu has joined #ocaml
philtor has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
yomimono has joined #ocaml
araujo has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Ping timeout: 272 seconds]
rgrinberg has joined #ocaml
araujo has joined #ocaml
ygrek has joined #ocaml
shinnya has quit [Ping timeout: 245 seconds]
scott_fakename has joined #ocaml
johnf has joined #ocaml
<scott_fakename>
Hi; I'm pretty new to ocaml. I was wondering if there was a way to automate ocaml's linking of built in modules during compile time? I wrote a program that just uses the Unix module to print out the HOME environment variable.
<scott_fakename>
This fails, however, unless I explicitly link the full install path of unix.cma
<scott_fakename>
even with ocamlbuild, or ocamlbuild -use-ocamlfind I still have to use the -lib flag. Any idea what I'm doing wrong?
<johnf>
scott_fakename: not sure if its the most correct/best way to do it but in myocamlbuild.ml I add ocaml_lib lines
<scott_fakename>
So, I've been going through the "tutorials" thing on ocaml.org -- is myocamlbuild.ml just the name you gave to your program or is it a config file somewhere?
<Drup>
you don't need a plugin just to link a library
<Drup>
"ocamlbuild -use-ocamlfind -package unix" will do just fine
<Drup>
or "true: package(unix)" in your _tags file
<Drup>
(that's both for scott_fakename and johnf)
<johnf>
Drup: yep thanks.
huza has joined #ocaml
mrvn has quit [Ping timeout: 240 seconds]
<Drup>
(as a general rule, if you have to hardcode the path to some ocaml thingy, you are doing it wrong :p)
philtor has joined #ocaml
<scott_fakename>
Drup: thanks! Yeah, I figured I was doing something wrong, but then again I just downloaded ocaml on friday and I'm about halfway through the tutorials; haha
mrvn has joined #ocaml
<scott_fakename>
I was under the impression that ocamlbuild was supposed to resolve packages for you.
<Drup>
ocamlfind does that
divyanshu has quit [Quit: Computer has gone to sleep.]
<Drup>
(and ocamlbuild can use ocamlfind, with -use-ocamlfind)
<scott_fakename>
But I still have to tell it what packages to resolve for a given source file -- that's where I'm confused
<Drup>
it's not gonna guess which packages you need
<scott_fakename>
for instance, ocamlbuild -use-ocamlfind -package unix
<Drup>
(because it's not really possible)
<scott_fakename>
oh, i assumed it would read through... for instance gcc will run through and figure out what needs what. So I guess
<scott_fakename>
that makes sense, now that I know
ygrek has quit [Ping timeout: 245 seconds]
aggelos has quit [Ping timeout: 276 seconds]
Chrix has quit [Quit: Page closed]
jao has quit [Remote host closed the connection]
pyon has quit [Remote host closed the connection]
Eyyub has quit [Ping timeout: 272 seconds]
aggelos has joined #ocaml
jao has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
pyon has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
ygrek has joined #ocaml
araujo has quit [Ping timeout: 272 seconds]
tnguyen has quit [Quit: tnguyen]
yacks has quit [Ping timeout: 240 seconds]
kmicinski has joined #ocaml
<kmicinski>
I have an odd situation: ocamlbuild simply hangs, no explanation, no termination, no output, nothing. Any advice on what to do in this situation?
<rgrinberg>
do you have a custom rule like %.xx.yy %.yy?
<hhugo>
-verbose 2 -classic-display
claudiuc has quit [Ping timeout: 240 seconds]
penglingbo has joined #ocaml
araujo has joined #ocaml
araujo has quit [Changing host]
araujo has joined #ocaml
philtor has quit [Ping timeout: 240 seconds]
studybot has joined #ocaml
<weykent>
Drup, do you have any suggestions for testing lwt code other than how i was trying to do it already?
<Drup>
not really. You can look at lwt's test them selves
kmicinski has quit [Ping timeout: 264 seconds]
<johnf>
I am trying to get the C interface code to work I can get upto 5 params without issue but as soon as I use CAMLxparam1 it segfaults.
<johnf>
value test(value a, value b, value c, value d, value e, value f) {CAMLparam5(a,b,c,d,e); CAMLxparam1(f); [...]
yomimono has quit [Ping timeout: 252 seconds]
<Drup>
johnf: look at the documentation about parameters, there is a special thing to do
hhugo has quit [Quit: Leaving.]
<Drup>
hum, actually, you did put the x, huum
araujo has quit [Ping timeout: 240 seconds]
divyanshu has joined #ocaml
<johnf>
Drup: yeah, not sure looking through the libguestfs_c_actions.c file for examples it seems to have lots of usage of CAMLparam and CAMLxparam.
<johnf>
actually it works as long as I don't use a Int64_val later. Interestingly the Int64_val works until I use CAMLxparam1
<johnf>
must be an allocation problem.
rgrinberg has quit [Ping timeout: 245 seconds]
araujo has joined #ocaml
araujo has quit [Changing host]
araujo has joined #ocaml
scott_fakename has left #ocaml ["thatnks for the help and have fun"]
arjunguha has joined #ocaml
rgrinberg has joined #ocaml
ruzu has joined #ocaml
ruzu has quit [Remote host closed the connection]
ebzzry has quit [Remote host closed the connection]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
studybot has quit [Remote host closed the connection]
studybot has joined #ocaml
fantasticsid has joined #ocaml
penryu has joined #ocaml
penryu has left #ocaml ["WeeChat 0.4.4-dev"]
xitology_ has joined #ocaml
rz has quit [Ping timeout: 244 seconds]
araujo has quit [Ping timeout: 244 seconds]
t4nk751 has joined #ocaml
t4nk751 has quit [Client Quit]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
araujo has joined #ocaml
WraithM has joined #ocaml
fantasticsid has quit [Remote host closed the connection]
fantasticsid has joined #ocaml
tlockney_away is now known as tlockney
manizzle has joined #ocaml
johnf has quit [Read error: Connection reset by peer]
xitology_ has quit [Ping timeout: 244 seconds]
divyanshu has quit [Quit: Computer has gone to sleep.]
xitology_ has joined #ocaml
divyanshu has joined #ocaml
johnf has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
racycle has quit [Quit: ZZZzzz…]
rand000 has joined #ocaml
aggelos has quit [Ping timeout: 272 seconds]
aggelos has joined #ocaml
araujo has quit [Ping timeout: 240 seconds]
jao has quit [Ping timeout: 272 seconds]
ygrek has quit [Ping timeout: 240 seconds]
Eyyub has joined #ocaml
WraithM has quit [Ping timeout: 264 seconds]
divyanshu has joined #ocaml
ygrek has joined #ocaml
ggole has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
WraithM has joined #ocaml
mmachenry1 has joined #ocaml
philtor has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
yacks has joined #ocaml
rand000 has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
ygrek has joined #ocaml
mmachenry1 has left #ocaml [#ocaml]
rgrinberg has quit [Ping timeout: 272 seconds]
arj has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 264 seconds]
<ggole>
def`: hmm, ocaml-402 is pretty broken
rgrinberg has joined #ocaml
philtor has quit [Ping timeout: 255 seconds]
aggelos has quit [Ping timeout: 252 seconds]
studybot has quit [Remote host closed the connection]
huza has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Ping timeout: 264 seconds]
alpounet has joined #ocaml
aggelos has joined #ocaml
ustunozgur has joined #ocaml
rgrinberg has joined #ocaml
ygrek has joined #ocaml
ygrek_ has joined #ocaml
Eyyub has quit [Ping timeout: 272 seconds]
studybot_ has joined #ocaml
skchrko has quit [Ping timeout: 240 seconds]
ustunozgur has quit [Remote host closed the connection]
<def`>
ggole: ? cad ?
<def`>
oups, that's french... what do you mean?
ygrek has quit [Quit: ygrek]
f[x] has joined #ocaml
ustunozgur has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
ygrek_ has quit [Ping timeout: 264 seconds]
rand000 has joined #ocaml
skchrko has joined #ocaml
<ggole>
def`: well, broken. None of the functionality works. It also seems to be fairly out of date. :/
cago has joined #ocaml
axiles has joined #ocaml
fantasticsid has quit [Ping timeout: 255 seconds]
fantasti` has joined #ocaml
hhugo has joined #ocaml
manizzle has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
Kakadu has joined #ocaml
Eyyub has joined #ocaml
fantasti` has quit [Ping timeout: 240 seconds]
ustunozgur has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 240 seconds]
BitPuffin has joined #ocaml
rgrinberg has joined #ocaml
<def`>
ggole: completion, typing, error reporting should work
ollehar has joined #ocaml
<def`>
and for the fairly out of date… With respect to what? :P 4.02 is not yet released
hhugo has quit [Quit: Leaving.]
<ggole>
Error reporting puts annotations in the buffer, but they are totally wrong (and don't go away when the source is fixed/changed and saved).
<def`>
ok, let me rephrase, they are correct with vim :)
<ggole>
And out of date is wrt master: if I try to fix some of this brokenness, I'm not sure whether I'm duplicating stuff that's already there
<def`>
master will be dropped, so fixes should go there
Simn has joined #ocaml
ggole_ has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
<ggole_>
def`: so when asmanur asked me to commit to ocaml-402, that was not correct?
rgrinberg has joined #ocaml
<def`>
ggole_: master will be dropped, fixes should go to ocaml-402
ggole has quit [Ping timeout: 272 seconds]
<def`>
ggole_: but it might be a bit premature… work on master, I'll port your fixes when read
<def`>
ready*
<ggole_>
:|
<ggole_>
OK
ustunozgur has joined #ocaml
ggole_ is now known as ggole
alpounet has quit [Remote host closed the connection]
mort___ has joined #ocaml
alpounet has joined #ocaml
hhugo has joined #ocaml
sagotch has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
chris2 has quit [Ping timeout: 240 seconds]
ollehar has quit [Quit: ollehar]
Hannibal_Smith has joined #ocaml
chris2 has joined #ocaml
ggole has quit []
yacks has quit [Ping timeout: 264 seconds]
ggole has joined #ocaml
rgrinberg1 has joined #ocaml
hhugo has quit [*.net *.split]
mort___ has quit [*.net *.split]
f[x] has quit [*.net *.split]
arj has quit [*.net *.split]
xitology_ has quit [*.net *.split]
mrvn has quit [*.net *.split]
metasyntax has quit [*.net *.split]
ddosia has quit [*.net *.split]
_JokerDoom has quit [*.net *.split]
samebchase has quit [*.net *.split]
n0v has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
Hannibal_Smith has quit [*.net *.split]
BitPuffin has quit [*.net *.split]
axiles has quit [*.net *.split]
rs0 has quit [*.net *.split]
diginux has quit [*.net *.split]
ousado has quit [*.net *.split]
bjorkintosh has quit [*.net *.split]
squiggnet has quit [*.net *.split]
weykent has quit [*.net *.split]
xenocons has quit [*.net *.split]
bcuccioli has quit [*.net *.split]
yastero has quit [*.net *.split]
lostman has quit [*.net *.split]
__marius____ has quit [*.net *.split]
engil has quit [*.net *.split]
hto has quit [*.net *.split]
clog has quit [*.net *.split]
lopex has quit [*.net *.split]
emmanueloga has quit [*.net *.split]
olasd has quit [*.net *.split]
ccasin has quit [*.net *.split]
BiDOrD has quit [*.net *.split]
acieroid has quit [*.net *.split]
vbmithr has quit [*.net *.split]
companion_cube has quit [*.net *.split]
so has quit [*.net *.split]
ggherdov has quit [*.net *.split]
Ptival has quit [*.net *.split]
isomorphismes has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
alex_nx has quit [*.net *.split]
Armael has quit [*.net *.split]
saarin has quit [*.net *.split]
rgrinberg1 has quit [*.net *.split]
Simn has quit [*.net *.split]
cago has quit [*.net *.split]
rand000 has quit [*.net *.split]
keen________ has quit [*.net *.split]
nickmeharry has quit [*.net *.split]
sagotch has quit [*.net *.split]
segmond has quit [*.net *.split]
_obad_ has quit [*.net *.split]
Valdo has quit [*.net *.split]
nicoo has quit [*.net *.split]
cdidd_ has quit [*.net *.split]
ggole has quit [*.net *.split]
aggelos has quit [*.net *.split]
mcclurmc has quit [*.net *.split]
freling has quit [*.net *.split]
dinosaure has quit [*.net *.split]
chris2 has quit [*.net *.split]
alpounet has quit [*.net *.split]
ustunozgur has quit [*.net *.split]
WraithM has quit [*.net *.split]
johnf has quit [*.net *.split]
divyanshu has quit [*.net *.split]
darkf has quit [*.net *.split]
jonludlam has quit [*.net *.split]
agarwal1975 has quit [*.net *.split]
jbrown has quit [*.net *.split]
j0sh has quit [*.net *.split]
bartbes has quit [*.net *.split]
passiveobserver has quit [*.net *.split]
tianon has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
Eyyub has quit [*.net *.split]
pyon has quit [*.net *.split]
jknick has quit [*.net *.split]
iZsh has quit [*.net *.split]
ohama has quit [*.net *.split]
tchell has quit [*.net *.split]
baz_ has quit [*.net *.split]
studybot_ has quit [*.net *.split]
Kakadu has quit [*.net *.split]
dant3 has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
nk0 has quit [*.net *.split]
thorsten` has quit [*.net *.split]
cross has quit [*.net *.split]
jave has quit [*.net *.split]
mehdid has quit [*.net *.split]
osnr has quit [*.net *.split]
igitoor has quit [*.net *.split]
reynir has quit [*.net *.split]
ski has quit [*.net *.split]
fx has quit [*.net *.split]
zozozo has quit [*.net *.split]
petterw has quit [*.net *.split]
leifw has quit [*.net *.split]
johnelse has quit [*.net *.split]
mk270 has quit [*.net *.split]
martintrojer has quit [*.net *.split]
deavid has quit [*.net *.split]
steshaw has quit [*.net *.split]
willb1 has quit [*.net *.split]
asmanur has quit [*.net *.split]
msch has quit [*.net *.split]
nox has quit [*.net *.split]
jzelinskie has quit [*.net *.split]
strmpnk has quit [*.net *.split]
PM has quit [*.net *.split]
ivan\ has quit [*.net *.split]
kerneis has quit [*.net *.split]
tristero has quit [*.net *.split]
gasche has quit [*.net *.split]
rom1504 has quit [*.net *.split]
pollux has quit [*.net *.split]
thizanne has quit [*.net *.split]
xaimus has quit [*.net *.split]
jlouis has quit [*.net *.split]
gustav___ has quit [*.net *.split]
Arthur_Rainbow has quit [*.net *.split]
maurer has quit [*.net *.split]
milosn has quit [*.net *.split]
skchrko has quit [*.net *.split]
penglingbo has quit [*.net *.split]
madroach has quit [*.net *.split]
contempt has quit [*.net *.split]
SHODAN has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
typedlambda has quit [*.net *.split]
cthuluh has quit [*.net *.split]
Tamae has quit [*.net *.split]
mfp_ has quit [*.net *.split]
maufred has quit [*.net *.split]
yroeht has quit [*.net *.split]
ia0 has quit [*.net *.split]
troydm has quit [*.net *.split]
emias has quit [*.net *.split]
vpm has quit [*.net *.split]
Muzer has quit [*.net *.split]
flux has quit [*.net *.split]
SethTisue_______ has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
pippijn has quit [*.net *.split]
cow-orker has quit [*.net *.split]
wormphle1m has quit [*.net *.split]
inr has quit [*.net *.split]
smiler has quit [*.net *.split]
teiresias has quit [*.net *.split]
Averell has quit [*.net *.split]
def` has quit [*.net *.split]
rwmjones has quit [*.net *.split]
hbar has quit [*.net *.split]
esden has quit [*.net *.split]
hyPiRion has quit [*.net *.split]
Mandus has quit [*.net *.split]
Khady has quit [*.net *.split]
sgray10 has quit [*.net *.split]
testcocoon has quit [*.net *.split]
demonimin_ has quit [*.net *.split]
_2can has quit [*.net *.split]
gargawel has quit [*.net *.split]
adrien_oww has quit [*.net *.split]
Snark has quit [*.net *.split]
smondet has quit [*.net *.split]
seliopou has quit [*.net *.split]
brendan has quit [*.net *.split]
tlockney has quit [*.net *.split]
adrien has quit [*.net *.split]
tizoc has quit [*.net *.split]
shallow has quit [*.net *.split]
Cypi has quit [*.net *.split]
bernardofpc has quit [*.net *.split]
macron has quit [*.net *.split]
shalicke has quit [*.net *.split]
patronus_ has quit [*.net *.split]
rks_ has quit [*.net *.split]
The_third_man has quit [*.net *.split]
marky has quit [*.net *.split]
lusory has quit [*.net *.split]
bacam has quit [*.net *.split]
orbitz has quit [*.net *.split]
Drup has quit [*.net *.split]
vbmithr has joined #ocaml
saarin has joined #ocaml
ggherdov has joined #ocaml
squiggnet has joined #ocaml
acieroid has joined #ocaml
ccasin has joined #ocaml
lostman has joined #ocaml
IbnFirnas has joined #ocaml
Asmadeus has joined #ocaml
yastero has joined #ocaml
mrvn has joined #ocaml
Hannibal_Smith has joined #ocaml
clog has joined #ocaml
alpounet_ has joined #ocaml
emmanueloga has joined #ocaml
BiDOrD has joined #ocaml
rs0 has joined #ocaml
so has joined #ocaml
aggelos has joined #ocaml
WraithM has joined #ocaml
ggole has joined #ocaml
_JokerDoom has joined #ocaml
f[x] has joined #ocaml
mort___ has joined #ocaml
xitology_ has joined #ocaml
weykent has joined #ocaml
ddosia has joined #ocaml
axiles has joined #ocaml
engil has joined #ocaml
penglingbo has joined #ocaml
bjorkintosh has joined #ocaml
isomorphismes has joined #ocaml
alex_nx has joined #ocaml
Armael has joined #ocaml
lopex has joined #ocaml
__marius____ has joined #ocaml
Simn has joined #ocaml
companion_cube has joined #ocaml
Ptival has joined #ocaml
hhugo has joined #ocaml
samebchase has joined #ocaml
divyanshu has joined #ocaml
arj has joined #ocaml
ustunozgur has joined #ocaml
n0v has joined #ocaml
johnf has joined #ocaml
studybot_ has joined #ocaml
cago has joined #ocaml
metasyntax has joined #ocaml
ousado has joined #ocaml
Kakadu has joined #ocaml
diginux has joined #ocaml
olasd has joined #ocaml
brendan__ has joined #ocaml
chris2 has joined #ocaml
rgrinberg1 has joined #ocaml
sagotch has joined #ocaml
rand000 has joined #ocaml
skchrko has joined #ocaml
BitPuffin has joined #ocaml
bcuccioli has joined #ocaml
xenocons has joined #ocaml
hto has joined #ocaml
jonludlam has joined #ocaml
darkf has joined #ocaml
mcclurmc has joined #ocaml
madroach has joined #ocaml
cthuluh has joined #ocaml
contempt has joined #ocaml
agarwal1975 has joined #ocaml
freling has joined #ocaml
testcocoon has joined #ocaml
jpdeplaix has joined #ocaml
fx has joined #ocaml
segmond has joined #ocaml
keen________ has joined #ocaml
jknick has joined #ocaml
dinosaure has joined #ocaml
_obad_ has joined #ocaml
typedlambda has joined #ocaml
maufred has joined #ocaml
dant3 has joined #ocaml
mfp_ has joined #ocaml
nickmeharry has joined #ocaml
jbrown has joined #ocaml
ivan\ has joined #ocaml
j0sh has joined #ocaml
bartbes has joined #ocaml
lusory has joined #ocaml
nicoo has joined #ocaml
iZsh has joined #ocaml
shallow has joined #ocaml
inr has joined #ocaml
SHODAN has joined #ocaml
nk0 has joined #ocaml
fraggle_ has joined #ocaml
_2can has joined #ocaml
yroeht has joined #ocaml
johnelse has joined #ocaml
osnr has joined #ocaml
demonimin_ has joined #ocaml
mk270 has joined #ocaml
cdidd_ has joined #ocaml
tristero has joined #ocaml
kerneis has joined #ocaml
passiveobserver has joined #ocaml
pyon has joined #ocaml
tianon has joined #ocaml
PM has joined #ocaml
gargawel has joined #ocaml
thorsten` has joined #ocaml
Snark has joined #ocaml
smondet has joined #ocaml
cross has joined #ocaml
leifw has joined #ocaml
ohama has joined #ocaml
rom1504 has joined #ocaml
mehdid has joined #ocaml
igitoor has joined #ocaml
jave has joined #ocaml
smiler has joined #ocaml
tchell has joined #ocaml
seliopou has joined #ocaml
adrien_oww has joined #ocaml
Tamae has joined #ocaml
pollux has joined #ocaml
gasche has joined #ocaml
emias has joined #ocaml
reynir has joined #ocaml
ski has joined #ocaml
thizanne has joined #ocaml
nox has joined #ocaml
tlockney has joined #ocaml
ia0 has joined #ocaml
martintrojer has joined #ocaml
xaimus has joined #ocaml
petterw has joined #ocaml
tizoc has joined #ocaml
zozozo has joined #ocaml
Cypi has joined #ocaml
teiresias has joined #ocaml
steshaw has joined #ocaml
Muzer has joined #ocaml
deavid has joined #ocaml
adrien has joined #ocaml
Averell has joined #ocaml
willb1 has joined #ocaml
bernardofpc has joined #ocaml
def` has joined #ocaml
macron has joined #ocaml
shalicke has joined #ocaml
jlouis has joined #ocaml
rwmjones has joined #ocaml
vpm has joined #ocaml
Arthur_Rainbow has joined #ocaml
gustav___ has joined #ocaml
asmanur has joined #ocaml
hbar has joined #ocaml
flux has joined #ocaml
rks_ has joined #ocaml
msch has joined #ocaml
esden has joined #ocaml
jzelinskie has joined #ocaml
patronus_ has joined #ocaml
The_third_man has joined #ocaml
SethTisue_______ has joined #ocaml
strmpnk has joined #ocaml
marky has joined #ocaml
hnrgrgr has joined #ocaml
Khady has joined #ocaml
Mandus has joined #ocaml
pippijn has joined #ocaml
hyPiRion has joined #ocaml
bacam has joined #ocaml
milosn has joined #ocaml
maurer has joined #ocaml
sgray10 has joined #ocaml
orbitz has joined #ocaml
Drup has joined #ocaml
wormphle1m has joined #ocaml
cow-orker has joined #ocaml
nicoo has joined #ocaml
robink has quit [Max SendQ exceeded]
nicoo has quit [Remote host closed the connection]
Valdo has joined #ocaml
mrvn_ has joined #ocaml
samebcha1e has joined #ocaml
ddosia has quit [Quit: Leaving.]
samebchase has quit [Write error: Broken pipe]
mrvn has quit [Write error: Broken pipe]
robink has joined #ocaml
nicoo has quit [Ping timeout: 255 seconds]
f[x] has quit [Ping timeout: 244 seconds]
nicoo has joined #ocaml
baz_ has joined #ocaml
ustunozgur has quit [Read error: Connection reset by peer]
yacks has joined #ocaml
ustunozgur has joined #ocaml
samebcha1e is now known as samebchase
robink has quit [*.net *.split]
alpounet_ has quit [*.net *.split]
hhugo has quit [*.net *.split]
mort___ has quit [*.net *.split]
arj has quit [*.net *.split]
xitology_ has quit [*.net *.split]
metasyntax has quit [*.net *.split]
_JokerDoom has quit [*.net *.split]
n0v has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
brendan__ has quit [*.net *.split]
Hannibal_Smith has quit [*.net *.split]
axiles has quit [*.net *.split]
BitPuffin has quit [*.net *.split]
rs0 has quit [*.net *.split]
diginux has quit [*.net *.split]
ousado has quit [*.net *.split]
bjorkintosh has quit [*.net *.split]
squiggnet has quit [*.net *.split]
weykent has quit [*.net *.split]
xenocons has quit [*.net *.split]
bcuccioli has quit [*.net *.split]
yastero has quit [*.net *.split]
lostman has quit [*.net *.split]
hto has quit [*.net *.split]
engil has quit [*.net *.split]
__marius____ has quit [*.net *.split]
clog has quit [*.net *.split]
lopex has quit [*.net *.split]
olasd has quit [*.net *.split]
emmanueloga has quit [*.net *.split]
BiDOrD has quit [*.net *.split]
ccasin has quit [*.net *.split]
vbmithr has quit [*.net *.split]
acieroid has quit [*.net *.split]
companion_cube has quit [*.net *.split]
so has quit [*.net *.split]
ggherdov has quit [*.net *.split]
Ptival has quit [*.net *.split]
alex_nx has quit [*.net *.split]
isomorphismes has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
Armael has quit [*.net *.split]
saarin has quit [*.net *.split]
thomasga has joined #ocaml
rand000 has quit [Ping timeout: 240 seconds]
fantasticsid has joined #ocaml
ddosia1 has joined #ocaml
pyon has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
brendan__ has joined #ocaml
mort___ has joined #ocaml
rs0 has joined #ocaml
ggherdov has joined #ocaml
so has joined #ocaml
n0v has joined #ocaml
clog has joined #ocaml
emmanueloga has joined #ocaml
alex_nx has joined #ocaml
Hannibal_Smith has joined #ocaml
_JokerDoom has joined #ocaml
Asmadeus has joined #ocaml
bjorkintosh has joined #ocaml
Armael has joined #ocaml
saarin has joined #ocaml
lostman has joined #ocaml
engil has joined #ocaml
xenocons has joined #ocaml
isomorphismes has joined #ocaml
metasyntax has joined #ocaml
bcuccioli has joined #ocaml
BiDOrD has joined #ocaml
ousado has joined #ocaml
yastero has joined #ocaml
olasd has joined #ocaml
axiles has joined #ocaml
Ptival has joined #ocaml
acieroid has joined #ocaml
robink has joined #ocaml
xitology_ has joined #ocaml
vbmithr has joined #ocaml
IbnFirnas has joined #ocaml
diginux has joined #ocaml
companion_cube has joined #ocaml
alpounet_ has joined #ocaml
hto has joined #ocaml
lopex has joined #ocaml
ccasin has joined #ocaml
hhugo has joined #ocaml
squiggnet has joined #ocaml
__marius____ has joined #ocaml
weykent has joined #ocaml
arj has joined #ocaml
ddosia1 has quit [Quit: Leaving.]
strmpnk has quit [Ping timeout: 252 seconds]
strmpnk has joined #ocaml
thomasga1 has joined #ocaml
sgnb has joined #ocaml
eikke__ has joined #ocaml
AltGr has joined #ocaml
rgrinberg1 has quit [Quit: Leaving.]
huza has joined #ocaml
sagotch has quit [Remote host closed the connection]
tlockney is now known as tlockney_away
pyon has joined #ocaml
ollehar has joined #ocaml
hhugo has quit [Quit: Leaving.]
dapz has joined #ocaml
maattdd has joined #ocaml
tlockney_away is now known as tlockney
huza has quit [Ping timeout: 245 seconds]
lordkryss_ has joined #ocaml
ousado has quit [Ping timeout: 240 seconds]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ousado has joined #ocaml
araujo has joined #ocaml
eikke__ has quit [Ping timeout: 244 seconds]
ollehar has quit [Ping timeout: 255 seconds]
eikke__ has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
lordkryss has joined #ocaml
ebzzry has joined #ocaml
BitPuffin has joined #ocaml
dsheets has joined #ocaml
BitPuffin has quit [Ping timeout: 264 seconds]
ustunozgur has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
cago has quit [Ping timeout: 240 seconds]
Thooms has joined #ocaml
hhugo has joined #ocaml
fantasticsid has quit [Ping timeout: 245 seconds]
eikke__ has quit [Ping timeout: 252 seconds]
eikke__ has joined #ocaml
hhugo has quit [Quit: Leaving.]
skchrko has quit [Quit: Leaving]
thomasga1 has quit [Quit: Leaving.]
ustunozgur has joined #ocaml
eikke__ has quit [Remote host closed the connection]
mort___ has quit [Ping timeout: 244 seconds]
Hannibal_Smith has quit [Ping timeout: 240 seconds]
hhugo has joined #ocaml
elfring has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
WraithM has quit [Ping timeout: 272 seconds]
ustunozg_ has joined #ocaml
ustunozgur has quit [Ping timeout: 244 seconds]
<hhugo>
Can anyone explain what is the purpose of *.a file when compiling a *.cmxa ?
<adrien_oww>
it contains the actual object code
<adrien_oww>
look at the respective sizes
<hhugo>
what does the cmxa contain then ?
<adrien_oww>
ocaml-specific metadata
<hhugo>
ok thanks.
lordkryss_ has quit [Quit: Connection closed for inactivity]
divyanshu has joined #ocaml
<jpdeplaix>
it's like the .o and the .cmx
<jpdeplaix>
but at the level of library
ddosia has joined #ocaml
studybot_ has quit [Remote host closed the connection]
<lostman>
I'm writing toy examples with React and can't get lifting over two events to produce anything. is there anything fundamentally wrong with this:
<lostman>
let e2, send2 = E.create ()
<lostman>
let z = E.l2 (fun x _ -> x) e e2
<lostman>
let e, send = E.create ()
<lostman>
let printer = E.map print_stuff z
arjunguha has joined #ocaml
ustunozgur has joined #ocaml
remyzorg has joined #ocaml
darkf has quit [Quit: Leaving]
mrvn_ is now known as mrvn
arjunguha has quit [Ping timeout: 240 seconds]
ustunozg_ has quit [Ping timeout: 272 seconds]
alpounet_ is now known as alpounet
<def`>
lostman: yes, something is fundamentally wrong, at least with react <= 1.0 interface
<def`>
you are creating two primitives events, which until recently, can't happen at the same time.
shinnya has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
<lostman>
def`: so what kind of events I can lift over?
<def`>
well… you can lift over any kind of events
<def`>
but make sure they can happen synchronously otherwise its pointless
<def`>
(your primitive events can happen synchronously if you update them in the same cycle with latest react)
<lostman>
how do I do that?
yacks has quit [Ping timeout: 240 seconds]
moop7 has joined #ocaml
<moop7>
hello
<moop7>
would anyone here know the location of the source repository of the compcert compiler?
<def`>
lostman: just to be clear, without step, calling the send function means that corresponding event/signal is the only input that changed in this update. calling send1 then send2 represents two updates at two different timesteps, that's why your z event never occured. This can't happen with signal as they are continuous
<lostman>
def`: yeah, I see what's going on here. thanks for help!
<def`>
np
studybot_ has joined #ocaml
studybo__ has joined #ocaml
studybot_ has quit [Ping timeout: 264 seconds]
maattdd has quit [Ping timeout: 264 seconds]
divyanshu has joined #ocaml
Thooms has quit [Quit: WeeChat 0.3.8]
penglingbo has quit [Ping timeout: 252 seconds]
shinnya has quit [Ping timeout: 240 seconds]
maattdd has joined #ocaml
avsm has joined #ocaml
rand000 has joined #ocaml
ustunozgur has joined #ocaml
ustunozgur has quit [Ping timeout: 245 seconds]
yacks has joined #ocaml
rand000 has quit [Ping timeout: 252 seconds]
lordkryss_ has joined #ocaml
<maurer>
Is there a good way to get ocamlbuild to invoke ocamlmklib?
<avsm>
~prods:(["%(path:<**/>)lib%(libname:<*> and not <*.*>)"-.-ext_lib] @
<avsm>
so a .clib file
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
<maurer>
avsm: Is there a good place fo rme to feed -L and -l to that, or do I need to override it like I do for everything else?
slash^ has joined #ocaml
<avsm>
maurer: override it, sadly
<maurer>
OK, now to see whether another package can use the installed files
<avsm>
maurer: generally found makefiles easier for building c libraries, although diml managed to get ctypes stub generation working with ocamlbuild easily
<adrien_oww>
actually
<adrien_oww>
if your ocamlmklib command goes through ocamlfind you can change stuff there
<maurer>
adrien_oww: I dunno, I'm not yet using ocamlmklib. I just want to make it so that I can build my test executable against my library as a package
<maurer>
and it's turning out to be incredibly painful
<Drup>
I found that oasis handle C stuff quite easily, at least in the small project with C stuff I did
<Drup>
you just put the file in the Csources field and it does everything for you
<maurer>
Drup: I can't use oasis because I need to build on windows
arj has quit [Quit: Leaving.]
<maurer>
Drup: also the file is a C++ file not a C file
<mrvn>
maurer: I hope you use extern "C"
<adrien_oww>
maurer: oasis works on windows
<maurer>
mrvn: Yes, or the original executable would not have built
rand000 has joined #ocaml
<adrien_oww>
and I might have some nice surprise for the windows build times soon
<maurer>
So, despite installing libfoo.a into the directory in addition to foo.a
<maurer>
Attempting to build against the package doesn't link against that
<adrien_oww>
what is the name of your C file?
<adrien_oww>
and OCaml one?
<Drup>
( maurer what's wrong with oasis under windows ?)
<maurer>
Drup: I was told (evidently incorrectly) that it simply wouldn't work and/or was deprecated
<adrien_oww>
it works at least as well as bare ocamlbuild
<maurer>
adrien_oww: Disassembler.cpp and there are a bunch of OCaml files, but the top level one is mc.mlpack
<maurer>
adrien_oww: the names of the _installed_ files are:
<maurer>
libmc.a
<maurer>
mc.a
<maurer>
mc.cmxa
<maurer>
mc.cma
<adrien_oww>
maurer: ok, wanted to make sure they don't have the same names
<adrien_oww>
I might be wrong but it seems you have a conflict
<maurer>
Oh, if I change the name to something other than libmc.a it will magically link?
<adrien_oww>
like two producers of a .a file
<maurer>
...no, libmc.a should only be produced from Disassembler.o + LLVM
<maurer>
mc.a should be produced from ml sources only
<maurer>
unless I'm missing something
<adrien_oww>
typically you have foo.ml and foo_stubs.c for that reason; I can't check right now but it's a common issue
<adrien_oww>
try mc_ml.mlpack
<maurer>
because of all the places I had to mention mc.* to get it to link right, it's easier to rename libmc.a, would that be enough?
<adrien_oww>
one or the other
lordkryss_ is now known as lordkryss
<adrien_oww>
I mentionned the one from mlpack since "libmc.a" seemed to be the canonical name for the llvm file
ustunozgur has joined #ocaml
<maurer>
adrien_oww: After changing to libllvmmc.a/dllllvmmc.so, it still fails to link against it
<adrien_oww>
what are the invocations?
tnguyen has joined #ocaml
divyanshu has quit [Ping timeout: 264 seconds]
divyanshu has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
<maurer>
mc/factory.o:(.data+0x11180): undefined reference to `mc_get_mcinst'
WraithM has joined #ocaml
dapz has joined #ocaml
<maurer>
(mc_get_mcinst is provided by my c++ file)
studybo__ has quit [Remote host closed the connection]
<maurer>
Notably though, it's not linking against /home/maurer/.opam/4.01.0/lib/llvm-mc/libllvmmc.a
<maurer>
(I'm also trying to try the oasis method at the same time, but am starting to think it doesn't know what a .mlpack file is
<adrien_oww>
usually that kind of dependency is stored in cma/cmxa files
<maurer>
adrien_oww: I'd love to put it there. How do I do that?
<adrien_oww>
ask Drup, it's been a couple years I haven't used packs
<adrien_oww>
maurer: not sure :P
<adrien_oww>
but basically it should appear on the invocation when building the .cm(x)a
<adrien_oww>
and then it's stored
<maurer>
adrien_oww: It does, which is why I didn't realize I neede dto install the .a files as well
<maurer>
Oh, it doesn't link against the .a there - it links against the .o
<maurer>
could that be the issue?
<Drup>
maurer: you don't need mlpack
<maurer>
?
<Drup>
put everything in a library (in the oasis meaning of library) and add "Pack: true"
<maurer>
Drup: It's multilayered
<Drup>
that's weird
<Drup>
don't know then :/
<maurer>
e.g. have an Mc pack, and that contains X86, ARM, and Factory
<maurer>
ARM and X86 are ach packs themselves
maattdd has quit [Ping timeout: 272 seconds]
<maurer>
Drup: Architecture's not set in stone - how else would it make sense to structure something like this, where X86 and ARM are currently modules that get passed to functors, but contain multiple computer generated modules
yomimono has joined #ocaml
<maurer>
(computer generated in the sense that their .ml files are written by llvm-tablegen)
bbarker has joined #ocaml
<Drup>
I'm not sure
<Drup>
I tend to put everything auto generated isolated in a corner and then define an overlay, but I can't claim that it's the perfect solution either
<Drup>
(I don't really use pack, tbh. I prefer to define the pack by hand, because I like to put the types in the main module)
arjunguha has joined #ocaml
<maurer>
Drup: Is there any way to get oasis to be verbose about what it's searching?
<maurer>
Yeah. I'm guessing I'm not going to be lucky enough for there to be C++ building capability in OASIS and I'm going to have to figure out how to hack that in again
maattdd has joined #ocaml
<Drup>
(is it even possible to link ocaml with some C++ ?)
WraithM has quit [Ping timeout: 240 seconds]
<mrvn>
puzza007: nope
<mrvn>
ups, ewin
<adrien_oww>
Drup: you can link to something with the C ABI
<adrien_oww>
and you can make C++ expose a C ABI
<Drup>
oh right, but that's like going through a C binding of a C++ api, isnt it ?
<mrvn>
I wish languages had support to link against c++
<maurer>
Drup: It is possible
<maurer>
Drup: My existing ocamlbuild setup does it, just not across package boundaries
<adrien_oww>
I wish C++ had an ABI usable by something else than C++ built with the exact same software and options
<maurer>
Drup: The way it works is that I override the use of ld to use g++ as a linker instead
<Drup>
I see
<Drup>
well, that's clearly not my area of expertise :p
<mrvn>
using g++ is needed but not sufficient
<maurer>
mrvn: I mean, I also exposed the interface to ocaml using extern C'd code etc
<maurer>
It looks like OASIS hardcodes libname_stubs ?
<maurer>
(I haven't told it _not_ to call it that, but for some reason it didn't generate it either, so...
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
seanmcl has joined #ocaml
philtor has quit [Ping timeout: 240 seconds]
tnguyen has quit [Quit: tnguyen]
maattdd has quit [Ping timeout: 272 seconds]
Arsenik has joined #ocaml
tnguyen has joined #ocaml
sagotch has joined #ocaml
maattdd has joined #ocaml
racycle has joined #ocaml
tnguyen has quit [Quit: tnguyen]
yacks has quit [Ping timeout: 240 seconds]
aggelos has quit [Ping timeout: 264 seconds]
<BitPuffin>
is there any templating language written in ocaml?
<BitPuffin>
that I can use in conjunction with my cohttp app
<BitPuffin>
although I'm thinking I might instead make the cohttp app a rest api and build a "standalone" frontend, because then I can do fancy stuff and also make apps etc
<avsm>
BitPuffin: i just build the html stuff using ocaml-cow directly.
<companion_cube>
take a look at ocisgen components
ustunozg_ has joined #ocaml
<avsm>
but ocsigen also good (but its still being ported to cohttp in trunk)
arjunguha has joined #ocaml
<BitPuffin>
avsm: ah interesting
arjunguha has quit [Client Quit]
ustunozgur has quit [Ping timeout: 255 seconds]
tane has joined #ocaml
<Drup>
there is ecaml
<Drup>
for the templating acept
boogie has joined #ocaml
<Drup>
aspect*
yacks has joined #ocaml
Hannibal_Smith has joined #ocaml
maattdd has quit [Quit: WeeChat 0.4.3]
<Drup>
avsm: on the subject of html in ocaml-cow, what would I need to do to convince you to use tyxml under the hood ? :3
<avsm>
a diff ;-)
<avsm>
not got a lot of time to hack on cow atm, nor does thomasga i think
<Drup>
ok
* Drup
adds that to his TODO list
<avsm>
thanks!
<avsm>
it's the sunset years of camlp4, but cow shall live forever
<Drup>
ppx for the ocsigen stack is also on the todo list, but I'm lacking time for now
rand000 has quit [Ping timeout: 264 seconds]
BitPuffin has quit [Ping timeout: 245 seconds]
Geir_ has joined #ocaml
Geir_ has left #ocaml [#ocaml]
rgrinberg has joined #ocaml
ustunozgur has joined #ocaml
ustunozg_ has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Remote host closed the connection]
rand000 has joined #ocaml
mcclurmc has joined #ocaml
<thomasga>
avsm: I've started to hack on cow's build system yesterday though :p
rgrinberg has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
<avsm>
cow is the graveyard of new build tools :P
olauzon has joined #ocaml
rgrinberg has quit [Ping timeout: 244 seconds]
arjunguha has joined #ocaml
arjunguha has quit [Client Quit]
sagotch has quit [Remote host closed the connection]
WraithM has joined #ocaml
thomasga has quit [Quit: Leaving.]
ustunozgur has quit [Remote host closed the connection]
aggelos has joined #ocaml
Arsenik has quit [Remote host closed the connection]
yacks has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
aggelos has quit [Ping timeout: 244 seconds]
f[x] has quit [Ping timeout: 240 seconds]
q66 has joined #ocaml
troydm has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
Kakadu has quit [Quit: Page closed]
f[x] has joined #ocaml
yacks has joined #ocaml
remyzorg has quit [Quit: WeeChat 0.4.3]
rgrinberg has quit [Ping timeout: 272 seconds]
tane has quit [Quit: Verlassend]
<maurer>
ls
<maurer>
oops
thomasga has joined #ocaml
avsm has quit [Quit: Leaving.]
<maurer>
OK, so this is awkward - OASIS appears to filter based on file extension, and won't even try to build my .cpp file :/
<maurer>
this means I can't use my previous trick of lying and telling it that g++ was totally a C compiler
<adrien>
ocamlbuild is entirely based on file extensions
hhugo has quit [Quit: Leaving.]
<maurer>
Hm, I wonder if OASIS will work if I put a .o in there
<maurer>
or... maybe I can merge my old myocamlbuild file with the one it generates
mcclurmc has quit [Remote host closed the connection]
dsheets has quit [Ping timeout: 245 seconds]
BitPuffin has joined #ocaml
thomasga has quit [Quit: Leaving.]
arjunguha has joined #ocaml
<lostman>
is there anyone familiar with eliom around? I've been trying to get it working with core library but it complains about type_conv and I'm not exactly sure what to do about it...
<BitPuffin>
is the printf's evaluated before the List.exists?
<Drup>
"[ x ; y ]" ≡ "x :: y :: []"
<Drup>
and ocaml evaluation is right to left (but unspecified :p)
<Drup>
and obviously the printf's are evaluated before the List.exists
<BitPuffin>
it should be specified imo
<Drup>
what did you expect ? it's not a lazy language.
<BitPuffin>
yeah okay
<BitPuffin>
no that's what I was thinking
studybot_ has joined #ocaml
<BitPuffin>
the reason I was confused was that I didn't notice the sin
<BitPuffin>
xD
<mrvn>
BitPuffin: right to left maks sense there because you build the lost from the tail to the head idealy.
<BitPuffin>
mrvn: yeah, but I mean it should be in the language spec
Tamae has quit [Ping timeout: 252 seconds]
<whitequark>
Drup: it's not right to left
<Drup>
I think it's not exactly the same under certain circumstances between native and bytecode
<whitequark>
it's one way in ocamlc and other in ocamlopt
<Drup>
right
<BitPuffin>
Drup: which is bad
<mrvn>
now that part is just fun.
<whitequark>
which has the excellent property that it actively tries to break incorrect code
* whitequark
approves
<Drup>
:D
<mrvn>
whitequark: random order would be even better
<BitPuffin>
well that's good but it should be standardized :P
<whitequark>
mrvn: builds should be deterministic though
* BitPuffin
hates unspecified behaviour :P
* adrien
loves it: makes code faster
<BitPuffin>
how
claudiuc has joined #ocaml
<whitequark>
a sufficiently smart compiler can reorder side-effecting expressions while optimizing
<whitequark>
I don't think I'm aware of one, though
studybot_ has quit [Remote host closed the connection]
<Drup>
ghc
manizzle has joined #ocaml
<whitequark>
no side effects in ghc :p
<Drup>
of course there are
<whitequark>
what I mean is that ghc cheats and forces you to describe them explicitly
<whitequark>
hence it's not "sufficiently smart"
<Drup>
sure, but it does the reordering you describe
* whitequark
can't write coherently today
<BitPuffin>
there are side effects in ghc
<BitPuffin>
there are not side effects in haskell though, unless explicit
* BitPuffin
runs
Eyyub has joined #ocaml
<whitequark>
try #3... I'm not sure that the freedom that is given by underspecifying can actually benefit anything in presence of *potentially* present (i.e. implicit) side effects, because no compiler I know of can take advantage of that
Kakadu has joined #ocaml
<Drup>
doesn't the intel C compiler does loop inversion ?
<BitPuffin>
is it only with imperative programming that the interpreter and native compiler differ?
<whitequark>
because if the compiler can prove there are no side effects, it wouldn't be limited by the clause in the standard that says that observable effects must be in the LTR order
<whitequark>
Drup: I don't think it would invert a loop if the body is side-effecting...
<whitequark>
fairly sure the standard prohibits that
<Drup>
probably
<whitequark>
like, there's a sequence point between iterations
<BitPuffin>
it can reorder however much it want, as long as the result is the same
<whitequark>
that's exactly what I'm talking about
<Drup>
whitequark: well, actually, "modifying a variable" is a side effect
<BitPuffin>
and if it's not the same, then the compiler is destructively reordering
<Drup>
and it will reorder the loop, according to dependence analysis.
<BitPuffin>
which is bad
<whitequark>
Drup: arguably: only if it is actually observed externally
Eyyub has quit [Client Quit]
<Drup>
it would need to be tested :p
aggelos has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
<Drup>
but I think it would happily reorder loops in a function that takes the array as input
<Drup>
(I remember seeing something like that in some SO question)
<Drup>
with something equivalent to -Obreakeverything, obviously
<whitequark>
hmm
f[x] has quit [Ping timeout: 244 seconds]
<Drup>
(and I would be surprise if there was no crazy fortran compiler doing this kind of stuff)
<whitequark>
fortran is generally somewhat more weakly specified than C
<whitequark>
e.g. restrict is implied
avsm has quit [Quit: Leaving.]
<BitPuffin>
Isn't the spec of fortran basically a pdf document containing the sentence "Fortran is an unspecified language"
Kakadu has quit [Ping timeout: 240 seconds]
<whitequark>
no
<BitPuffin>
so serious
Kakadu has joined #ocaml
ustunozgur has joined #ocaml
lordkryss_ has joined #ocaml
WraithM has quit [Ping timeout: 244 seconds]
mcclurmc has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
lordkryss has quit [Ping timeout: 245 seconds]
seanmcl has quit [Read error: Connection reset by peer]
ustunozg_ has joined #ocaml
ustunozgur has quit [Ping timeout: 255 seconds]
glurky has joined #ocaml
zarul has joined #ocaml
zarul has joined #ocaml
zarul has quit [Changing host]
ustunozgur has joined #ocaml
ustunozg_ has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
lordkryss_ is now known as lordkryss
xitology_ has quit [Quit: Ex-Chat]
xitology_ has joined #ocaml
arjunguha has quit [Ping timeout: 240 seconds]
lordkryss_ has joined #ocaml
arjunguha has joined #ocaml
lordkryss has quit [Ping timeout: 244 seconds]
ustunozgur has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
ustunozgur has quit [Ping timeout: 244 seconds]
lordkryss_ is now known as lordkryss
Anarchos has quit [Quit: rebooting to win7 repair disc...]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
arjunguha has joined #ocaml
racycle has quit [Read error: Connection reset by peer]
racycle has joined #ocaml
ggole has quit []
pyx has joined #ocaml
alpounet has quit [Remote host closed the connection]
pyx has quit [Client Quit]
AltGr has left #ocaml [#ocaml]
Eyyub has joined #ocaml
Arsenik has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
hhugo has joined #ocaml
Thooms has joined #ocaml
lordkryss has quit [*.net *.split]
zarul has quit [*.net *.split]
manizzle has quit [*.net *.split]
divyanshu has quit [*.net *.split]
ddosia has quit [*.net *.split]
ebzzry has quit [*.net *.split]
ousado has quit [*.net *.split]
brendan__ has quit [*.net *.split]
axiles has quit [*.net *.split]
diginux has quit [*.net *.split]
rs0 has quit [*.net *.split]
bjorkintosh has quit [*.net *.split]
squiggnet has quit [*.net *.split]
xenocons has quit [*.net *.split]
weykent has quit [*.net *.split]
bcuccioli has quit [*.net *.split]
yastero has quit [*.net *.split]
lostman has quit [*.net *.split]
__marius____ has quit [*.net *.split]
engil has quit [*.net *.split]
hto has quit [*.net *.split]
clog has quit [*.net *.split]
emmanueloga has quit [*.net *.split]
lopex has quit [*.net *.split]
olasd has quit [*.net *.split]
BiDOrD has quit [*.net *.split]
ccasin has quit [*.net *.split]
acieroid has quit [*.net *.split]
vbmithr has quit [*.net *.split]
ggherdov has quit [*.net *.split]
so has quit [*.net *.split]
companion_cube has quit [*.net *.split]
Ptival has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
alex_nx has quit [*.net *.split]
isomorphismes has quit [*.net *.split]
Armael has quit [*.net *.split]
saarin has quit [*.net *.split]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
lordkryss has joined #ocaml
xenocons has joined #ocaml
squiggnet has joined #ocaml
divyanshu has joined #ocaml
clog has joined #ocaml
axiles has joined #ocaml
isomorphismes has joined #ocaml
ddosia has joined #ocaml
ggherdov has joined #ocaml
bjorkintosh has joined #ocaml
companion_cube has joined #ocaml
bcuccioli has joined #ocaml
rs0 has joined #ocaml
Ptival has joined #ocaml
manizzle has joined #ocaml
vbmithr has joined #ocaml
weykent has joined #ocaml
acieroid has joined #ocaml
saarin has joined #ocaml
brendan__ has joined #ocaml
olasd has joined #ocaml
ousado has joined #ocaml
diginux has joined #ocaml
emmanueloga has joined #ocaml
Asmadeus has joined #ocaml
Armael has joined #ocaml
yastero has joined #ocaml
ebzzry has joined #ocaml
__marius____ has joined #ocaml
ccasin has joined #ocaml
lostman has joined #ocaml
hto has joined #ocaml
so has joined #ocaml
lopex has joined #ocaml
BiDOrD has joined #ocaml
alex_nx has joined #ocaml
engil has joined #ocaml
ousado_ has joined #ocaml
ousado has quit [Quit: --]
zarul has joined #ocaml
zarul has joined #ocaml
zarul has quit [Changing host]
ousado_ is now known as ousado
ousado has quit [Changing host]
ousado has joined #ocaml
arjunguh_ has joined #ocaml
arjungu__ has joined #ocaml
mcclurmc has joined #ocaml
arjunguha has quit [Ping timeout: 244 seconds]
mcclurmc has quit [*.net *.split]
xitology_ has quit [*.net *.split]
BitPuffin has quit [*.net *.split]
boogie has quit [*.net *.split]
strobegen has quit [*.net *.split]
yomimono has joined #ocaml
robink has quit [*.net *.split]
metasyntax has quit [*.net *.split]
_JokerDoom has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
n0v has quit [*.net *.split]
arjunguh_ has quit [Ping timeout: 255 seconds]
itewsh has joined #ocaml
chris2 has quit [Ping timeout: 272 seconds]
strobegen has joined #ocaml
xitology_ has joined #ocaml
BitPuffin has joined #ocaml
_JokerDoom has joined #ocaml
mcclurmc has joined #ocaml
n0v has joined #ocaml
metasyntax has joined #ocaml
IbnFirnas has joined #ocaml
boogie has joined #ocaml
robink has joined #ocaml
__JokerDoom has joined #ocaml
_JokerDoom has quit [Excess Flood]
axiles has quit [Remote host closed the connection]
hhugo has quit [Quit: Leaving.]
chris2 has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
ustunozgur has joined #ocaml
itewsh has quit [Quit: o/]
ollehar has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
ollehar1 has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
adrien_o1w has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
adrien_oww has quit [Ping timeout: 240 seconds]
arjungu__ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hhugo has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
ollehar1 has quit [Ping timeout: 272 seconds]
agarwal1975_ has joined #ocaml
agarwal1975 has quit [Ping timeout: 272 seconds]
agarwal1975_ is now known as agarwal1975
divyanshu has joined #ocaml
studybot_ has joined #ocaml
Arsenik has quit [Remote host closed the connection]
ebzzry has quit [Ping timeout: 240 seconds]
hhugo has quit [Quit: Leaving.]
olauzon has quit [Quit: olauzon]
lordkryss has quit [Ping timeout: 240 seconds]
philtor has joined #ocaml
Sim_n has joined #ocaml
Simn has quit [Ping timeout: 240 seconds]
aggelos has joined #ocaml
dapz has joined #ocaml
hhugo has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
Eyyub has quit [Ping timeout: 240 seconds]
aggelos has quit [Ping timeout: 240 seconds]
manizzle has quit [Read error: Connection reset by peer]
manizzle has joined #ocaml
shinnya has joined #ocaml
avsm has joined #ocaml
<maurer>
Drup: Do you know how to specify a C compiler to oasis?
Eyyub has joined #ocaml
hhugo has quit [Quit: Leaving.]
studybo__ has joined #ocaml
studybot_ has quit [Ping timeout: 264 seconds]
Thooms has quit [Ping timeout: 240 seconds]
ebzzry has joined #ocaml
boogie has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 240 seconds]
studybo__ has quit [Remote host closed the connection]