adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
<vext01> ocamlfind ocamlc -syntax camlp4o -package camlp4 -package batteries.pa_comprehension.syntax a.ml
darkf has joined #ocaml
<vext01> ^^ correct way to use list comprehensions syntax?
<vext01> Camlp4: Uncaught exception: DynLoader.Error ("pa_comprehension.cmo", "file not found in path")
tac has joined #ocaml
ollehar has quit [Read error: Connection reset by peer]
yacks has quit [Ping timeout: 240 seconds]
ahokaomaeha has quit [Ping timeout: 255 seconds]
flixr has left #ocaml []
madroach has quit [Ping timeout: 248 seconds]
ahokaomaeha has joined #ocaml
madroach has joined #ocaml
leoncamel has joined #ocaml
darinmorrison has joined #ocaml
<thelema> vext01: is there pa_comprehension.cmo in `ocamlfind query batteries.pa_comprehension.syntax`?
<thelema> vext01: try just batteries.syntax; this should load all syntax extensions
ahokaomaeha has quit [Ping timeout: 276 seconds]
darinmorrison has quit []
mattrepl has quit [Quit: mattrepl]
mye has joined #ocaml
LeNsTR is now known as lenstr
Icarot has joined #ocaml
yacks has joined #ocaml
yacks has quit [Max SendQ exceeded]
yacks has joined #ocaml
yacks has quit [Max SendQ exceeded]
yacks has joined #ocaml
yacks has quit [Read error: Connection reset by peer]
yacks has joined #ocaml
darinmorrison has joined #ocaml
ahokaomaeha has joined #ocaml
darinmorrison has quit []
ttamttam has joined #ocaml
sgnb` has quit [Remote host closed the connection]
ttamttam has quit [Client Quit]
ttamttam has joined #ocaml
sgnb has joined #ocaml
adotbrow1 has joined #ocaml
adotbrown has quit [Ping timeout: 248 seconds]
ttamttam has quit [Ping timeout: 248 seconds]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
ulfdoz has joined #ocaml
yacks has quit [Ping timeout: 252 seconds]
Icarot has quit [Remote host closed the connection]
Icarot has joined #ocaml
yacks has joined #ocaml
yacks has quit [Max SendQ exceeded]
yacks has joined #ocaml
tac_ has joined #ocaml
tac has quit [Ping timeout: 245 seconds]
mye has quit [Quit: mye]
ulfdoz has quit [Read error: Operation timed out]
tac_ has quit [Quit: Page closed]
ttamttam has joined #ocaml
djcoin has joined #ocaml
mye has joined #ocaml
Cyanure has joined #ocaml
ottbot has joined #ocaml
Kakadu has joined #ocaml
Yoric has joined #ocaml
Cyanure has quit [Remote host closed the connection]
mika1 has joined #ocaml
cago has joined #ocaml
hkBst has joined #ocaml
ottbot has quit [Ping timeout: 264 seconds]
<vext01> thelema: ocamlfind query batteries.pa_comprehension.syntax gives:
<vext01> /usr/local/lib/ocaml/batteries
<vext01> so if i have a file lc.ml, containing:
<vext01> open Batteries;;
<vext01> let l = [? 2 * x | x <- 0 -- max_int ; x * x > 3 ?];;
<vext01> ie. the example from wikipedia
Oaks has joined #ocaml
<vext01> then you are saying this should build:
<vext01> ocamlfind ocamlc -syntax camlp4o -package camlp4,batteries,batteries.syntax -linkpkg lc.ml
anderse has joined #ocaml
<vext01> this gives a different error actually:
<vext01> Camlp4: Uncaught exception: DynLoader.Error ("pa_strings.cma", "file not found in path")
<Kakadu> can u locate pa_strings?
<vext01> what do you mean by locate in this context?
<Kakadu> find this file in /usr/local/lib*
<vext01> find /usr/local/lib/ -type f -name '*pa_string*' gives no results
<vext01> is that supposed to be part of ocaml or an external package?
chambart has joined #ocaml
<vext01> ah that is batteries.pa_string.syntax
<vext01> `ocamlfind query batteries.pa_string.syntax` says:
<vext01> /usr/local/lib/ocaml/batteries
* Kakadu is installing batteries
<vext01> if we look in the batteies META file
<vext01> package "pa_string" (
<vext01> ...
<vext01> ah and
<vext01> package "syntax" (
<vext01> ...
<vext01> archive(syntax, preprocessor) = "pa_strings.cma pa_comprehension.cmo pa_llist.cmo"
<vext01> there is only reference to .cma files in here
<vext01> which is ok, actually
thomasga has joined #ocaml
<vext01> so i gues the problem is that pa_strings.cma is nowhere to be found
mcclurmc has joined #ocaml
Snark has joined #ocaml
anderse has quit [Quit: anderse]
<vext01> Kakadu: what do you think?
<vext01> brb
<Kakadu> vext01: can u try to compile examples?
cdidd has quit [Remote host closed the connection]
def-lkb has joined #ocaml
ottbot has joined #ocaml
Sergey_ has joined #ocaml
Oaks has quit [Ping timeout: 272 seconds]
<vext01> Kakadu: test_string builds
<Kakadu> Can u check if it uses comprehesions?
<Kakadu> comprehensions*
<vext01> nope
<vext01> the line that matched your grep is in a comment
<Kakadu> ah
<Kakadu> WTF
<vext01> hehe
<Kakadu> Sorry, but I can't find ml files about syntax extension u need
<Kakadu> maybe somebody else can help u
<vext01> stackoverflow :P
adotbrow1 has quit [Ping timeout: 255 seconds]
<Kakadu> vext01: or try to ping thelema (found batteries's contributors in this chat)
<Kakadu> ah, my spelling sucks
<vext01> thelema: ^^
<vext01> cheers
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ivan\ has joined #ocaml
adotbrown has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
ontologiae has joined #ocaml
osa1 has joined #ocaml
<osa1> I'm trying to compile an old OCaml program that has a yacc file with the start symbol `%type <'a MlAlgebra.Abstract.expression> one_single_term`
<osa1> and I'm getting "ocamlyacc: e - the start symbol `one_single_term' has a polymorphic type" error. (OCaml 4.0)
<osa1> since when this restriction is added ?
hkBst has quit [Ping timeout: 255 seconds]
myx has joined #ocaml
mcclurmc has quit [Ping timeout: 248 seconds]
yacks has quit [Remote host closed the connection]
anderse has joined #ocaml
yacks has joined #ocaml
yacks has quit [Max SendQ exceeded]
yacks has joined #ocaml
yacks has quit [Max SendQ exceeded]
yacks has joined #ocaml
Icarot has quit [Ping timeout: 252 seconds]
yacks has quit [Max SendQ exceeded]
yacks has joined #ocaml
fraggle_ has quit [Ping timeout: 264 seconds]
Yoric has quit [Ping timeout: 240 seconds]
dwmw2_gone is now known as dwmw2
fraggle_ has joined #ocaml
mye_ has joined #ocaml
yacks has quit [Ping timeout: 256 seconds]
mye has quit [Ping timeout: 240 seconds]
mye_ is now known as mye
myx has quit [Read error: Operation timed out]
hkBst has joined #ocaml
myx has joined #ocaml
chambart has quit [Ping timeout: 256 seconds]
hkBst has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
mye has quit [Quit: mye]
hkBst has quit [Ping timeout: 255 seconds]
hkBst_ has joined #ocaml
cyball has joined #ocaml
mcclurmc has joined #ocaml
Sergey_ has quit [Read error: Connection reset by peer]
_andre has joined #ocaml
adotbrown has quit [Ping timeout: 252 seconds]
Yoric has joined #ocaml
anderse has left #ocaml []
anderse has joined #ocaml
darkf has quit [Quit: Leaving]
osa1 has quit [Ping timeout: 245 seconds]
Icarot has joined #ocaml
Icarot has quit [Remote host closed the connection]
<_andre> is there any documentation on async other than that dummy's guide and the mli files?
<rks> _andre: I don't think so
<_andre> thanks
chambart has joined #ocaml
hkBst__ has joined #ocaml
hkBst_ has quit [Ping timeout: 248 seconds]
q66 has joined #ocaml
hkBst has joined #ocaml
hkBst__ has quit [Read error: Connection reset by peer]
nze has joined #ocaml
nze has quit [Changing host]
nze has joined #ocaml
ahokaomaeha has quit [Ping timeout: 264 seconds]
mye has joined #ocaml
ocp has joined #ocaml
ontologiae has quit [Ping timeout: 256 seconds]
nicoo is now known as `
` is now known as nicoo
ontologiae has joined #ocaml
osa1 has joined #ocaml
sysopfb has joined #ocaml
sysop_fb has quit [Ping timeout: 248 seconds]
trep has joined #ocaml
sysopfb has quit [Ping timeout: 264 seconds]
osa1 has quit [Quit: Page closed]
cdidd has joined #ocaml
<thelema> vext01: still have problems with camlp4?
tac has joined #ocaml
<vext01> thelema: ye
<vext01> one sec
<thelema> vext01: what version of batteries, and how installed?
<vext01> so this is the openbsd package
<vext01> > pkg_info | grep batte
<thelema> ok...
<vext01> oops
<vext01> ocaml-batteries-2.0.0
<vext01> ocaml-4.00.1
<vext01> do you have the backlog?
<vext01> you can see a minimal example of the problem
<thelema> ah, that's the first problem; batteries 2.0 has had the syntax extensions removed. Maybe we forgot to remove them from the META file for the 2.0.0 release
<thelema> yes, I have the backlog
<vext01> right
<vext01> how comes they were removed?
<thelema> oops, they're still mentioned in the current tree
<thelema> they were removed for two reasons: 1) none of the maintainers of batteries was maintaining them
<thelema> and 2) to start breaking batteries into smaller pieces so that the good parts of batteries can be used with the good parts of core
<vext01> right
<vext01> so if i want a list comprehension, then i should use a map and a filter?
<thelema> yes, that's what the syntax extension converted the list comprehension into
<thelema> You're welcome to .. hmm, one sec
Icarot has joined #ocaml
<thelema> yes, I meant to put this information somewhere; Max Mouratov packed up pa_comprehension as a separate package; if you have opam, it should be easy to install
<thelema> and even if you don't, it should probably be easy to get the source and compile
<vext01> cool, well we would probably package it
<vext01> not much builds out the box on openbsd :P
<vext01> thanks for your help
<thelema> you're welcome. sorry for the trouble.
<vext01> np
<thelema> I'll fix the meta file now so it doesn't mention the syntax extensions anymore
<thelema> (which I thought I had done, but apparently not...)
tac has quit [Ping timeout: 245 seconds]
<vext01> can you send a link to the diffs and ill forward it on to the relevant parties
<vext01> (ie. packagers, so they can fix the current pkg)
<thelema> vext01: for the meta file? ok
<vext01> yeh, and any docs(?)
<thelema> docs online here
<vext01> i mean, diffs to tear out syntax extension documentation :P
<thelema> that diff coming shortly
<vext01> cheers
<vext01> while i have you here, i was wondering if there is some kind of slicing mechanism for ocaml lists (batteries or not)
<vext01> ala python's list[a:b]
<vext01> i didnt see one in the docs, but i would find that useful
nze has quit [Remote host closed the connection]
<vext01> well it would be useful for any iterable type i guess
<thelema> not so much. You could use list |> List.drop a |> List.take (b-a)
<thelema> or same for Enum
hkBst has quit [Ping timeout: 248 seconds]
<thelema> maybe (b-a+1)
hkBst_ has joined #ocaml
<thelema> That removes the syntax extensions from the META file; what documentation refers to the syntax extensions?
<vext01> i don't know, didn't you say the docs still refer to it?
<vext01> or maybe not
<thelema> there's old doc out there that still refer to it, but the current source tree should be purged of references to the syntax extensions
<vext01> ok
<vext01> about the slicing, i can easily implement it sure, but its the kind of convinience that i would expect in a standard library or something intrinsic to the language itself
<vext01> i mean, if I implemented a Enum.slice would it be considered for inclusion?
<thelema> array and vector slicing is Array.sub/Vect.sub
<thelema> yes, send a patch and it'll probably be included in 2.1
hkBst_ has quit [Read error: Connection reset by peer]
<vext01> thelema: it wont be for a while, as i have a thesis to write, but ill add it to my "after-thesis-fun" list
<vext01> thanks
<thelema> no worries.
hkBst_ has joined #ocaml
hkBst_ has quit [Read error: Connection reset by peer]
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
Icarot has quit [Ping timeout: 264 seconds]
tac has joined #ocaml
mattrepl has joined #ocaml
Icarot has joined #ocaml
Icarot has quit [Ping timeout: 255 seconds]
Yoric has quit [Ping timeout: 276 seconds]
Yoric has joined #ocaml
ontologiae has quit [Ping timeout: 248 seconds]
ontologiae has joined #ocaml
hkBst_ has quit [Quit: Konversation terminated!]
def-lkb has quit [Quit: Lost terminal]
cago has left #ocaml []
mika1 has quit [Quit: Leaving.]
Kakadu has quit []
ttamttam has quit [Quit: ttamttam]
Cyanure has joined #ocaml
Yoric has quit [Ping timeout: 276 seconds]
notk0 has joined #ocaml
<notk0> hello
<companion_cube> world
<notk0> how
S11001001 has joined #ocaml
<notk0> companion_cube: do you play portal?
<companion_cube> I used to :)
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
oriba has joined #ocaml
<notk0> companion_cube: you should play it more, portal 2 if you have, it has great community maps
<companion_cube> I don't have a computer able to play games anymore, sadly...
ocp has quit [Ping timeout: 244 seconds]
<notk0> companion_cube: how come?
<companion_cube> my computer died a few years ago, I did not buy a powerful one again, nor do I have windows anymore
<notk0> oh
<notk0> tell me do you happen to know if List in ocaml is a monad?
chris2 has joined #ocaml
<chris2> hi. i'm toying around with Async, and try to run https://github.com/janestreet/async/blob/master/examples/process.ml ... where is that In_process from?
nitro_ has joined #ocaml
<thelema> chris2: good question; I can find In_thread in the Async_unix
<chris2> hm, ok
<chris2> i have that as -package
<chris2> thelema: which version do you have installed?
<thelema> I'm just looking at online docs: https://ocaml.janestreet.com/ocaml-core/latest/doc/
<chris2> async_unix 109.09.00 Monadic concurrency library
<chris2> i have that one
<thelema> that looks like the latest
<thelema> maybe the docs are out of date
<chris2> but i cant find it in the .opam dir
<chris2> perhaps its just an old example :)
<notk0> thelema: is List in Ocaml a monad?
<thelema> possibly, although In_process seems like something that would be kept
<nitro_> i just install typerex, the autocomplete for type and library function works perfect i just wonder does it support syntax complete?
<thelema> like to complete keywords, or to build skeleton if/then/else for you?
<thelema> nitro_: ^^
<nitro_> i mean keyword
cyball has quit [Remote host closed the connection]
<thelema> nitro_: maybe your editor can accomplish that already
osa1 has joined #ocaml
thomasga has quit [Quit: Leaving.]
mye has quit [Quit: mye]
mye has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
oriba_ has joined #ocaml
oriba has quit [Read error: Operation timed out]
ttamttam has joined #ocaml
ontologiae has quit [Ping timeout: 248 seconds]
Yoric has joined #ocaml
oriba_ has quit [Quit: oriba_]
chambart has quit [Ping timeout: 248 seconds]
Anarchos has joined #ocaml
Yoric has quit [Ping timeout: 272 seconds]
mye has quit [Quit: mye]
mcclurmc has quit [Ping timeout: 260 seconds]
ttamttam has quit [Quit: ttamttam]
ttamttam has joined #ocaml
ahokaomaeha has joined #ocaml
tac has quit [Ping timeout: 245 seconds]
ahokaomaeha has quit [Read error: Connection reset by peer]
ahokaomaeha has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
anderse has quit [Quit: anderse]
Yoric has joined #ocaml
mrpantoufle has quit [Ping timeout: 264 seconds]
nitro_ has quit [Quit: Lost terminal]
ahokaomaeha has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
notk0 has left #ocaml []
notk0 has joined #ocaml
<notk0> Yoric: does your name have any special meaning?
ocp has joined #ocaml
mattrepl has quit [Quit: mattrepl]
<Yoric> notk0: What do you mean?
<Yoric> (besides the Shakespeare non-character, that is)
rks is now known as Guest67235
Guest67235 has quit [Killed (rajaniemi.freenode.net (Nickname regained by services))]
rks_ has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.9.2]
_andre has quit [Quit: leaving]
<notk0> Yoric: I never heard of the Shakespeare non-character
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 252 seconds]
ocp has quit [Ping timeout: 255 seconds]
<ben_zen> notk0: "Alas, poor Yorick! I knew him, Horatio."
mattrepl has joined #ocaml
ocp has joined #ocaml
Icarot has joined #ocaml
<notk0> ben_zen: doesn't ring a bell, not much of a shakespeare connaisseur
<ben_zen> notk0: it's out of Hamlet, which is well worth pretty much everyone's time to read (I would say)
<notk0> ben_zen: well I may read it someday, I think I studied it at school a long time ago
<orbitz> notk0: If your'e ever feeling depressed ,Hamlet has a very happy ending, it will hceer you up
<notk0> ben_zen: just because something is extremely popular or critically acclaimed doesn't make it worth
ocp has quit [Ping timeout: 264 seconds]
<notk0> for example the Mona Lisa painting got it's popularity mainly from the story of it being stolen and later "found"
<notk0> The Black Square painting gained notoriety because it's painter was already well known, I am sure that if an unknown artist created the same painting it would be considered as garbage
<orbitz> Sure, art is subjective
<orbitz> next?
<notk0> Einstein is popular because he was jewish and gained acceptance because of that and the world war stuff, there are scientist that are as brilliant as him or even more so, that helped him a lot develop the theory but they are relatively unknown and unacknowledged
<notk0> orbitz: it's not about being subjective it's about being accepted/considered good based on who made it not on it's inherent quality
mattrepl_ has joined #ocaml
mattrepl has quit [Ping timeout: 276 seconds]
mattrepl_ is now known as mattrepl
<orbitz> notk0: i 'mjust not sure what point you're trying to make, or that it's worth paying attention to. Sure, yo udon't agree some thing sshould be liked for the same reasons other people think they shouldbe liked. That's life.
<orbitz> ben_zen already stated that it was his opinion that Hamlet is worth reading, not that it was an objective.
<notk0> orbitz: all I am trying to say is that you can't judge quality by popularity
<ben_zen> notk0: no, but you can't discount something due to popularity.
<orbitz> I dont' think anyone said Hamlet was good because it's popular. ben_zen said it was good because he likes it
<notk0> I see
osa1 has quit [Ping timeout: 264 seconds]
def-lkb has joined #ocaml
mattrepl has quit [Quit: mattrepl]
sw2wolf has joined #ocaml
mcclurmc has joined #ocaml
ottbot has quit [Ping timeout: 252 seconds]
chambart has joined #ocaml
notk0 has left #ocaml []
ttamttam has quit [Remote host closed the connection]
Yoric has quit [Ping timeout: 272 seconds]
adotbrown has joined #ocaml
ahokaomaeha has joined #ocaml
Snark has quit [Quit: Quitte]
Cyanure has quit [Remote host closed the connection]
m4b has quit [Remote host closed the connection]
thomasga has joined #ocaml
m4b has joined #ocaml
ottbot has joined #ocaml
thomasga has quit [Quit: Leaving.]
darkf has joined #ocaml
mattrepl has joined #ocaml
iratsu has joined #ocaml
ahokaomaeha has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
sivoais is now known as JonesTheDolphin
JonesTheDolphin is now known as sivoais
emmanuelux has joined #ocaml
sw2wolf has left #ocaml []
dabd has joined #ocaml
mattrepl has quit [Ping timeout: 244 seconds]
dwmw2 is now known as dwmw2_gone
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ottbot has quit [Ping timeout: 248 seconds]
chambart has quit [Ping timeout: 256 seconds]
ontologiae has joined #ocaml
q66 has quit [Remote host closed the connection]
ontologiae has quit [Ping timeout: 276 seconds]
Icarot has quit [Remote host closed the connection]
emmanuelux has quit [Remote host closed the connection]