<Kakadu>
gasche: saying about duplication do you mean {"lastName": bson.RegEx{"^"+lastName, "i"}}, {"lastName": lastName} and { "lastName": bson.RegEx{"^"+lastName, "i"}, "firstName": bson.RegEx{"^"+firstName, "i"}} ?
cago1 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
cago has quit [Ping timeout: 272 seconds]
<gasche>
Kakadu: "As far as code repetition goes, however, this framework is not that efficient in that each collection requires its own Search[Collection]() function, where the only difference among the different functions is the type of the searchResults variable.
<gasche>
"
<companion_cube>
can we make Set.Make(Int).t a private alias for the polymorphic set?
<companion_cube>
for int Set.t, that is
<gasche>
the point of the functor version is to have type-safety enforce coherence of comparisons
<gasche>
if you coerce to a polymorphic set, you cannot go back
<gasche>
(we would provide an injection function and not a private typedef, as they don't have the same representation and we don't want them to)
<companion_cube>
sounds reasonable indeed
<companion_cube>
maybe I'll do that
<companion_cube>
or just a sorted enum ;)
Yoric has joined #ocaml
dant3_ has quit [Remote host closed the connection]
mort___ has joined #ocaml
Kakadu_ has joined #ocaml
avsm has joined #ocaml
Kakadu has quit [Ping timeout: 245 seconds]
vkz has quit [Read error: Connection reset by peer]
vkz has joined #ocaml
kaustuv has joined #ocaml
cago1 has quit [Quit: Leaving.]
cago has joined #ocaml
cago1 has joined #ocaml
cago has quit [Read error: Operation timed out]
fantasticsid has quit [Ping timeout: 245 seconds]
<kaustuv>
Apropos of nothing, it's interesting that svn has propset and propget, but no propappend. This makes svn propset -R svn:ignore basically useless.
dant3 has joined #ocaml
skchrko has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
vkz has quit [Read error: No route to host]
<gasche>
Apropos of nothing, I just discovered the --add-author-from option in git svn, which automagically formats svn dcommits to keep track of the initial author, in a format that git-svn can read back when producing a git mirror
<gasche>
had I used that for my previous upstream merges of proposed patches, attribution would show up correctly in github/ocaml/ocaml
<adrien_oww>
I'll do my best to let you use it by the end of the month
<gasche>
:]
<gasche>
I may not be the one in charge
<gasche>
I mean, that you commit in a separate branch does not mean we should commit automatically without reviewing (that would be useless as far as trunk-mergeability control is concerned)
<adrien_oww>
you couldn't for documentation changes? :o
<adrien_oww>
(j/k, there will be other patches :P )
<gasche>
and I won't be the one reviewing
<gasche>
ah
<gasche>
for other patches, maybe
<adrien_oww>
I'm pondering sending an RFC on the caml-list in a few days
<adrien_oww>
for feedback on the approach
Yoric has quit [Ping timeout: 250 seconds]
thorsten1 has quit [Quit: WeeChat 0.3.9.2]
jonludlam has joined #ocaml
cago1 has quit [Ping timeout: 246 seconds]
avsm has joined #ocaml
_andre has joined #ocaml
Dongyancai has joined #ocaml
skchrko has joined #ocaml
amirmc has joined #ocaml
dsheets has joined #ocaml
thorsten` has joined #ocaml
csakatoku has quit []
mort___ has quit [Quit: Leaving.]
AltGr has joined #ocaml
Thooms has joined #ocaml
Yoric has joined #ocaml
dant3 has quit [Remote host closed the connection]
talzeus has joined #ocaml
talzeus_ has joined #ocaml
avsm has quit [Quit: Leaving.]
dant3 has joined #ocaml
talzeus has quit [Ping timeout: 250 seconds]
vkz has joined #ocaml
dant3 has quit [Ping timeout: 246 seconds]
jonludlam has quit [Ping timeout: 245 seconds]
dant3 has joined #ocaml
vkz` has joined #ocaml
vkz` has quit [Read error: Connection reset by peer]
vkz` has joined #ocaml
AltGr has left #ocaml []
AltGr has joined #ocaml
kyrylo has joined #ocaml
mort___ has joined #ocaml
vkz has quit [Read error: Connection reset by peer]
<Simn>
What could cause a stack trace to be missing something? I have a "Raised at" reported in a function A, with the next "Called from" being in function B calling function C. It seems to be missing how I got from C to A.
ollehar has joined #ocaml
<kaustuv>
catching and re-reraising exceptions can change the backtrace
kerneis has quit [Ping timeout: 252 seconds]
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
<kaustuv>
troydm: exit code 2 means missing or unknown command, so I am guessing that your ocaml installation is failing to invoke cpp
<troydm>
does opam requires aspcud installed now?
<def-lkb>
kaustuv: there is a weird -I/mnt/local/sda1/jdimino/git/sexplib/syntax' hardcoded path
<def-lkb>
could the package be just wrong?!
<rks>
:D
lostcuaz has quit [Remote host closed the connection]
lostcuaz has joined #ocaml
<troydm>
hmm it seems i have older version of opam
<troydm>
can i upgrade opam using opam itself?
<troydm>
or i need to download sources and compile it myself again
Hiino has joined #ocaml
Hiino has quit [Client Quit]
<gasche>
troydm: you can't (yet)
<troydm>
gasche: ic, thx
ygrek has quit [Ping timeout: 250 seconds]
<johnelse>
Is there a way to do depexts-like platform-specific dependencies in opam, but for opam rather than distro packages?
<johnelse>
e.g. if linux install obus else install <something else>
talzeus_ has quit [Read error: Connection reset by peer]
nikki93 has joined #ocaml
talzeus has joined #ocaml
amirmc has quit [Quit: Leaving.]
Thooms has quit [Ping timeout: 246 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Thooms has joined #ocaml
dant3 has quit [Remote host closed the connection]
<ggole>
Simn: I think tail calls can have that effect
talzeus has quit [Read error: Connection reset by peer]
clan has quit [Quit: clan]
sagotch has quit [Ping timeout: 245 seconds]
watermind has joined #ocaml
<Simn>
ggole, thanks for the hint, I'll see what I can find.
watermind has quit [Client Quit]
watermind has joined #ocaml
watermind has quit [Client Quit]
watermind has joined #ocaml
siddharthv is now known as siddharthv_away
AltGr has left #ocaml []
AltGr has joined #ocaml
AltGr has left #ocaml []
AltGr has joined #ocaml
amirmc has joined #ocaml
amirmc has quit [Ping timeout: 245 seconds]
ontologiae_ has joined #ocaml
dant3 has joined #ocaml
Thooms has quit [Ping timeout: 252 seconds]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ollehar has quit [Ping timeout: 246 seconds]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
<troydm>
now omake install fails :(
<troydm>
omake.opt was not found
<troydm>
i have opam 1.1.1 now
yacks has quit [Quit: Leaving]
dant3 has quit []
dant3 has joined #ocaml
AltGr has left #ocaml []
AltGr has joined #ocaml
<kaustuv>
The current omake package in opam seems to be broken for me as well. The 'opam.patch' patch does not apply.
<troydm>
ind: stat() error /home/troydm/.opam/system/lib/toplevel/topfind: No such file or directory
AltGr has left #ocaml []
<troydm>
*find
AltGr has joined #ocaml
AltGr has left #ocaml []
AltGr has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
<troydm>
it seems i don't have toplevel in the specified directory
watermind has joined #ocaml
<troydm>
what should i do?
cago has joined #ocaml
AltGr has left #ocaml []
AltGr has joined #ocaml
TDJACR has quit [Ping timeout: 264 seconds]
AltGr has left #ocaml []
AltGr has joined #ocaml
AltGr has left #ocaml []
<troydm>
okey it seems i know what the problem is
AltGr has joined #ocaml
<troydm>
but now i need to somehow resolve it
amirmc has joined #ocaml
AltGr has left #ocaml []
AltGr has joined #ocaml
AltGr has left #ocaml []
AltGr has joined #ocaml
fantasticsid has joined #ocaml
amirmc has quit [Ping timeout: 272 seconds]
AltGr has left #ocaml []
AltGr has joined #ocaml
avsm has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
avsm has quit [Client Quit]
cago has quit [Ping timeout: 272 seconds]
yacks has joined #ocaml
sagotch has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
Dongyanc1i has joined #ocaml
ontologiae_ has quit [Ping timeout: 245 seconds]
Dongyancai has quit [Ping timeout: 265 seconds]
amirmc has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
avsm has joined #ocaml
kerneis has joined #ocaml
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
dant3 has quit [Ping timeout: 245 seconds]
skchrko has quit [Ping timeout: 244 seconds]
mcclurmc has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
FreeArtMan has quit [Quit: main.lv]
skchrko has joined #ocaml
dant3 has joined #ocaml
<companion_cube>
I can't find the opam documentation pdf :/
shinnya has joined #ocaml
<companion_cube>
actually I want to find how to make a repository, available by https
<sagotch>
??
<jpdeplaix`>
companion_cube: as far as I can remember, it's available in the git repository
<sagotch>
for your project ?
<companion_cube>
well, to host a few packages that have little interest for people in general
<companion_cube>
(especially development versions)
<sagotch>
not sure about what you are looking for but yes, opam repo on github has some documentation (including a pdf version).
<Drup>
sagotch: there is nothing specific to do, afaik
<Drup>
just make it available and you are done
<companion_cube>
looks like it expects some specific files, though
<companion_cube>
the doc I could find is mostly about opam-on-the-client-side
ontologiae_ has joined #ocaml
NaCl__ is now known as NaCl
NaCl has quit [Changing host]
NaCl has joined #ocaml
<jpdeplaix`>
companion_cube: the remote stuff is really simple
<companion_cube>
for git repos it seems quite simple indeed
<companion_cube>
but for http it looks like I have to generate a urls.txt
<jpdeplaix`>
opam-admin does the job
<jpdeplaix`>
(it's a tool delivered with opam)
WraithM has quit [Ping timeout: 265 seconds]
lostcuaz has joined #ocaml
darkf has quit [Quit: Leaving]
lostcuaz has quit [Client Quit]
<companion_cube>
looks like I don't have it with the new opam 1.1.1 -_-
lostcuaz has joined #ocaml
adrien_o1w has joined #ocaml
amirmc has quit [Quit: Leaving.]
kyrylo has quit [Quit: Viva la revolucion!]
<nicoo>
companion_cube: Strange. I have it, and the system package manager confirmed it was installed by the package for OPAM
adrien_oww has quit [Ping timeout: 252 seconds]
<companion_cube>
ah, your package manager has opam1.1.1?
<Drup>
companion_cube: arch, package opam-git ?
<companion_cube>
I used the installer because my distro doesn't provide it
mmachenry has joined #ocaml
<Drup>
companion_cube: aren't you an arch user ? =)
<Kakadu_>
or it accepts only `type t = option t` ?
<companion_cube>
can you write this type?
<companion_cube>
'a option as 'a triggers an occur-check for me
<companion_cube>
you should use a distinct name
<companion_cube>
or _ option as 'c
<Drup>
Kakadu_: you are using -rectypes, aren't you ?
<Kakadu_>
Drup: yep
<Drup>
this is why it's not a super good idea
<Drup>
because you end up with this sort of stuff .. which barely make sens.
<kaustuv>
It's an uninhabited type. Similar to type void = Void of void
<Kakadu_>
problem fixed
<Kakadu_>
I have written type signature manually in function definition and forgot to add `option`
dant3 has quit [Remote host closed the connection]
<kaustuv>
Where are bugs against particular opam packages to be filed? On opam-repository/issues?
<kaustuv>
Or should I contact the maintainer directly?
<companion_cube>
I think it's opam-repository, yes
<companion_cube>
(citation needed)
fantasticsid has quit [Remote host closed the connection]
amirmc has joined #ocaml
dant3 has joined #ocaml
<Kakadu_>
I think that it is maintainer directly
ygrek has joined #ocaml
amirmc has quit [Read error: Connection reset by peer]
amirmc1 has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dant3 has quit [Remote host closed the connection]
<Drup>
kaustuv: except if it's packaging bug, maintaner directly
<Drup>
if it's a package bug, I would say maintainer too, anyway.
ygrek has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
FreeArtMan has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 260 seconds]
adrien_o1w is now known as adrien_oww
<nicoo>
companion_cube: Of course Paludis has dev-ocaml/opam-1.1.1
<nicoo>
kaustuv: Your void type is inhabited : let rec x = Void x;;
<nicoo>
kaustuv: Bug against packages can be filed against the repository, yes
arjunguha has joined #ocaml
Kakadu_ has quit [Ping timeout: 245 seconds]
<nicoo>
If the bug concerns the actual code, better sned it upstream.
lostcuaz has joined #ocaml
saml has joined #ocaml
<kaustuv>
nicoo: I like to pretend that recursive values do not exist in OCaml
<kaustuv>
(because they don't in a strict language!)
<nicoo>
:)
* nicoo
considers telling kaustuv he also uses excluded middle :]
AltGr has left #ocaml []
AltGr has joined #ocaml
kyrylo has joined #ocaml
<kaustuv>
excluded middle is fine as long as you don't extract a program from it
shinnya has quit [Ping timeout: 245 seconds]
yacks has quit [Ping timeout: 246 seconds]
<gasche>
I disagree
<gasche>
hm
mmachenry1 has quit [Ping timeout: 245 seconds]
AltGr has left #ocaml []
AltGr has joined #ocaml
thomasga has joined #ocaml
Thooms has quit [Quit: WeeChat 0.3.8]
mmachenry has joined #ocaml
ontologiae_ has quit [Quit: WeeChat 0.4.0]
ontologiae has joined #ocaml
FreeArtMan has quit [Ping timeout: 260 seconds]
dant3 has joined #ocaml
amirmc1 has quit [Quit: Leaving.]
mreca has joined #ocaml
lostcuaz has quit [Read error: Connection reset by peer]
lostcuaz has joined #ocaml
<companion_cube>
I agree
<companion_cube>
excluded middle is fine ;)
<gasche>
I disagreed with the bit about recursive values
<gasche>
but I don't really disagree
<gasche>
I think the real problem is mixing inductives and coinductives without distinction, and *in this regard* it is unfair to blame strict languages more than (non-total) lazy ones
Kakadu has joined #ocaml
dant3 has quit [Ping timeout: 252 seconds]
<def-lkb>
gasche: I agree. are there study or resources about distiguishing inductives and coinductives in general purpose pl ?
<gasche>
(that said, given that "excluded middle" in OCaml probably means "control operator", kaustuv's remark that one should not extract is not that relevant, given we're in fact already manipulating operational objects)
<gasche>
def-lkb: there is Turner's old "Total Functional Programming" work, and also some work on category-theory-inspired functional languages
avsm has quit [Quit: Leaving.]
<gasche>
but that's only bits and pieces, the bulk of the work on coinductives is being done in dependently typed languages these days, were you really are forced to distinguish divergence and productivity
<gasche>
(afaik)
<gasche>
hm
<gasche>
there should be logic/polarity-inspired approaches too, but I'm not too familiar with that part
FreeArtMan has joined #ocaml
FreeArtMan has quit [Remote host closed the connection]
<troydm>
so i have an opam related problem
<troydm>
apparently my system needs to use ginstall instead of install executable
<troydm>
but opam uses install and thus installation of packages fails
<troydm>
e.g. opam isn't using BSD-compatible install (which on my system is ginstall instead of install)
ollehar has joined #ocaml
<gasche>
troydm: OPAM is regularly used in a BSD environment, so I'm surprised that would be an issue
<troydm>
gasche: i'm running it on OpenIndiana
<troydm>
gasche: but enviroment is close to BSD
<gasche>
but is "install" completely unusable on your system, or is it only that it doesn't support some options that some OPAM packages use?
<gasche>
maybe it's possible to remove the non-portable parameters passed to "install" invocations
sagotch has quit [Ping timeout: 245 seconds]
Yoric has quit [Ping timeout: 250 seconds]
<gasche>
hm
mmachenry has quit [Quit: Leaving.]
<gasche>
it looks like most opam descriptions don't even call "install" by themselves, they delegate the work to the "make install" of the relevant packages
<gasche>
so I'd guess it's a package-specific issue you should contact the package maintainer about
mmachenry has joined #ocaml
<troydm>
gasche: it's executed with incorrect arguments
<troydm>
gasche: apparently it doesn't supports some features
amirmc has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jwatzman|work has joined #ocaml
jwatzman|work has quit [Changing host]
jwatzman|work has joined #ocaml
<troydm>
gasche: i can't even install ocamlfind
<troydm>
gasche: i think my enviroment variables are somehow messed up
amirmc has quit [Ping timeout: 260 seconds]
dant3 has joined #ocaml
dsheets has quit [Quit: Leaving]
Anarchos has joined #ocaml
jonludlam has quit [Remote host closed the connection]
FreeArtMan has joined #ocaml
<companion_cube>
@opam maintainers: it looks like opam-admin isn't installed with the latest opam_installer.sh
<companion_cube>
(if it is still supposed to exist)
nikki93 has quit [Remote host closed the connection]
clan has quit [Client Quit]
vkz` has quit [Ping timeout: 265 seconds]
arjunguha has joined #ocaml
sagotch has quit [Remote host closed the connection]
jao has quit [Ping timeout: 245 seconds]
saml has quit [Quit: Leaving]
thomasga has joined #ocaml
Thooms has joined #ocaml
pango has quit [Ping timeout: 265 seconds]
pango_ has joined #ocaml
thomasga has quit [Quit: Leaving.]
maurer has quit [Quit: leaving]
maurer has joined #ocaml
thomasga has joined #ocaml
Arsenik has quit [Remote host closed the connection]
clan has joined #ocaml
nikki93 has joined #ocaml
gambogi has quit [Read error: Operation timed out]
clan has quit [Ping timeout: 265 seconds]
pkrnj has quit [Quit: Computer has gone to sleep.]
gambogi has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Thooms has quit [Ping timeout: 260 seconds]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pkrnj has joined #ocaml
clan has joined #ocaml
clan has quit [Client Quit]
clan has joined #ocaml
clan has quit [Client Quit]
<tizoc>
hello
<tizoc>
functors can take as input only a single other module right? not multiple
arjunguha has joined #ocaml
<Drup>
sure you can take multiple modules
<Drup>
MyFunctor (Truc:TRUC) (Bidule:BIDULE) = struct ... end
caseyjames has joined #ocaml
<tizoc>
Drup: thank you
<Drup>
tizoc: you can even partially apply them
nikki93 has joined #ocaml
<caseyjames>
Does anyone here use OCaml to do terminal work? I'm looking to recursively go to folders N levels deep, and at the bottom level change folders starting with RR to A. I've done a little of this kind of scripting to python, but I would love to move that aspect over to ocaml.