sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
Algebr has joined #ocaml
Algebr has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
small-wolf has left #ocaml [#ocaml]
Algebr has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 265 seconds]
Algebr has quit [Ping timeout: 244 seconds]
psy has joined #ocaml
Simn has joined #ocaml
<n3ss3s>
Should I expect problems to arise from deleting a file with Sys.remove, and immediately (as in, the next line) recreating the file and writing into it?
palomer has quit [Quit: palomer]
<dora-molly>
no?! why should you?
<dora-molly>
from the point of view of your program, these two operations should always appear sequentially consistent, so don't bother
djellemah has joined #ocaml
<dora-molly>
however, if another process is involved, then given you had some synchronization point after removal, it should be ok. yet, the semantics of VFS is sometime… fancy
palomer has joined #ocaml
palomer has quit [Client Quit]
maufred has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
kushal has joined #ocaml
Algebr has joined #ocaml
oscar_toro has quit [Ping timeout: 255 seconds]
Erylisia has quit [Quit: Quitte]
kushal has quit [Read error: Connection reset by peer]
axiles has quit [Quit: Quitte]
Haudegen has quit [Ping timeout: 240 seconds]
oscar_toro has joined #ocaml
Tekilla has quit [Quit: Quitte]
mengu has joined #ocaml
Cyanure has joined #ocaml
wildsebastian has joined #ocaml
fredyr has joined #ocaml
mengu has quit [Remote host closed the connection]
Haudegen has joined #ocaml
<Algebr>
I have some module types defined in A.mli and their corresponds structs in A.ml. Now I'm trying to use A's modules in B.ml but I keep getting unbound module errors when I try to use modules from A in B.
Algebr has quit [Ping timeout: 240 seconds]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Cyanure has quit [Remote host closed the connection]
mengu has joined #ocaml
antkong_ has quit [Quit: antkong_]
maufred has quit [Ping timeout: 264 seconds]
maufred has joined #ocaml
MercurialAlchemi has joined #ocaml
tsumetai has quit [Quit: Leaving]
Kakadu has joined #ocaml
n3ss3s has quit [Ping timeout: 272 seconds]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
axiles has joined #ocaml
MercurialAlchemi has joined #ocaml
dsheets has quit [Ping timeout: 256 seconds]
<flux>
do you have A.cmi?
<flux>
or what kind of build system do yo use?
rgrinberg has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Ping timeout: 240 seconds]
freling has joined #ocaml
tsumetai has joined #ocaml
Haudegen has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
matason has joined #ocaml
Gama11 has joined #ocaml
octachron has joined #ocaml
dsheets has joined #ocaml
dav has quit [Read error: No route to host]
kushal has joined #ocaml
Submarine has joined #ocaml
sepp2k has joined #ocaml
rand000 has joined #ocaml
thomasga has joined #ocaml
axiles has quit [Ping timeout: 272 seconds]
Reventlov has quit [Quit: leaving]
elfring has joined #ocaml
Reventlov has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
kushal has quit [Read error: Connection reset by peer]
mort___ has joined #ocaml
jonludlam has joined #ocaml
mort___ has left #ocaml [#ocaml]
mengu has quit [Remote host closed the connection]
axiles has joined #ocaml
yomimono has joined #ocaml
axiles has quit [Ping timeout: 264 seconds]
kushal has joined #ocaml
palomer has joined #ocaml
ggole has joined #ocaml
rand000 has quit [Quit: leaving]
kushal has quit [Excess Flood]
kushal has joined #ocaml
axiles has joined #ocaml
AltGr has left #ocaml [#ocaml]
palomer has quit [Quit: palomer]
thomasga has quit [Quit: Leaving.]
matason has quit []
rgrinberg has joined #ocaml
matason has joined #ocaml
rgrinberg has quit [Ping timeout: 276 seconds]
Haudegen has quit [Ping timeout: 252 seconds]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
Hannibal_Smith has joined #ocaml
tristero has quit [Ping timeout: 272 seconds]
antkong has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
ollehar has joined #ocaml
asQuirreL has joined #ocaml
Haudegen has joined #ocaml
antkong has quit [Ping timeout: 264 seconds]
larhat1 has quit [Quit: Leaving.]
larhat has joined #ocaml
mcc has quit [Quit: This computer has gone to sleep]
mengu has joined #ocaml
thomasga has joined #ocaml
andreypopp has joined #ocaml
rgrinberg has joined #ocaml
TheLemonMan has joined #ocaml
oscar_toro has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Ping timeout: 256 seconds]
yomimono has quit [Ping timeout: 276 seconds]
yomimono has joined #ocaml
yomimono has quit [Ping timeout: 246 seconds]
_andre has joined #ocaml
BitPuffin has joined #ocaml
ontologiae has joined #ocaml
larhat has quit [Quit: Leaving.]
ontologiae has quit [Ping timeout: 264 seconds]
thomasga has quit [Quit: Leaving.]
larhat has joined #ocaml
cmtptr has quit [Ping timeout: 240 seconds]
matason has quit []
matason has joined #ocaml
troydm has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
cmtptr has joined #ocaml
MercurialAlchemi has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
Hannibal_Smith has quit [Quit: Leaving]
yetone has joined #ocaml
yetone has quit [Remote host closed the connection]
mengu has quit [Remote host closed the connection]
kushal has quit [Ping timeout: 272 seconds]
larhat has quit [Quit: Leaving.]
oscar_toro has joined #ocaml
palomer has joined #ocaml
freling1 has joined #ocaml
freling has quit [Read error: Connection reset by peer]
sdothum has joined #ocaml
thomasga has joined #ocaml
freling1 is now known as freling
Algebr has joined #ocaml
<xificurC>
anyone knows of a good online resource to writing an ML interpreter/compiler?
<flux>
"As for the next major release, it will include a number of new features (including, if all goes well, support for multicore). It will be released some time around the end of this year." :-o
<flux>
ocaml 5.0?
<flux>
also how about implicits..
rgrinberg has joined #ocaml
Denommus has joined #ocaml
Denommus has quit [Max SendQ exceeded]
Denommus has joined #ocaml
Denommus has quit [Max SendQ exceeded]
Denommus has joined #ocaml
Denommus has quit [Max SendQ exceeded]
mengu has joined #ocaml
<adrien_znc>
\o/
<reynir>
Ah, implicits! When you get errors like "This expression has type foo but an expression was expected of type foo" :D
larhat has joined #ocaml
lordkryss has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 245 seconds]
<flux>
it is almost as if GitHub is an imporant piece of infrastructure being used by the OCaml developers!
ontologiae has quit [Ping timeout: 250 seconds]
antkong has joined #ocaml
antkong has quit [Ping timeout: 256 seconds]
<flux>
I guess this is the time to start drumming in all medias that OCaml 5.0 will be out this December and will have multicore, overloading and unicorns? right?
<xificurC>
do users submit patches and stuff to the ocaml compiler codebase? It seems to me that it is hidden somewhere in France, not to be touched by anyone else :)
<xificurC>
usually there's someone on irc from the devs to give pointers on these things, here it seems the users don't get any updates on what will come out when
<flux>
there's no need to submit anything, ocaml is just perfect as it is!
<flux>
but if you have something worthwhile to submit.. you need to advertise it :)
<flux>
it seems that everything is a bit connected to everything else so that it makes difficult to make actual compiler patches unless you have a very good idea what you're doing
<xificurC>
flux: yeah, I'm not educated enough to submit any patches, I'm just wondering how come noone in the channel is (or the other way around how come none of the devs sit around here). The compiler then seems to be covered in fog, noone knowing how and when and what will happen
<adrien_znc>
well, that one was a surprise
<adrien_znc>
several people here have contributed to the compiler and continue to do so
<adrien_znc>
with more than minor stuff
<xificurC>
ggole: thanks for the link, I'll look through it
<xificurC>
adrien_znc: I see. So how come noone really knows how is development going?
rgrinberg has joined #ocaml
<flux>
I wonder how much of the core discussions occur face-to-face, given it's mostly developed at one research institute?
rgrinberg has quit [Ping timeout: 240 seconds]
<xificurC>
reading back what I wrote I hope I didn't sound rude. I'm really just curious and am always happy to hear about these things
<flux>
I think just reading the ocaml mailing list doesn't really give an "in" on what is happening
<flux>
so those discussions must occur in other forums, such as other mailing lists, direct emails or face-to-face
<MercurialAlchemi>
the OCaml mailing list is 80% calls for papers and 20% "help me with my problem"
<flux>
calls for papers, final calls for papers and extension for paper submission times
darkf has quit [Quit: Leaving]
<xificurC>
I'm spoiled by other channels like haskell, racket, or nim where everyone knows what's happening with their compiler
<flux>
perhaps the insiders are hanging out at #ocaml-fr!
<flux>
/script load google-translate.pl and off we go ;-)
MercurialAlchemi has quit [Ping timeout: 276 seconds]
<dmbaturin>
xificurC: Maybe it's be because most ocaml users work on software other than compiler itself. :)
<dmbaturin>
There's mantis, and it seems quite active.
<xificurC>
dmbaturin: fair enough, but wouldn't you like to know when feature x will be implemented/released? Also, the devs often communicate with their users in order to get feedback
<flux>
well, there is the OCaml Consortium, I imagine a lot of discussion occur there. ie. among paying members ;-)
<dmbaturin>
Mantis is a good platform for development discussions actually, since it allows tracking of issue status and attached patches.
thomasga has quit [Quit: Leaving.]
<dmbaturin>
One of the most elaborate issue trackers I've ever seen.
shinnya has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
<dmbaturin>
xificurC: Being a maintainer myself, I'm usually satisfied with "when it's ready". :)
<dmbaturin>
That is, I realize how huge the situational awareness gap between casual user (or even a casual contributor) and a maintainer can be, and that sometimes feature release may be slowed down or blocked by problems I have no idea about.
Denommus has quit [Remote host closed the connection]
<nicoo>
xificurC: You can submit compiler & stdlib patches on GitHub
<nicoo>
Mantis is more active, though
<flux>
it would be nice if the revision xxxx-stuff in mantis was a link to the change set in github, though
mengu has quit [Remote host closed the connection]
<nicoo>
flux: More likely to get linked to some svnweb thing (resolving the commit hash through git-svn sounds painful)
rgrinberg has joined #ocaml
<flux>
sure, link to anywhere would be best, but it doesn't sound it would be intractable to do the changeset link either. the commit logs have the original change set id, right?
Denommus has joined #ocaml
<dmbaturin>
flux: There's a mantis plugin for it AFAIR.
thomasga has joined #ocaml
<adrien_znc>
mantis is tied to inria's admins
<adrien_znc>
so updates and changes...
<flux>
greasemonkey to the rescue :-)
andreypopp has quit [Quit: Connection closed for inactivity]
<adrien_znc>
:)
larhat has quit [Quit: Leaving.]
kdef has joined #ocaml
Denommus has quit [Read error: Connection reset by peer]
thomasga has quit [Quit: Leaving.]
Submarine has quit [Remote host closed the connection]
larhat has joined #ocaml
<nicoo>
flux: Write us a nice jsoo thing for that, then :P
thomasga has joined #ocaml
braibant has joined #ocaml
axiles has quit [Ping timeout: 246 seconds]
ontologiae has joined #ocaml
fredyr has quit [Quit: Lost terminal]
ontologiae has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Ping timeout: 245 seconds]
jeffmo has joined #ocaml
rgrinberg has joined #ocaml
mcclurmc_ has joined #ocaml
mcclurmc has quit [Ping timeout: 256 seconds]
yomimono has quit [Ping timeout: 264 seconds]
jonludlam has quit [Ping timeout: 256 seconds]
lordkryss has quit [Quit: Connection closed for inactivity]
wildsebastian has quit [Quit: Konversation terminated!]
Haudegen has quit [Ping timeout: 250 seconds]
thomasga has quit [Quit: Leaving.]
larhat has quit [Quit: Leaving.]
thomasga has joined #ocaml
larhat has joined #ocaml
jonludlam has joined #ocaml
mort___ has joined #ocaml
ygrek has joined #ocaml
kushal has joined #ocaml
thomasga has quit [Quit: Leaving.]
Haudegen has joined #ocaml
hilquias` has joined #ocaml
octachron has quit [Quit: Leaving]
mattzen has joined #ocaml
<mattzen>
Hi folks, can anyone explain to me why this example apparently isnt tail recursive?
<mattzen>
let rec sum_int n = if n = 0 then 0 else n + (sum_int (n - 1))
<mattzen>
I see the value being passed over?
<mattzen>
< new to ocaml
hilquias has quit [Ping timeout: 264 seconds]
slash^ has joined #ocaml
<Drup>
is it more obvious to you if I rewrite it like that : "let rec sum_int n = if n = 0 then 0 else let result = sum_int (n - 1) in n + result" ?
<cojy_>
n + recursion isn't tail
<mattzen>
I can kind of see it
<mattzen>
It is a little tricky seeing it
ygrek has quit [Remote host closed the connection]
<Drup>
it's rather simple: the recursive call must be the last thing done
<Drup>
here, it's not the last thing, there is a + after.
troydm has joined #ocaml
ygrek has joined #ocaml
<mattzen>
Right I see
<mattzen>
Thank you
antkong has joined #ocaml
kushal has quit [Ping timeout: 276 seconds]
rgrinberg has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
srcerer_ has joined #ocaml
srcerer has quit [Ping timeout: 244 seconds]
monoprotic_2 has joined #ocaml
monoprotic has quit [Ping timeout: 244 seconds]
rand000 has joined #ocaml
antkong has quit [Quit: antkong]
dsheets has quit [Ping timeout: 256 seconds]
hilquias` has quit [Remote host closed the connection]
palomer has quit [Quit: palomer]
palomer has joined #ocaml
palomer has quit [Client Quit]
Hannibal_Smith has joined #ocaml
palomer has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
tristero has joined #ocaml
sepp2k has quit [Quit: Leaving.]
thomasga has joined #ocaml
jwatzman|work has joined #ocaml
larhat has quit [Quit: Leaving.]
sepp2k has joined #ocaml
palomer has quit [Quit: palomer]
ygrek has quit [Ping timeout: 246 seconds]
jonludlam has quit [Ping timeout: 252 seconds]
mengu has joined #ocaml
mengu has quit [Remote host closed the connection]
thomasga has quit [Ping timeout: 272 seconds]
shinnya has quit [Ping timeout: 264 seconds]
Haudegen has quit [Ping timeout: 265 seconds]
Pepe_ has quit [Ping timeout: 244 seconds]
jonludlam has joined #ocaml
srcerer_ is now known as srcerer
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
mattzen has quit [Quit: Page closed]
olibjerd_ has joined #ocaml
yomimono has joined #ocaml
mort___ has quit [Quit: Leaving.]
jonludlam has quit [Ping timeout: 250 seconds]
<flux>
mattzen is gone, but merlin can show what is tail recursive and what not
Haudegen has joined #ocaml
dubosec has quit [Ping timeout: 272 seconds]
ygrek has joined #ocaml
pyon has quit [Quit: I have irrefutable proof that D < 0. It follows trivially from 2D > 3D, which is obviously true.]
dubosec has joined #ocaml
k1000 has quit [Remote host closed the connection]
k1000 has joined #ocaml
tane has joined #ocaml
pyon has joined #ocaml
kdef has quit [Quit: Leaving]
elfring has quit [Quit: Konversation terminated!]
manizzle has quit [Ping timeout: 265 seconds]
Haudegen has quit [Ping timeout: 250 seconds]
Denommus` is now known as Denommus
wraithm has joined #ocaml
freling has quit [Quit: Leaving.]
agarwal1975_ has joined #ocaml
wraithm has quit [*.net *.split]
CissWit has quit [*.net *.split]
destrius has quit [*.net *.split]
ddub has quit [*.net *.split]
vodkaInferno has quit [*.net *.split]
Lasher` has quit [*.net *.split]
drmem has joined #ocaml
riveter_ec2 has joined #ocaml
michatotol_ has quit [Ping timeout: 244 seconds]
Intensity has quit [Ping timeout: 244 seconds]
IbnFirnas has quit [Ping timeout: 244 seconds]
braibant has quit [Ping timeout: 244 seconds]
maufred has quit [Ping timeout: 244 seconds]
RichN has quit [Ping timeout: 244 seconds]
ski has quit [Ping timeout: 244 seconds]
tg has quit [Ping timeout: 244 seconds]
hcarty_ has quit [Ping timeout: 244 seconds]
riveter has quit [Ping timeout: 244 seconds]
riveter_ec2 is now known as riveter
tane has quit [Ping timeout: 244 seconds]
Hatem has quit [Ping timeout: 244 seconds]
rwmjones has quit [Ping timeout: 244 seconds]
agarwal1975 has quit [Ping timeout: 244 seconds]
hnrgrgr has joined #ocaml
maufred has joined #ocaml
Intensity has joined #ocaml
tianon has quit [Ping timeout: 244 seconds]
Intensity has joined #ocaml
wagle has quit [Ping timeout: 244 seconds]
eikke has quit [Ping timeout: 244 seconds]
hnrgrgr_ has quit [Ping timeout: 244 seconds]
Intensity has quit [Changing host]
agarwal1975_ is now known as agarwal1975
eikke has joined #ocaml
Hatem has joined #ocaml
hcarty has joined #ocaml
IbnFirnas has joined #ocaml
wagle has joined #ocaml
tianon has joined #ocaml
wraithm has joined #ocaml
CissWit has joined #ocaml
destrius has joined #ocaml
ddub has joined #ocaml
vodkaInferno has joined #ocaml
Lasher` has joined #ocaml
Haudegen has joined #ocaml
tane has joined #ocaml
ski has joined #ocaml
octachron has joined #ocaml
rwmjones has joined #ocaml
michatotol_ has joined #ocaml
tg has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc_ has quit [Ping timeout: 256 seconds]
BitPuffin has quit [Ping timeout: 240 seconds]
mcclurmc has quit [Ping timeout: 272 seconds]
manizzle has joined #ocaml
k1000 has quit [Ping timeout: 255 seconds]
k1000 has joined #ocaml
manizzle has quit [Ping timeout: 276 seconds]
AbrahamSkrillexl has joined #ocaml
<AbrahamSkrillexl>
HELLO
ollehar has quit [Read error: Connection reset by peer]
ollehar has joined #ocaml
AbrahamSkrillexl has left #ocaml [#ocaml]
kdef has joined #ocaml
ggole_ has joined #ocaml
swgillespie has joined #ocaml
uris77 has joined #ocaml
manizzle has joined #ocaml
ggole has quit [Ping timeout: 264 seconds]
olibjerd_ has quit [Ping timeout: 265 seconds]
matason_ has joined #ocaml
dsheets has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
myst|work has joined #ocaml
olibjerd_ has joined #ocaml
rgrinberg has quit [Quit: WeeChat 1.1.1]
jonludlam has joined #ocaml
Cyanure has joined #ocaml
nullcat has joined #ocaml
martintrojer has quit [Ping timeout: 240 seconds]
martintrojer has joined #ocaml
martintrojer has quit [Ping timeout: 256 seconds]
<xificurC>
is code like this idiomatic? http://lpaste.net/132411 Or does one try not to go too deep somehow
olibjerd_ has quit [Ping timeout: 265 seconds]
martintrojer has joined #ocaml
<flux>
well, I don't think that's too deep. but you could combine these matches, at least the two last matches
<flux>
| { rank = 14 }::_ -> Royal_flush | r -> Straight_flush r
<flux>
oops, { rank = r }::_ that is
<flux>
though could also be { rank }::_ -> Straight_flush rank
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<flux>
but you basically need the two matches, unless one of the matches is in another function
<flux>
say: for_flush_cards hand @@ function | [] -> failwith "TODO" | .. if for_flush_cards is something you match often
<xificurC>
flux: who is (@@) again?
<flux>
it's basically an operator for avoiding parenthesis
<flux>
a b c @@ d e f = a b c (d e f)
<xificurC>
so haskell's ($)
<flux>
yes
<flux>
but @@ has better precedency for OCaml
shinnya has joined #ocaml
<flux>
as you may know, the first letter of an operator defines an operator's precedency in OCaml
<flux>
(s/letter/character/)
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ollehar has quit [Remote host closed the connection]
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
thomasga has joined #ocaml
nullcat has joined #ocaml
robink has quit [Ping timeout: 248 seconds]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
robink_ has joined #ocaml
uris77 has quit [Quit: leaving]
octachron has quit [Quit: Leaving]
robink_ is now known as robink
nullcat has joined #ocaml
nullcat has quit [Client Quit]
TheLemonMan has joined #ocaml
Hannibal_Smith has quit [Ping timeout: 264 seconds]
ontologiae has joined #ocaml
sepp2k has quit [Quit: Leaving.]
kdef has quit [Ping timeout: 256 seconds]
kdef has joined #ocaml
ggole_ has quit []
_andre has quit [Quit: leaving]
yomimono has quit [Ping timeout: 245 seconds]
kdef has quit [Ping timeout: 240 seconds]
nullcat_ has joined #ocaml
kdef has joined #ocaml
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
badkins has joined #ocaml
manizzle_ has joined #ocaml
manizzle_ has quit [Read error: Connection reset by peer]
manizzle has quit [Remote host closed the connection]
manizzle has joined #ocaml
mengu has joined #ocaml
ollehar has joined #ocaml
larhat has joined #ocaml
Gama11 has quit [Read error: Connection reset by peer]
ollehar has quit [Remote host closed the connection]
Submarine has quit [Remote host closed the connection]
ollehar has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
swgillespie has joined #ocaml
Cyanure has quit [Remote host closed the connection]
tane has quit [Quit: Verlassend]
rand000 has quit [Quit: leaving]
myst|work has quit [Quit: leaving]
yomimono has joined #ocaml
matason_ has quit [Ping timeout: 256 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
freling has joined #ocaml
badkins has quit [Read error: Connection reset by peer]
tristero has quit [Ping timeout: 252 seconds]
kdef has quit [Quit: Leaving]
kdef has joined #ocaml
matason_ has joined #ocaml
larhat has quit [Quit: Leaving.]
freling has quit [Quit: Leaving.]
larhat has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
matason_ has quit [Ping timeout: 272 seconds]
myst|work has joined #ocaml
kdef has quit [Quit: Leaving]
ollehar has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
larhat has quit [Quit: Leaving.]
Algebr has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
mengu has quit [Remote host closed the connection]
badkins has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
larhat has joined #ocaml
milosn has joined #ocaml
kdef has joined #ocaml
thomasga has quit [Quit: Leaving.]
ontologiae has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Client Quit]
MrScout has joined #ocaml
MrScout_ has joined #ocaml
freling has joined #ocaml
MrScout has quit [Ping timeout: 265 seconds]
Algebr has joined #ocaml
freling has quit [Client Quit]
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
Simn has quit [Quit: Leaving]
<Drup>
codoc patch on the compiler merged <3
larhat has quit [Client Quit]
Kakadu has quit [Remote host closed the connection]
ygrek has joined #ocaml
<adrien>
oh
Haudegen has quit [Ping timeout: 240 seconds]
MrScout_ has quit [Read error: Connection reset by peer]
BitPuffin|osx has joined #ocaml
MrScout has joined #ocaml
<Denommus>
now to implement ArrowLoop...
yomimono has quit [Ping timeout: 264 seconds]
tristero has joined #ocaml
Haudegen has joined #ocaml
<Denommus>
Drup: do you have any directions to give me on how to implement val loop: ('a * 'c, 'b * 'c) wire -> ('a, 'b) wire?
MrScout_ has joined #ocaml
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
MrScout_ has quit [Read error: Connection reset by peer]
swgillespie has joined #ocaml
mort___ has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
<Drup>
I don't really remember the wire datatype, so no :D
mcclurmc has joined #ocaml
<Denommus>
Drup: I thought about doing something like let rec loop w = WGen (fun ds input -> let (b, nc), nw = step_wire_int w ds (input, c) in (b, loop nw));; but I can't figure it out for life what "c" should be
wraithm has quit [Quit: leaving]
antkong has joined #ocaml
mort___ has quit [Quit: Leaving.]
antkong has quit [Client Quit]
antkong_ has joined #ocaml
nullcat has joined #ocaml
MrScout has quit [Ping timeout: 256 seconds]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
agarwal1975 has quit [Ping timeout: 265 seconds]
kdef has quit [Quit: Leaving]
<Denommus>
Drup: I just noticed that the original Netwire uses a MonadFix type to be able to implement ArrowLoop
ygrek has quit [Remote host closed the connection]