shp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | nohttp://www.ocaml-lang.org | Public logs at http://tunes.org/~nef/logs/ocaml/
beckerb has quit [Ping timeout: 264 seconds]
nickmeharry has quit [Ping timeout: 252 seconds]
nickmeharry has joined #ocaml
fayden has joined #ocaml
middayc has quit [Quit: Lost terminal]
TDJACR has quit [Ping timeout: 255 seconds]
RagingDave has quit [Quit: Ex-Chat]
lolcathost has quit [Quit: brb gaize]
Automorphism has joined #ocaml
nickmeharry has quit [Quit: Leaving.]
Oejet has quit [Quit: Leaving.]
Automorphism is now known as lolcathost
suyu has quit [Ping timeout: 255 seconds]
milosn_ has quit [Ping timeout: 240 seconds]
suyu has joined #ocaml
milosn has joined #ocaml
nickmeharry has joined #ocaml
madroach has quit [Ping timeout: 244 seconds]
lolcathost has quit [Quit: WeeChat 0.3.9.2]
flx_ has joined #ocaml
weie has joined #ocaml
emias_ has joined #ocaml
Qrntz_ has joined #ocaml
jonafan_ has joined #ocaml
fraggle__ has joined #ocaml
fraggle_ has quit [*.net *.split]
Qrntz has quit [*.net *.split]
flux has quit [*.net *.split]
jonafan has quit [*.net *.split]
emias has quit [*.net *.split]
Qrntz_ is now known as Qrntz
flx_ is now known as flux
nickmeharry1 has joined #ocaml
lolcathost has joined #ocaml
lolcathost is now known as Guest86792
Guest86792 has quit [Client Quit]
madroach has joined #ocaml
nickmeharry has quit [Ping timeout: 248 seconds]
lolcathost has joined #ocaml
mye has joined #ocaml
nickmeharry1 has quit [Quit: Leaving.]
nickmeharry has joined #ocaml
nickmeharry has quit [Quit: Leaving.]
xavierm02 has quit [Quit: Leaving]
nickmeharry has joined #ocaml
nickmeharry has quit [Client Quit]
hongboz has quit [Ping timeout: 276 seconds]
nickmeharry has joined #ocaml
milosn has quit [Ping timeout: 248 seconds]
nickmeharry has quit [Quit: Leaving.]
milosn has joined #ocaml
nickmeharry has joined #ocaml
nickmeharry has quit [Quit: Leaving.]
nickmeharry has joined #ocaml
iratsu is now known as alang_
weie has quit [Quit: Leaving...]
weie has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Client Quit]
Yoric has joined #ocaml
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 255 seconds]
ulfdoz has quit [Ping timeout: 264 seconds]
jewel has joined #ocaml
jave has quit [Ping timeout: 265 seconds]
Yoric has quit [Ping timeout: 246 seconds]
jave has joined #ocaml
julm has left #ocaml []
Yoric has joined #ocaml
jewel has quit [Ping timeout: 255 seconds]
mye has quit [Quit: mye]
gour has joined #ocaml
ulfdoz has joined #ocaml
nickmeharry has quit [Quit: Leaving.]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
Kakadu has joined #ocaml
milosn has quit [Ping timeout: 260 seconds]
djcoin has joined #ocaml
Submarine has joined #ocaml
mika1 has joined #ocaml
cago has joined #ocaml
jbrown has joined #ocaml
mye has joined #ocaml
thomasga has joined #ocaml
emias_ has quit [Quit: Changing server]
emias has joined #ocaml
ImAlsoGreg has quit [Ping timeout: 255 seconds]
ImAlsoGreg has joined #ocaml
matthewt has quit [Ping timeout: 244 seconds]
thelema has quit [Ping timeout: 276 seconds]
Obfuscate has quit [Ping timeout: 244 seconds]
ski has quit [Ping timeout: 244 seconds]
matthewt has joined #ocaml
ski has joined #ocaml
thelema has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Cyanure has joined #ocaml
ontologiae has joined #ocaml
Obfuscate has joined #ocaml
nickmeharry has joined #ocaml
nickmeharry has quit [Ping timeout: 255 seconds]
milosn has joined #ocaml
RagingDave has joined #ocaml
ttamttam has quit [Quit: ttamttam]
_andre has joined #ocaml
lolcathost has quit [Ping timeout: 260 seconds]
ImAlsoGreg has quit [Ping timeout: 255 seconds]
ImAlsoGreg has joined #ocaml
myx has joined #ocaml
Kakadu has quit [Remote host closed the connection]
ttamttam has joined #ocaml
milosn has quit [Read error: Operation timed out]
Kakadu has joined #ocaml
lolcathost has joined #ocaml
milosn has joined #ocaml
xavierm02 has joined #ocaml
mika1 has quit [Quit: Leaving.]
nickmeharry has joined #ocaml
ontologiae has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
ontologiae has joined #ocaml
<flux> woo, batteries 2.0, I wonder if it breaks my pre-batteries-2.0-code :)
beckerb has joined #ocaml
suyu has quit [Quit: suyu]
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
ttamttam has quit [Quit: ttamttam]
beckerb has quit [Ping timeout: 240 seconds]
ontologiae has quit [Ping timeout: 276 seconds]
ontologiae has joined #ocaml
suyu has joined #ocaml
rixed has joined #ocaml
<xavierm02> can someone please remind me the definition of |>?
<xavierm02> never mind
<xavierm02> let (|>) v f = f v
Submarine has quit [Ping timeout: 265 seconds]
Yoric has quit [Ping timeout: 252 seconds]
<Qrntz> xavierm02, there's an optimized primitive in >4.00.0, its definition is «external ( |> ) : 'a -> ('a -> 'b) -> 'b = "%revapply"»
mika1 has joined #ocaml
mika1 has quit [Client Quit]
rixed has quit [Remote host closed the connection]
chambart has joined #ocaml
mika1 has joined #ocaml
tane has joined #ocaml
Submarine has joined #ocaml
Yoric has joined #ocaml
eni has joined #ocaml
rixed has joined #ocaml
myx has quit [Ping timeout: 255 seconds]
Yoric has quit [Ping timeout: 252 seconds]
suyu has quit [Quit: suyu]
myx has joined #ocaml
myx_ has joined #ocaml
myx has quit [Ping timeout: 255 seconds]
lolcathost has quit [Quit: brb gaize]
lolcathost has joined #ocaml
eni is now known as albacker
albacker has quit [Changing host]
albacker has joined #ocaml
albacker is now known as eni
jamii has joined #ocaml
nickmeharry has quit [Quit: Leaving.]
andreypopp has joined #ocaml
andreypopp has quit [Excess Flood]
<xavierm02> Qrntz ty :)
andreypopp has joined #ocaml
andreypopp has quit [Excess Flood]
mye has quit [Quit: mye]
q66 has joined #ocaml
lolcathost has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
Playground has joined #ocaml
Playground is now known as lolcathost
<thelema> flux: yes, but probably only a little breakage, depending on what you're using. And the point of 2.0 is that it's not backwards compatible.
lusory has joined #ocaml
<flux> thelema, I just wish there won't be silent incompatibility
thelema has quit [Ping timeout: 255 seconds]
thelema has joined #ocaml
<troydm> is there a function that takes a function and two parameters and apply's them in reversed order?
<troydm> builtin i mean
<thelema> troydm: let flip f x y = f y x
<thelema> nothing builtin
<troydm> ic, thx
<flux> (batteries has that function)
<thelema> trivial to define and possibly dangerous (to readers of your code) to use
jewel has joined #ocaml
bobzhang has joined #ocaml
mye has joined #ocaml
mye has quit [Client Quit]
hto has joined #ocaml
nickmeharry has joined #ocaml
nickmeharry has quit [Ping timeout: 248 seconds]
lolcathost has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
lolcathost has joined #ocaml
\rs has joined #ocaml
<\rs> which class type is more general, class type c1 = object method m : c1 end;; or class type c2 = object ('a) method m : 'a end;; ?
Oejet has joined #ocaml
jbrown has quit [Ping timeout: 260 seconds]
yroeht has quit [Ping timeout: 255 seconds]
Cyanure has quit [Remote host closed the connection]
jewel has quit [Ping timeout: 248 seconds]
<thelema> \rs: is the second class type inhabited by any values? Doesn't the 'a need to percolate out to the class type (i.e. 'a c2)
<thelema> hmm, it doesn't... but then the method m must return a value that's of any type
<\rs> the latter is more general as its domain is more general?
<thelema> is there any valid value of the second type?
<thelema> oh, n/m, now I remember what that ('a) is
<thelema> the latter is more general.
<thelema> the return value of m is the dynamic type of the object as opposed to the sttaic type c1
cago has left #ocaml []
mika1 has quit [Quit: Leaving.]
<\rs> thanks, i am just following http://caml.inria.fr/pub/docs/manual-ocaml/
alxbl has joined #ocaml
alxbl has quit [Changing host]
alxbl has joined #ocaml
<thelema> it's a bit tricky to understand how objects are typed in ocaml; one surprising thing is that there's *no* automatic downcasts. The other is that there's a big difference between a closed object type and an open one.
gnuvince_ has joined #ocaml
<orbitz> hey gnuvince_
gnuvince has quit [Ping timeout: 245 seconds]
jbrown has joined #ocaml
myx_ has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
yroeht has joined #ocaml
myx_ has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
myx_ has quit [Read error: Connection reset by peer]
lolcathost has quit [Ping timeout: 276 seconds]
djcoin has quit [Quit: WeeChat 0.3.9.2]
lolcathost has joined #ocaml
smondet has joined #ocaml
thomasga has quit [Quit: Leaving.]
milosn has quit [Remote host closed the connection]
fraggle_laptop has quit [Remote host closed the connection]
tac has joined #ocaml
Yoric has joined #ocaml
flixr has joined #ocaml
<flixr> hi guys
<tac> hi flixr
<flixr> I was wondering if someone could help me out with xml-light and ocaml 4
<orbitz> You'll have to ask a question first
<tac> orbitz: Isn't that technically a question :P
<flixr> I installed ocaml 4 for the raspberry pi and then built/installed xml-light via opam
<tac> err, I guess not
<adrien> xml-light is old, buggy and unmaintained
<flixr> so far so good
<flixr> hm...
<adrien> I know, I'm a dream-crusher
<flixr> it works in the normal debian version, but in the opam version it write extra parsing stuff to stdout on Xml.file_read
<flixr> what xml lib would you recommend instead?
<adrien> pxp, xmlm, and I'm sure there are others
pango_ has joined #ocaml
<flixr> just for the future... we have been using xml-light for years without problems... but if that problem persists we might need to switch
eni has quit [Ping timeout: 246 seconds]
pango has quit [Ping timeout: 260 seconds]
<adrien> xml-light isn't terribly buggy but it has some things here and there
thomasga has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
<flixr> yeah, just wondering why it works with ocaml 3.12 and the debian package, but not with ocaml 4 and the opam xml-light
<hcarty> flixr: Debian may be applying patches to the xml-light package
<flixr> let x = Xml.parse_file "myfile.xml" in
<flixr> this will already print stuff to stdout
<flixr> true, will check
ontologiae has joined #ocaml
jbrown has quit [Ping timeout: 255 seconds]
tac is now known as tac-lunch
jonafan_ is now known as jonafan
jbrown has joined #ocaml
Cyanure has joined #ocaml
ontologiae has quit [Ping timeout: 276 seconds]
nickmeharry has joined #ocaml
mcclurmc_away is now known as mcclurmc
thomasga has quit [Quit: Leaving.]
mcclurmc is now known as mcclurmc_away
pango_ is now known as pango
<flixr> hcarty, thanks for the tip
<flixr> found the relevant debian patch
<flixr> any opam maintainers here?
<thelema> flixr: you just missed thomasga
<flixr> should I provide a patch for this?
<thelema> try sending the patch to the xml-light authors?
<madroach> thelema: hi, where can I get the 'qtest' executable, the current batteries requires for testing?
<flixr> will probably take a while until this get's through then... would rather patch it soon in opam (just like in debian) so we can use it right away..
<thelema> flixr: you can make a local copy of the opam package repo with your patch in it
<flixr> ok thx, will have a look at how to do that
<thelema> it should be just cloning the repo and then pointing opam at the clone
chambart has quit [Ping timeout: 260 seconds]
<flixr> yeah, that part is straight forward... have to figure out how to apply patches in opam though
weie has quit [Quit: Leaving...]
<thelema> example for you to use
<flixr> :-) thx
milosn has joined #ocaml
<Qrntz> what does ocamlobjinfo mean by «(closed)» exactly?
<Qrntz> «(inline)» I can understand, but «(closed)»…
<thelema> what context? a function?
<Qrntz> yes
weie has joined #ocaml
<thelema> hmm, got me.
<Qrntz> 12: function camlArray__map_1058 arity 2 (closed) -> _;
<Qrntz> not like there's any documentation on the tool either
<thelema> something about how it's called, maybe?
<Qrntz> I suppose…
<Qrntz> it also appears in functor context
_andre has quit [Quit: leaving]
myx has joined #ocaml
tac-lunch is now known as tac
lolcathost has quit [Ping timeout: 265 seconds]
<adrien> blah
<adrien> flexdll is a pita for cross-compilation
jbrown has quit [Ping timeout: 265 seconds]
<tac> Why are functors called functors in Ocaml?
<tac> Are they related to category theory functors?
flx_ has joined #ocaml
flux has quit [Ping timeout: 240 seconds]
flx_ is now known as flux
jbrown has joined #ocaml
<orbitz> tac: I don't believe they are
<orbitz> Just sounds badass?
<tac> Kk
Kakadu has quit []
jewel has joined #ocaml
gour has quit [Quit: WeeChat 0.3.8]
jamii has quit [Quit: Leaving]
jamii has joined #ocaml
eni has joined #ocaml
fraggle__ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
<adrien> weeeeeeeee \o/
<adrien> depressing thing with software development: being stuck trying to build a single file during 5 days
jewel has quit [Ping timeout: 255 seconds]
tane has quit [Quit: Verlassend]
<orbitz> adrien: Nobody can solvethe errors?
<adrien> solved the flexlink issue pretty easily actually; got further with ocaml but not much
<adrien> the frustrating thing is that I get issues because of something that should never have been done in ocaml in the first place:
<adrien> have both "Makefile" and "Makefile.nt"
<thelema> adrien: which are you trying to use?
<adrien> thelema: Makefile; I need to use the output from configure
<adrien> one more step and I'll have ocamlrun.exe at least
milosn has quit [Ping timeout: 260 seconds]
<flixr> thx guys, got xml-light with opam working again :-)
<flixr> opened a pull request for the patch: https://github.com/OCamlPro/opam-repository/pull/281
milosn has joined #ocaml
<adrien> cp byterun/ocamlrun.exe boot/ocamlrun.exe
<adrien> \o/
<adrien> IT HAS BUILT \o/
<thelema> adrien: but does it work? That was my experience not using Makefile.nt; I might be able to finagle it to build, but not to work right
<adrien> well, I'll probably need some more weeks before I make it build completely; having it work is a much longer-term goal :P
<adrien> (actually I just noticed something bad)
<adrien> boot/ocamlrun boot/ocamlc -nostdlib -I boot -strict-sequence -w +33..39 -warn-error A -I utils -I parsing -I typing -I bytecomp -I asmcomp -I driver -I toplevel -c toplevel/genprintval.ml
<adrien> can't be the boot/ocamlrun I've cross-compiled obviously
<adrien> I had built natively first, meh
eni has quit [Ping timeout: 240 seconds]
eni has joined #ocaml
weie has quit [Quit: Leaving...]
eni has quit [Quit: Leaving]
bobzhang has quit [Remote host closed the connection]
bobzhang has joined #ocaml
jamii has quit [Read error: Connection reset by peer]
watermind has quit [Read error: Connection reset by peer]
watermind has joined #ocaml
<xavierm02> "Note For this documentation, we will assume the existence of a lazy list syntax extension such that [^ ^] is the empty lazy list and [^ a;b;c ^] is the lazy list containing elements a, b, c."
<xavierm02> how do I do that?
<xavierm02> this language extension
<xavierm02> and will i be able to use it in match
<xavierm02> or just to create lists?
<tac> Is there any kind of adhoc polymorphism and/or operator overloading in Ocaml?
<adrien> tac: no
<thelema> string noc_router_id = IntToString("dec", 0, noc_id) + "_" + IntToString("dec", 0, rid);
<thelema> err, not that paste
<xavierm02> so it's installed with the rest of batteries
<thelema> not the same syntax, and not in 2.0
watermind has quit [Quit: Konversation terminated!]
<xavierm02> ok
<thelema> also, just matching on lazy lists, no [^ ^] constructor
watermind has joined #ocaml
<xavierm02> yeah
<xavierm02> I don't even see the point of a constructor anyway :o
<xavierm02> ty
dsheets1 has quit [Remote host closed the connection]
dsheets has joined #ocaml
gnuvince_ has quit [Ping timeout: 276 seconds]
gnuvince_ has joined #ocaml
<xavierm02> okay
<xavierm02> I really have no idea how this works
<xavierm02> how do I get ocamlbuild to read it?
<thelema> xavierm02: lazy lists?
<xavierm02> no
<xavierm02> the language extension
<thelema> oh, the pa_
<thelema> compile to .cmo and use with pp(), but I don't know the details
<xavierm02> :/
<thelema> and need to get something else done now, so can't research them.
<xavierm02> k
<thelema> if (g.is_virtual(virtual_router_id)) continue;
<thelema> grr, more bad pastes
<flux> cool, batteries 2 uses @@ for composition, just like I used to :)
<flux> I didn't much have love for **>..
<flux> (actually not for composition but for applying)
<tac> hmm, Re: Are Ocaml Functors CT Functors.... http://scientopia.org/blogs/goodmath/tag/category-theory-2/ says that the functors in Ocaml are indeed categorical functors
<xavierm02> Error: Unbound module Ocamlbuild_plugin
<xavierm02> T,T
<xavierm02> guess I'll do without the syntax extension
Yoric has quit [Ping timeout: 252 seconds]
jbrown has quit [Quit: Client exiting]
smondet has quit [Remote host closed the connection]
ontologiae has joined #ocaml
xavierm02 has quit [Quit: Leaving]
suyu has joined #ocaml
Reventlov has quit [Quit: leaving]
suyu has quit [Quit: suyu]
Cyanure has quit [Remote host closed the connection]
chambart has joined #ocaml
milosn has quit [Ping timeout: 255 seconds]
milosn has joined #ocaml
milosn has quit [Ping timeout: 260 seconds]
ontologiae has quit [Ping timeout: 260 seconds]
technomancy has joined #ocaml
RagingDave has quit [Read error: Connection reset by peer]
<technomancy> what's a good library for HTML generation? thinking of doing static site generation.
tac has quit [Ping timeout: 245 seconds]
chambart has quit [Ping timeout: 246 seconds]
ontologiae has joined #ocaml
jamii has joined #ocaml
jamii has quit [Ping timeout: 276 seconds]