flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
IbnFirnas has joined #ocaml
ygrek_ has joined #ocaml
q66 has quit [Quit: Leaving]
skchrko has quit [Quit: Leaving]
ng_ has joined #ocaml
<ng_> hello again, i try this code, but not working :(
<ng_> why?
<ng_> b0=1 b1=1 b2= combinations
<ng_> sorry, b2= 1C0 * B0 + 1C1 * B1
<ng_> b3= 2C0 * b0 + 2C1 * b1 + 2C2 * B2
boogie has quit [Remote host closed the connection]
mfp has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-280704]: i've been blurred!]
ygrek_ has quit [Ping timeout: 240 seconds]
ng_ has left #ocaml []
skchrko has joined #ocaml
boogie has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
boogie has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
kizzx2 has joined #ocaml
struktured has joined #ocaml
Transhumanist has quit [Ping timeout: 260 seconds]
caseyjames has joined #ocaml
talzeus has joined #ocaml
<caseyjames> Hi, I have a recursive algorithm generating a list as output. I want to graph all the connections from the input data to the output data as well as other connections. Can this be done as part of the function, of should I store lists of children in the objects stored in the list and build the graph afterward?
<caseyjames> The lists of children would be part of a record structure
nikki93 has quit [Remote host closed the connection]
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
nikki93 has joined #ocaml
ben_zen has quit [Quit: sleeep]
arquebus has joined #ocaml
boogie has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest95200
arquebus has quit [Quit: Konversation terminated!]
yacks has quit [Quit: Leaving]
bondar has quit [Ping timeout: 248 seconds]
contempt has quit [Ping timeout: 264 seconds]
contempt has joined #ocaml
csakatoku has joined #ocaml
contempt has quit [Ping timeout: 248 seconds]
contempt has joined #ocaml
contempt has quit [Ping timeout: 248 seconds]
contempt has joined #ocaml
chris2 has quit [Ping timeout: 245 seconds]
hyperboreean has quit [Ping timeout: 245 seconds]
chris2 has joined #ocaml
hyperboreean has joined #ocaml
Transhumanist has joined #ocaml
contempt has quit [Ping timeout: 248 seconds]
contempt has joined #ocaml
talzeus has quit [Read error: Connection reset by peer]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
contempt has quit [Ping timeout: 248 seconds]
contempt has joined #ocaml
yezariaely has joined #ocaml
yezariaely has quit [Max SendQ exceeded]
kizzx2 has quit [Quit: Leaving.]
yezariaely has joined #ocaml
weie has quit [Read error: Connection reset by peer]
weie has joined #ocaml
kizzx2 has joined #ocaml
kizzx2 has quit [Max SendQ exceeded]
kizzx2 has joined #ocaml
ttamttam has joined #ocaml
ulfdoz has joined #ocaml
talzeus has joined #ocaml
skchrko has quit [Remote host closed the connection]
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
gour has joined #ocaml
ygrek_ has quit [Ping timeout: 248 seconds]
nikki93 has quit [Read error: Connection reset by peer]
nikki93 has joined #ocaml
ulfdoz has quit [Ping timeout: 245 seconds]
talzeus has quit [Remote host closed the connection]
Transhumanist has quit [Quit: KVIrc 4.1.3 Equilibrium http://www.kvirc.net/]
Guest95200 has quit [Remote host closed the connection]
talzeus has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest20071
zpe has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 268 seconds]
<adrien> morning
yezariaely has quit [Ping timeout: 248 seconds]
nikki93 has quit [Remote host closed the connection]
Guest20071 has quit [Remote host closed the connection]
boogie has quit [Remote host closed the connection]
skchrko has joined #ocaml
Yoric has joined #ocaml
bondar has joined #ocaml
djcoin has joined #ocaml
Simn has joined #ocaml
cdidd has quit [Ping timeout: 240 seconds]
paolooo has joined #ocaml
ontologiae has joined #ocaml
boogie has joined #ocaml
ygrek_ has joined #ocaml
sgnb has quit [Ping timeout: 245 seconds]
boogie has quit [Ping timeout: 256 seconds]
talzeus has quit [Remote host closed the connection]
<companion_cube> yo
zpe has quit [Remote host closed the connection]
talzeus has joined #ocaml
AltGr has joined #ocaml
f[x] has joined #ocaml
sgnb has joined #ocaml
Snark has joined #ocaml
ygrek_ has quit [Ping timeout: 256 seconds]
beckerb has joined #ocaml
talzeus has quit [Remote host closed the connection]
mort___ has joined #ocaml
cdidd has joined #ocaml
Yoric has quit [Ping timeout: 256 seconds]
ggole has joined #ocaml
boogie has joined #ocaml
zpe has joined #ocaml
yacks has joined #ocaml
Kakadu has joined #ocaml
talzeus has joined #ocaml
boogie has quit [Ping timeout: 245 seconds]
zpe has quit [Ping timeout: 248 seconds]
mfp has joined #ocaml
zpe has joined #ocaml
darkf has quit [Quit: Leaving]
zpe has quit [Ping timeout: 240 seconds]
Yoric has joined #ocaml
Drup has joined #ocaml
<reynir> Look what I made: http://www.reynir.dk/KEEPCAML.png
<adrien_oww> :)
<Kakadu> reynir: very famous phrase
<Kakadu> We have it in title of our jabber conferense
<reynir> ygrek_ gave me the idea
<reynir> Btw, the font I am using is only for personal use before you go copy/pasting :)
<reynir> licensed for*
boogie has joined #ocaml
<reynir> Kakadu: Is it public?
<Kakadu> reynir: yes, but russian language is preferred
<reynir> cool
<Kakadu> maybe it will be nice to have something like that on ocaml.org: http://img-fotki.yandex.ru/get/4009/ottenki-serogo.23/0_4782d_c7cf8ac5_orig.jpg
<mrvn> I you can get the camel to sign a release form.
boogie has quit [Ping timeout: 260 seconds]
Drup has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
ollehar has joined #ocaml
<f[x]> reynir, all credits to gasche and UK propaganda
<f[x]> and btw the spacing looks wrong
<f[x]> can we have a caml at top?
<f[x]> and less bright color (ok, I can fix that myself)
<f[x]> what about the svg?
<reynir> I fixed the spacing a bit. I couldn't find it before
<reynir> Good idea with the svg
<reynir> The color should be the same as the wikipedia page's version
<reynir> Eh, looks like I would have to redo it in inkscape if I want an SVG
zpe has quit [Ping timeout: 264 seconds]
<f[x]> I want to make a t-shirt for myself with this one, so the svg would be most helpful
<f[x]> hope you are not going to claim copyright on it!
<reynir> Oh, I can't but claim copyright
<reynir> but I grant you permission to use it for personal use (I don't think I can do much more since that's the license for the font)
<f[x]> :)
<f[x]> thanks
<reynir> Hmm, my svgs are invisible
<flux> given that nowadays shared record labels can be handled, has someone experimented doing vector code type both type v2 = { x : float; y : float } type v3 = { x : float; y : float; z : float } ?
q66 has joined #ocaml
<reynir> I can't figure out how to pick colors in inkscape
<reynir> Ok, I figured it out, but the text is still invisible :/
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
bondar has quit [Ping timeout: 240 seconds]
<mrvn> flux: I just put them in different modules. V2.({x = 1.0; y = 1.0; })
kizzx2 has quit [Quit: Leaving.]
<mrvn> flux: One thing I want to try is to make a GADT witness type for the dimensionality of the vector and then val make : 'a dimensions -> 'a, make D2 x y and make D3 x y z to make vectors and so on.
<mrvn> too bad patch can't reflect renames.
<reynir> f[x]: I hate SVG :(
boogie has joined #ocaml
<reynir> In chromium the text is underlined in chromium, but it is using the wrong font. In firefox it is using the correct font, but the text isn't underlined.
csakatok_ has quit [Remote host closed the connection]
Drup has joined #ocaml
boogie has quit [Ping timeout: 256 seconds]
<f[x]> reynir, %)
<f[x]> inkscape is qute a beast
_andre has joined #ocaml
<reynir> f[x]: I think I could make a high resolution of the png version
argp has joined #ocaml
<argp> hello, is it possible to put multiple paths in the OCAMMLIB env variable (i'm on linux)?
<argp> the std way of separating them with ":" doesn't seem to work
<argp> hmm just found $(OCAMLLIB)/ld.conf
<argp> let me try it
nisstyre has quit [Quit: Leaving]
<flux> mrvn, yeah, the V2.-trick is nice, but that works already ;). the gadt thing would be interesting, I wonder what, if any, benefits it would give..
<argp> $(OCAMLLIB)/ld.conf doesn't seem to work for me
<f[x]> argp, describe your problem
Neros has quit [Ping timeout: 240 seconds]
<argp> i have some custom modules which i try to use and i get the unbound module error
<argp> so i'm trying to add their path to $(OCAMLLIB)
<f[x]> show the error
<f[x]> usual way to solve this is to specify path to libraries with -I switch to ocaml tools
<argp> Error: Unbound module MyMod
<f[x]> the best way to specify paths with -I switch is to let ocamlfind do it
<f[x]> MyMod is part of your project or it is a separate library?
<argp> separate
<argp> which i compiled myself, not part of the standard distribution
<f[x]> then read what is said above
<f[x]> do you install it with ocamlfind?
<argp> no
<f[x]> you should
<argp> just compiled it and left it in its dir
<f[x]> if you want a dirty hacky way - specify that path with -I switch when building main program
<f[x]> proper way is to use ocamlfind
<f[x]> dixi
<argp> ok, will try it now
<mrvn> flux: you would only have one vector add function for all vectors for example.
<mrvn> let ( +.. ) = V.add D2 let ( +... ) = V.add D3 :)
<flux> it would essentially be runtime dispatching, though?
Neros has joined #ocaml
<f[x]> not
<ggole> Looks a bit like the "dictionary-passing" of type classes
f[x] has quit [Ping timeout: 245 seconds]
boogie has joined #ocaml
boogie has quit [Ping timeout: 245 seconds]
zpe has quit [Remote host closed the connection]
yezariaely has joined #ocaml
<yezariaely> how can I tell oasis (to tell ocamlbuild) to generate a native binary and not a bytecode file?
<Kakadu> yezariaely: CompiledObject: native
<mrvn> and what do you do when there isn't a native compiler?
ollehar1 has joined #ocaml
<gour> any news how it was on ocaml-2013 workshop?
<gour> i'm mostly interested about wxocaml presentation/news
<mrvn> flux: the hope would be that the binding of the GADT optimizes it away.
ollehar has quit [Ping timeout: 268 seconds]
<jpdeplaix> yezariaely: you could also use « CompiledObject: best »
zpe has joined #ocaml
<yezariaely> mrvn: just beeing curious. ;-)
avsm has quit [Ping timeout: 245 seconds]
zpe has quit [Ping timeout: 240 seconds]
boogie has joined #ocaml
boogie has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
adrien_o1w has joined #ocaml
avsm has joined #ocaml
adrien_oww has quit [Ping timeout: 248 seconds]
zpe has quit [Ping timeout: 248 seconds]
adrien_o1w is now known as adrien_oww
Neros has quit [Ping timeout: 245 seconds]
Neros has joined #ocaml
saml has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
Neros has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
caseyjames has quit [Ping timeout: 250 seconds]
shinnya has joined #ocaml
boogie has joined #ocaml
boogie has quit [Ping timeout: 260 seconds]
<yezariaely> I wrote BuildTools: ocamlbuild, menhir but ocamlyacc is still used. Any ideas?
milosn_ has joined #ocaml
<yezariaely> (in oasis)
milosn has quit [Ping timeout: 252 seconds]
ousado has quit [Ping timeout: 264 seconds]
beckerb has quit [Ping timeout: 245 seconds]
<jpdeplaix> yezariaely: this works by adding « true: use_menhir » in _tags
<yezariaely> jpdeplaix: is there a documentation somewhere for that? I couldn't find this here: http://oasis.forge.ocamlcore.org/MANUAL.html
ousado has joined #ocaml
milosn_ has quit [Read error: Operation timed out]
milosn has joined #ocaml
zpe has quit [Remote host closed the connection]
Kelet has quit [Read error: Connection reset by peer]
Kelet has joined #ocaml
zpe has joined #ocaml
f[x] has joined #ocaml
caseyjames has joined #ocaml
talzeus has quit [Remote host closed the connection]
<yezariaely> jpdeplaix: is there another place where I can flag this, because _tags is overwritten by "oasis setup"
<yezariaely> and it says I shouldn't change the _tags file!
f[x] has quit [Remote host closed the connection]
ygrek has joined #ocaml
<adrien_oww> yezariaely: you shouldn't change what is inside the OASIS block in the tags fiel
<adrien_oww> but you can append whatever you want to the files
asmanur has quit [Ping timeout: 246 seconds]
<yezariaely> ah! thx
<caseyjames> I have a recursive algo that outputs a list of types. At each recursion I want to connect the input types in the list to some of the output types, using ocamlgraph. Is that something that is doable, or should I be storing the id's of the data and connecting they in a separate pass?
<kerneis> caseyjames: ocamlgraph is very easy to use
<kerneis> and in particular, you can create an edge without creating the nodes first
<kerneis> (well, creating an edge implictly creates them)
<kerneis> so as long as you have a proper equality defined on whatever you want to put in your graph, you can build it iteratively in an easy way
<kerneis> I'm not quite sure this answers your question, though
<kerneis> (and ocamlgraph is bit tricky to get started i
<kerneis> with, because of functors all over the place)
<Drup> The documentation can be intimidating, because of the amount of functor usage.
<Drup> hu, two slow, kerneis said it x)
<caseyjames> So should I have a parameter in my recursive function that also takes a graph so it can be passed through as the recursion branches etc
<Drup> ocamlgraph allow functional or imperatif graph, choose what you prefer
<Drup> (functional is probably easier to manipulate)
<kerneis> (and ocamlgraph broke one of their API in the latest minor release, but one day I'll forgive them…)
asmanur has joined #ocaml
Yoric has quit [Ping timeout: 256 seconds]
<caseyjames> Well, thats heartening to so degree. I've read the functor chapter in Real World Ocaml a few times, but haven't cracked into them, I guess now is a good time
boogie has joined #ocaml
<kerneis> caseyjames: the paper describing ocamlgraph is worth a read IMHO
<Drup> caseyjames: ocamlgraph is a really great piece of functor spaghetti. It's a bit frightening at first, but it's really well done.
<kerneis> it gives you an overall idea of the design, which ocamldoc fails to do
<kerneis> (and it even re-explains functors)
ontologiae_ has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
boogie has quit [Ping timeout: 264 seconds]
<jpdeplaix> yezariaely: this is not documented in OASIS, because it doesn't depends on it. _tags depends on ocamlbuild
<yezariaely> ah, sure... thanks
mcclurmc has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest26111
oriba has joined #ocaml
paolooo has quit [Ping timeout: 250 seconds]
mcclurmc has quit [Quit: Leaving.]
ontologiae_ has quit [Ping timeout: 256 seconds]
Guest26111 has quit [Remote host closed the connection]
Neros has quit [Ping timeout: 245 seconds]
Neros has joined #ocaml
skchrko has quit [Ping timeout: 268 seconds]
mort___ has quit [Ping timeout: 245 seconds]
ttamttam has quit [Quit: ttamttam]
Neros has quit [Ping timeout: 245 seconds]
Neros has joined #ocaml
ollehar1 has quit [Ping timeout: 260 seconds]
nikki93 has joined #ocaml
Neros has quit [Remote host closed the connection]
Neros has joined #ocaml
boogie has joined #ocaml
boogie has quit [Remote host closed the connection]
boogie has joined #ocaml
ollehar has joined #ocaml
skchrko has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
ollehar has quit [Ping timeout: 260 seconds]
ollehar has joined #ocaml
boogie has quit [Remote host closed the connection]
tane has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Neros_ has joined #ocaml
Drup has quit [Ping timeout: 240 seconds]
Neros has quit [Ping timeout: 245 seconds]
AltGr has quit [Quit: Konversation terminated!]
paolooo has joined #ocaml
Xom has joined #ocaml
thelema_ has quit [Ping timeout: 268 seconds]
thelema has joined #ocaml
Neros_ has quit [Ping timeout: 245 seconds]
paolooo_ has joined #ocaml
Kakadu has quit []
paolooo_ has quit [Client Quit]
paolooo_ has joined #ocaml
paolooo_ has quit [Client Quit]
paolooo has quit [Ping timeout: 250 seconds]
pango_ is now known as pango
paolooo has joined #ocaml
Drup has joined #ocaml
paolooo has quit [Quit: Page closed]
paolooo has joined #ocaml
Neros has joined #ocaml
thelema has quit [Ping timeout: 260 seconds]
ygrek has quit [Remote host closed the connection]
thelema has joined #ocaml
ygrek has joined #ocaml
mcclurmc has joined #ocaml
paolooo has quit [Quit: Page closed]
thelema has quit [Read error: Connection reset by peer]
ocp has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 245 seconds]
ikudrautsau has joined #ocaml
thelema has joined #ocaml
thelema has quit [Ping timeout: 252 seconds]
djcoin has quit [Quit: WeeChat 0.4.1]
zpe has quit [Remote host closed the connection]
troydm has quit [Quit: What is hope? That all of your wishes and all of your dreams come true? (C) Rau Le Creuset]
cantstanya has quit [Ping timeout: 240 seconds]
troydm has joined #ocaml
ccasin has quit [Ping timeout: 245 seconds]
nikki93 has joined #ocaml
ontologiae_ has joined #ocaml
thelema has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
thelema has quit [Ping timeout: 264 seconds]
zpe has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Snark has quit [Quit: leaving]
thelema has joined #ocaml
gour has quit [Quit: WeeChat 0.4.1]
ontologiae_ has quit [Ping timeout: 240 seconds]
cdidd has quit [Remote host closed the connection]
nikki93 has joined #ocaml
tane has quit [Quit: Verlassend]
darkf has joined #ocaml
kay__ has joined #ocaml
kay_ has quit [Read error: Connection reset by peer]
mcclurmc has quit [Quit: Leaving.]
ollehar has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
ggole has quit []
tianon has quit [Quit: "I'm a very important man. I've got a tower!"]
Yoric has joined #ocaml
_andre has quit [Quit: leaving]
yezariaely has quit [Quit: Leaving.]
Kakadu has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
mika1 has joined #ocaml
ocp has quit [Quit: Leaving.]
ocp1 has joined #ocaml
Kakadu has quit []
willy_ has joined #ocaml
ikudrautsau has quit [Read error: Operation timed out]
oriba_ has joined #ocaml
oriba has quit [Ping timeout: 245 seconds]
ollehar has quit [Quit: ollehar]
ben_zen has joined #ocaml
zpe has quit [Remote host closed the connection]
manizzle has joined #ocaml
cdidd has joined #ocaml
pango has quit [Ping timeout: 246 seconds]
<caseyjames> Hi, can someone tell me what is wrong with this pattern match: | {comp=a, _ } :: ({comp=b, _ } :: _ as t) ->
<asmanur> caseyjames: its probably ; instead of ,
<asmanur> hm nvm, your code is just weirdly spaced
<caseyjames> That did it... That is a persistent habit.
willy_ has quit [Read error: Connection reset by peer]
<asmanur> caseyjames: is { foo = pattern ; _ } correct ? i would say the usual form is just { foo = pattern }
<caseyjames> oh, can I do { foo = a ; rah=b } with out the underscore if there is a third field as well?
<asmanur> yes
<caseyjames> thanks, just integrated my first two bits of code together. It becoming familiar little by little.
tianon has joined #ocaml
zpe has joined #ocaml
pango has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
ng_ has joined #ocaml
oriba_ is now known as oriba
Yoric has quit [Ping timeout: 260 seconds]
Xom has quit [Quit: ChatZilla 0.9.90.1 [Firefox 23.0.1/20130814063812]]
cdidd has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
cantstanya has joined #ocaml
zpe has joined #ocaml
cdidd has joined #ocaml
<caseyjames> let extract_vals list = (extract_features [Down] High 1 list);;
<caseyjames> List.fold [] encoded ~f:extract_vals
<caseyjames> I'm trying to do a curried function but I'm getting errors. Is this a wrong approach?
zpe has quit [Ping timeout: 248 seconds]
Yoric has quit [Ping timeout: 260 seconds]
nikki93 has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
Simn has quit [Quit: Leaving]
Kelet has quit [Read error: Connection reset by peer]
Kelet has joined #ocaml
nikki93 has joined #ocaml
zpe has joined #ocaml
mfp has quit [Ping timeout: 246 seconds]
mika1 has quit [Quit: Leaving.]
zpe has quit [Ping timeout: 260 seconds]
nikki93 has quit [Remote host closed the connection]
cdidd has quit [Remote host closed the connection]
ontologiae_ has joined #ocaml
cdidd has joined #ocaml
ontologiae_ has quit [Ping timeout: 256 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]