spacun has quit [Remote host closed the connection]
spacun has joined #ocaml
sheijk_ has joined #ocaml
sheijk has quit [Ping timeout: 264 seconds]
ontologiae has joined #ocaml
frx has quit [Ping timeout: 264 seconds]
spacun has quit [Ping timeout: 250 seconds]
WraithM has quit [Quit: Lost terminal]
WraithM has joined #ocaml
ousado has quit [Read error: Operation timed out]
testcocoon has quit [Ping timeout: 264 seconds]
testcocoon has joined #ocaml
spacun has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
testcocoon has quit [Ping timeout: 252 seconds]
testcocoon has joined #ocaml
mfp_ has quit [Ping timeout: 246 seconds]
ousado has joined #ocaml
ousado has quit [Read error: Operation timed out]
Xenasis has quit [Remote host closed the connection]
ousado has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
zpe has joined #ocaml
ontologiae has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
zpe has quit [Ping timeout: 272 seconds]
sheijk_ has quit [Quit: .]
spacun has quit [Ping timeout: 252 seconds]
ontologiae has quit [Ping timeout: 246 seconds]
strobegen has joined #ocaml
boogie has quit [Remote host closed the connection]
ygrek has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
jpdeplaix has quit [Ping timeout: 250 seconds]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 240 seconds]
csakatoku has joined #ocaml
jpdeplaix has joined #ocaml
manizzle has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
michael_lee has joined #ocaml
spacun has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
Guest10518 has quit [Remote host closed the connection]
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
watermind has quit [Client Quit]
watermind has joined #ocaml
strobegen has quit [Quit: Leaving.]
strobegen has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
manizzle has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
watermind has quit [Ping timeout: 272 seconds]
zpe has joined #ocaml
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ivan\ has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
spacun has quit [Ping timeout: 240 seconds]
rz has quit [Ping timeout: 260 seconds]
csakatoku has quit [Remote host closed the connection]
rz has joined #ocaml
mcclurmc has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 259 seconds]
snyp has joined #ocaml
csakatoku has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
mcclurmc has quit [Remote host closed the connection]
snyp has quit [Quit: leaving]
Rc43 has quit [Ping timeout: 272 seconds]
ygrek has quit [Ping timeout: 250 seconds]
dant3 has joined #ocaml
bobry has joined #ocaml
Simn has joined #ocaml
ygrek has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 260 seconds]
frx has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
WraithM has quit [Quit: Lost terminal]
WraithM has joined #ocaml
Arzaga has joined #ocaml
nikki93 has joined #ocaml
Arzaga has quit [Client Quit]
michael_lee has quit [Ping timeout: 260 seconds]
dant3 has quit [Remote host closed the connection]
Kakadu has joined #ocaml
dant3 has joined #ocaml
Neros has quit [Ping timeout: 246 seconds]
michael_lee has joined #ocaml
Arzaga has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest88748
zpe has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
tristero has quit [Ping timeout: 245 seconds]
so has quit [Ping timeout: 245 seconds]
tristero has joined #ocaml
so has joined #ocaml
boogie has joined #ocaml
Arzaga has quit [Quit: Computer has gone to sleep.]
boogie has quit [Remote host closed the connection]
Guest88748 has quit [Remote host closed the connection]
kyrylo has joined #ocaml
Simn has quit [Ping timeout: 252 seconds]
WraithM has quit [Quit: Lost terminal]
WraithM has joined #ocaml
cago has joined #ocaml
csakatok_ has quit [Read error: Connection reset by peer]
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
Kakadu__ has joined #ocaml
csakatoku has joined #ocaml
ocp has joined #ocaml
Kakadu has quit [Ping timeout: 272 seconds]
kyrylo has quit [Ping timeout: 250 seconds]
zpe has joined #ocaml
dant3 has quit [Remote host closed the connection]
mika1 has joined #ocaml
agnoctone has joined #ocaml
ggole has joined #ocaml
BitPuffin has joined #ocaml
milosn_ has joined #ocaml
michael_lee has quit [Remote host closed the connection]
milosn has quit [Ping timeout: 252 seconds]
milosn_ has quit [Ping timeout: 240 seconds]
agnoctone has quit [Ping timeout: 272 seconds]
dant3 has joined #ocaml
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
_5kg has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
_5kg has joined #ocaml
WraithM has quit [Quit: leaving]
WraithM has joined #ocaml
ontologiae has joined #ocaml
ollehar has quit [Ping timeout: 250 seconds]
_5kg has quit [Ping timeout: 240 seconds]
ontologiae has quit [Ping timeout: 264 seconds]
mika1 has quit [Quit: Leaving.]
agnoctone has joined #ocaml
mfp_ has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 252 seconds]
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
_5kg has joined #ocaml
agnoctone has quit [Ping timeout: 272 seconds]
dant3 has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
dant3 has joined #ocaml
Neros has joined #ocaml
thomasga has joined #ocaml
ollehar has joined #ocaml
dsheets has joined #ocaml
Simn has joined #ocaml
rand000 has joined #ocaml
plugwash has joined #ocaml
<plugwash>
I'm working on upading the ocaml package in raspbian jessie and i've noticed that -DMODEL_armv6 gets passed when building arm.o but not when building arm.p.o, is this just an oversight in the build system or is there some reason for it?
<adrien_oww>
my bet is on "oversight"
michael_lee has joined #ocaml
nikki93 has joined #ocaml
strobe has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
<plugwash>
thanks, proceeding on that assumption
<adrien_oww>
plugwash: it shouldn't be difficult to fix it in the build system
<plugwash>
indeed, i've changed it now and am building again, hopefully no armv7 contamination is detected this time
jonludlam has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
agnoctone has joined #ocaml
Kakadu__ is now known as kakadu
<plugwash>
yep, came out clean, thanks
Neros has quit [Ping timeout: 264 seconds]
talzeus_ has quit [Remote host closed the connection]
<Rc43>
Is it because there is no explicit recursion, so rec is redundant?
<Rc43>
But I can't remove rec, because here is mutual recursion.
dant3 has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 250 seconds]
<def-lkb>
Rc43: If I recall, the rhs of a let rec binding must be syntactic value, while here you have another let-binding
<def-lkb>
if you eta-expand you first definition, it will work as expected
<def-lkb>
this restriction prevents you from making unsound computation (like using a variable before its value is computed)
<Rc43>
def-lkb, that works
<Rc43>
def-lkb, but it is not obvious for me how this restriction prevents from unsound ocmputation
<whitequark>
let rec foo = let bar = foo in bar + 1
<Rc43>
whitequark, ah, understood
<whitequark>
or just let rec foo = foo + 1 *shrug*
<Rc43>
whitequark, that is because of eager evaluation, right?
<def-lkb>
right
<def-lkb>
with lazy evaluation it could just diverge
avsm has quit [Quit: Leaving.]
<adrien_oww>
plugwash: also, make sure there is a corresponding bug tracker item :)
zpe has joined #ocaml
sepp2k has joined #ocaml
thomasga has joined #ocaml
ontologiae has joined #ocaml
dant3 has joined #ocaml
plugwash has quit [Ping timeout: 272 seconds]
cago has left #ocaml []
watermind has joined #ocaml
ocp has quit [Ping timeout: 246 seconds]
pminten has joined #ocaml
watermind has quit [Read error: Operation timed out]
plugwash has joined #ocaml
mika1 has joined #ocaml
watermind has joined #ocaml
nikki93 has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
nikki93 has quit [Ping timeout: 264 seconds]
mchqwerty has joined #ocaml
spacun has joined #ocaml
kyrylo has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
spacun has quit [Ping timeout: 250 seconds]
frxx has joined #ocaml
tizoc has joined #ocaml
avsm has joined #ocaml
frx has quit [Ping timeout: 272 seconds]
darkf has quit [Quit: Leaving]
mch has joined #ocaml
mchqwerty has quit [Ping timeout: 260 seconds]
pminten has quit [Quit: Leaving]
mreca has joined #ocaml
mchqwerty has joined #ocaml
mch has quit [Ping timeout: 240 seconds]
Rc43 has quit [Ping timeout: 272 seconds]
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
mcclurmc has joined #ocaml
thomasga1 has joined #ocaml
thomasga has quit [Ping timeout: 245 seconds]
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
dant3 has quit [Remote host closed the connection]
ocp has joined #ocaml
watermind has quit [Read error: Connection reset by peer]
watermind has joined #ocaml
watermind has quit [Client Quit]
watermind has joined #ocaml
mfp_ has quit [Read error: Connection reset by peer]
plugwash has quit [Ping timeout: 240 seconds]
mika1 has quit [Read error: Connection reset by peer]
mika1 has joined #ocaml
mye has joined #ocaml
ontologiae has quit [Ping timeout: 246 seconds]
nze has joined #ocaml
ygrek has joined #ocaml
agnoctone has quit [Quit: Page closed]
companion_cube has quit [Ping timeout: 246 seconds]
companion_cube has joined #ocaml
ocp has quit [Ping timeout: 250 seconds]
ontologiae has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
osa1 has quit [Ping timeout: 240 seconds]
osa1_ has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
sepp2k has quit [Quit: Konversation terminated!]
kakadu has quit [Ping timeout: 272 seconds]
troydm has joined #ocaml
mchqwerty has quit [Quit: Odcházím]
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dant3 has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
wolfnn has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
Arzaga has joined #ocaml
zpe has quit [Remote host closed the connection]
ulfdoz has joined #ocaml
mcclurmc has joined #ocaml
pango has quit [Ping timeout: 260 seconds]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
boogie has joined #ocaml
manizzle has quit [Ping timeout: 272 seconds]
Kakadu has joined #ocaml
mika1 has quit [Quit: Leaving.]
WraithM has quit [Quit: leaving]
WraithM has joined #ocaml
Arzaga has quit [Quit: Computer has gone to sleep.]
boogie has quit [Remote host closed the connection]
pango has joined #ocaml
dant3 has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
mfp_ has joined #ocaml
michael_lee has quit [Ping timeout: 246 seconds]
boogie has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
jwatzman|work has joined #ocaml
snyp has joined #ocaml
mcclurmc has joined #ocaml
mreca has joined #ocaml
dant3 has joined #ocaml
troydm has quit [Ping timeout: 264 seconds]
thomasga1 has quit [Ping timeout: 252 seconds]
kyrylo has quit [Ping timeout: 240 seconds]
dant3 has quit [Ping timeout: 246 seconds]
BitPuffin has quit [Quit: WeeChat 0.4.2]
WraithM has quit [Quit: leaving]
WraithM has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
manizzle has joined #ocaml
manizzle has quit [Remote host closed the connection]
manizzle has joined #ocaml
plugwash has joined #ocaml
Xenasis has joined #ocaml
WraithM has quit [Quit: leaving]
mye has quit [Quit: mye]
WraithM has joined #ocaml
snyp has quit [Quit: Leaving]
ollehar has joined #ocaml
thomasga has joined #ocaml
Xenasis has quit [Remote host closed the connection]
nikki93 has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
tane has joined #ocaml
WraithM has quit [Quit: leaving]
WraithM has joined #ocaml
WraithM has quit [Client Quit]
WraithM has joined #ocaml
dsheets has quit [Ping timeout: 252 seconds]
WraithM has quit [Client Quit]
WraithM has joined #ocaml
thomasga has quit [Quit: Leaving.]
nikki93 has quit [Remote host closed the connection]
Anarchos has joined #ocaml
zpe has joined #ocaml
BitPuffin has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
Neros has joined #ocaml
ggole has quit []
ontologiae has quit [Ping timeout: 264 seconds]
dsheets has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
avsm has quit [Remote host closed the connection]
troydm has joined #ocaml
mort___ has joined #ocaml
kyrylo has joined #ocaml
nikki93 has joined #ocaml
mcclurmc has joined #ocaml
kyrylo has quit [Ping timeout: 272 seconds]
nikki93 has quit [Remote host closed the connection]
ontologiae has joined #ocaml
ulfdoz has quit [Ping timeout: 272 seconds]
ulfdoz has joined #ocaml
<jwatzman|work>
Is there a preferred way to send patches for inclusion in ocaml SVN? I have a small patch against ocamldebug but I can't find any documentation or examples of where I should send it: the mailing list, attached to a Mantis ticket, or a pull request on github
<adrien>
mantis
<adrien>
git repo on github is a read-only clone
<adrien>
mailing-list; well, you probably could but it's not usual
<jwatzman|work>
adrien: Yeah I figured github wasn't it, will submit the Mantis ticket -- thanks!
<adrien>
the process (or lack of thereof) for external contributions to the compiler and tools needs to be rethough
nikki93 has joined #ocaml
Kakadu has quit []
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rambocoder has joined #ocaml
hellome has joined #ocaml
nikki93 has quit [Read error: Connection reset by peer]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
plugwash has quit [Ping timeout: 240 seconds]
mreca has joined #ocaml
nlucaroni has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
tane has quit [Quit: Verlassend]
ocp has joined #ocaml
metasyntax has quit [Quit: Leaving]
rand000 has quit [Quit: leaving]
nikki93 has joined #ocaml
hellome has quit [Remote host closed the connection]
hellome has joined #ocaml
ocp has quit [Quit: Leaving.]
ocp has joined #ocaml
hellome has quit [Read error: Connection reset by peer]
hellome has joined #ocaml
hellome has quit [Remote host closed the connection]
hellome has joined #ocaml
nikki93 has quit [Remote host closed the connection]
hellome has quit [Remote host closed the connection]
hellome has joined #ocaml
ulfdoz has quit [Ping timeout: 246 seconds]
darkf has joined #ocaml
malvarez has joined #ocaml
nikki93 has joined #ocaml
strobe has quit [Read error: Connection reset by peer]
kyrylo has joined #ocaml
hellome has quit [Remote host closed the connection]
ocp has quit [Quit: Leaving.]
rossberg has quit [Ping timeout: 240 seconds]
wolfnn has quit [Ping timeout: 252 seconds]
strobegen has quit [Quit: Leaving.]
avsm has joined #ocaml
mort___ has left #ocaml []
Simn has quit [Ping timeout: 252 seconds]
Xenasis has joined #ocaml
mcclurmc has joined #ocaml
nikki93 has quit [Remote host closed the connection]
malvarez has quit [Ping timeout: 248 seconds]
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Simn has joined #ocaml
jonludlam has quit [Ping timeout: 260 seconds]
jonludlam has joined #ocaml
tristero has quit [Quit: tristero]
Anarchos has quit [Quit: Vision[0.9.7-H-280704]: i've been blurred!]
mcclurmc has quit [Remote host closed the connection]
nikki93 has joined #ocaml
tlockney has quit [Excess Flood]
boogie has quit [Remote host closed the connection]
tlockney has joined #ocaml
nikki93 has quit [Ping timeout: 260 seconds]
jonludlam has quit [Remote host closed the connection]
manud_ has joined #ocaml
shinnya has joined #ocaml
BitPuffin has quit [Ping timeout: 250 seconds]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
plugwash has joined #ocaml
<plugwash>
04:23:25 <adrien_oww> plugwash: also, make sure there is a corresponding bug tracker item :) <-- umm where is the bug tracker? I can't seem to spot any links to one