<caseyjames>
Hi. I'm noticing that I am getting the "Unbound module" on a number of opam libraries. OUnit works, but ocamlgraph and sqlite are both giving the error. Any idea how I can get this running?
talzeus__ has quit [Read error: Connection reset by peer]
csakatoku has joined #ocaml
dsheets has joined #ocaml
shinnya has quit [Ping timeout: 264 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest9474
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
manizzle has quit [Read error: Operation timed out]
talzeus has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
yacks has quit [Ping timeout: 240 seconds]
pkrnj has quit [Quit: Computer has gone to sleep.]
yacks has joined #ocaml
nikki93 has quit [Remote host closed the connection]
<Javran>
the error is "This expression has type int -> int -> int but an expression was expected of type 'a * 'b -> 'a", workaround?
wolfnn has joined #ocaml
ggole has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 248 seconds]
<caseyjames>
Hi. I'm noticing that I am getting the "Unbound module" on a number of opam libraries. OUnit works, but ocamlgraph and sqlite are both giving the error. Any idea how I can get this running?
Javran has quit [Quit: Page closed]
serge has quit [Remote host closed the connection]
ulfdoz has joined #ocaml
gour has joined #ocaml
<ggole>
Usually that means that OCaml doesn't know where to look to find that module.
<caseyjames>
ggole: what do you think would be the reason that certain opam libraries work and others don't
<ggole>
How are you using them?
<caseyjames>
I am doing CcCb in Tuareg in Emacs... just open Graph;; open Sqlite3
<caseyjames>
I'm just trying to open then
wolfnn has quit [Ping timeout: 264 seconds]
<ggole>
So your toplevel has to know where to locate those libraries in order for that to work
<ggole>
Usually the way to do that is #require
<ggole>
It might take a bit of setup to get that working, but after a successful #require you should be able to open a module from opam.
boogie has quit [Remote host closed the connection]
boogie has joined #ocaml
Neros has quit [Ping timeout: 268 seconds]
zpe has joined #ocaml
Yoric has joined #ocaml
Neros has joined #ocaml
Guest9474 has quit [Ping timeout: 248 seconds]
f[x] has joined #ocaml
ontologiae has quit [Ping timeout: 248 seconds]
zpe has quit [Ping timeout: 245 seconds]
serge has joined #ocaml
caligula__ has quit [Quit: Konversation terminated!]
thomasga has joined #ocaml
nikki93 has quit [Remote host closed the connection]
zpe has joined #ocaml
caligula has joined #ocaml
caligula has quit [Client Quit]
caligula has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
ontologiae has joined #ocaml
weie has quit [Read error: Connection reset by peer]
boogie has quit [Remote host closed the connection]
weie has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
yezariaely has joined #ocaml
boogie has joined #ocaml
boogie has quit [Remote host closed the connection]
boogie has joined #ocaml
Simn has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
manizzle has joined #ocaml
zpe has joined #ocaml
mort___ has joined #ocaml
adr has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
Neros has joined #ocaml
yacks has joined #ocaml
<yezariaely>
maybe I am doing it wrong: I always have to convert between lists and sets because (1) I want to have unique elements and (2) I want to have a map that allows 'a -> 'b (Set maps only allow 'a -> 'a) Any ideas about that problem?
<yezariaely>
oh, I am doing it wrong. Never mind...
<yezariaely>
I should probably use polymorphic sets if I want that?
AltGr has joined #ocaml
nikki93 has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
djcoin_ has joined #ocaml
nikki93 has quit [Ping timeout: 245 seconds]
dsheets has joined #ocaml
\\ has joined #ocaml
\\ is now known as Guest96623
AltGr has quit [Ping timeout: 248 seconds]
zpe has joined #ocaml
<ggole>
Set.map doesn't really make sense, since there is no ordering for the produced element.
<companion_cube>
you may want to write a functor that takes two set modules and provides a map function
<companion_cube>
or use some kind of iterator :]
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
AltGr has joined #ocaml
<ia0>
a mapMonotonic function would make sense like in Haskell for the Data.Set container
Guest96623 has quit [Read error: Connection reset by peer]
<ia0>
x < y ==> f x < f y
<ia0>
(or the map would have to suppress elements sent to the same result)
<companion_cube>
or, just fold on the first set, building the second set on the fly
<ia0>
which is n.log(n)
dsheets has quit [Ping timeout: 245 seconds]
<ia0>
mapMonotonic is n
AltGr has quit [Ping timeout: 240 seconds]
<ia0>
what would actually be the signature of a map function in OCaml Set module ?
<ggole>
Yeah, seems a bit silly to throw away your ordering just to build it again
<ggole>
You couldn't put it in the Set module
<ggole>
I think
<ia0>
ok
<ia0>
is it possible to define the Set module with 'a t instead of t ?
<ia0>
what would be the inconvenients?
<ggole>
You'd have to have a separate Setmap: functor (Ord1: Set.OrderedType) (Ord2: Set.OrderedType) -> ... or something
<ia0>
ah you would lose the OrderedType condition
<ggole>
In fact, could you do that? You would lose access to the underlying constructors
<ggole>
Although the ordering could be different, so I guess you need to build anyway. :/
Kakadu has joined #ocaml
mort___ has quit [Ping timeout: 248 seconds]
serge has quit [Remote host closed the connection]
Neros has joined #ocaml
ontologiae_ has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
kizzx2 has joined #ocaml
kizzx2 has quit [Max SendQ exceeded]
kizzx2 has joined #ocaml
ontologiae has joined #ocaml
ontologiae_ has quit [Read error: Connection reset by peer]
<companion_cube>
although the functor may be usable
<companion_cube>
let s2 = SetMap(SetInt)(SetString).map (fun x -> string_of_int x) s1;;
<companion_cube>
the part about the overhead parameter is interesting
talzeus has joined #ocaml
<kerneis>
asynchronous is fine
ttamttam has quit [Quit: ttamttam]
ttamttam has joined #ocaml
mch has quit [Ping timeout: 252 seconds]
caligula has quit [Ping timeout: 248 seconds]
Kakadu has quit [Quit: Page closed]
ttamttam has quit [Quit: ttamttam]
ttamttam has joined #ocaml
amirmc has joined #ocaml
caligula has joined #ocaml
mch has joined #ocaml
yezariaely has quit [Read error: Operation timed out]
ollehar has joined #ocaml
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
caligula has quit [Read error: Connection reset by peer]
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
csakatoku has quit [Ping timeout: 245 seconds]
talzeus has quit [Ping timeout: 245 seconds]
ttamttam has quit [Quit: ttamttam]
Neros has quit [Ping timeout: 245 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest7991
dsheets has quit [Ping timeout: 248 seconds]
f[x] has joined #ocaml
caligula has joined #ocaml
shinnya has joined #ocaml
nikki93 has joined #ocaml
serge has quit [Remote host closed the connection]
Guest7991 has quit [Ping timeout: 245 seconds]
nikki93 has quit [Ping timeout: 264 seconds]
Neros has joined #ocaml
caligula has quit [Ping timeout: 248 seconds]
chrisdotcode has joined #ocaml
caligula has joined #ocaml
boogie has quit [Remote host closed the connection]
caseyjames has quit [Ping timeout: 250 seconds]
nikki93 has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
Yoric has joined #ocaml
reynir is now known as plusreynir
plusreynir is now known as reynir
tane has joined #ocaml
ttamttam has joined #ocaml
csakatoku has joined #ocaml
ttamttam has quit [Quit: ttamttam]
mch has quit [Quit: Odcházím]
csakatoku has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Verlassend]
boogie has joined #ocaml
tane has joined #ocaml
amirmc has quit [Quit: Leaving.]
Yoric has quit [Ping timeout: 252 seconds]
nikki93 has quit [Remote host closed the connection]
Neros has quit [Ping timeout: 245 seconds]
zpe has quit [Remote host closed the connection]
emias has quit [Ping timeout: 264 seconds]
emias has joined #ocaml
dsheets has joined #ocaml
boogie has quit [Remote host closed the connection]
f[x] has quit [Ping timeout: 248 seconds]
amirmc has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
AltGr has left #ocaml []
amirmc has quit [Ping timeout: 240 seconds]
Nahra_ has quit [Quit: leaving]
dsheets has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
ontologiae has joined #ocaml
amirmc has joined #ocaml
MoHaX has joined #ocaml
Nahra has joined #ocaml
MoHaX has quit [Ping timeout: 248 seconds]
mrvn has joined #ocaml
dsheets has joined #ocaml
ontologiae has quit [Ping timeout: 248 seconds]
dsheets has quit [Ping timeout: 245 seconds]
Neros has joined #ocaml
Drup has quit [Ping timeout: 240 seconds]
dsheets has joined #ocaml
boogie has joined #ocaml
csakatoku has joined #ocaml
Kakadu has joined #ocaml
nikki93 has joined #ocaml
csakatoku has quit [Ping timeout: 245 seconds]
Snark has quit [Quit: leaving]
malo has quit [Quit: Leaving]
thomasga has quit [Quit: Leaving.]
chrisdotcode has quit [Read error: Operation timed out]
zpe has joined #ocaml
Drup has joined #ocaml
yezariaely has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
dsheets has quit [Ping timeout: 245 seconds]
chrisdotcode has joined #ocaml
Yoric has joined #ocaml
amirmc has quit [Quit: Leaving.]
AltGr has joined #ocaml
nikki93 has quit [Remote host closed the connection]
ollehar has joined #ocaml
caligula has quit [Remote host closed the connection]
caligula has joined #ocaml
amirmc has joined #ocaml
adr has quit [Quit: Quitte]
Anarchos has joined #ocaml
caligula has quit [Remote host closed the connection]
caligula has joined #ocaml
octet8 has joined #ocaml
caligula has quit [Read error: Connection reset by peer]
dsheets has joined #ocaml
ggole has quit []
caligula has joined #ocaml
nisstyre has quit [Quit: Leaving]
caligula has quit [Remote host closed the connection]
octet8 has quit []
emmanuelux has joined #ocaml
manizzle has quit [Ping timeout: 240 seconds]
darkf has joined #ocaml
caligula has joined #ocaml
<hnrgrgr>
adrien: I'm much more confident than yesterday that we will quickly converge to a not-too-complicated proposition.
AltGr has left #ocaml []
yezariaely has quit [Quit: Leaving.]
yezariaely has joined #ocaml
caligula has quit [Remote host closed the connection]
<adrien>
hnrgrgr: that's great to hear, thanks :)
Kakadu has quit []
_andre has quit [Quit: leaving]
<ousado>
has anyone seen wmeyer recently?
<companion_cube>
no
ontologiae has joined #ocaml
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 264 seconds]
saml has left #ocaml []
<yezariaely>
ousado: Last seen : Sep 24 17:44:57 2013 (2 weeks, 2 days, 02:47:53 ago)
nikki93 has joined #ocaml
ontologiae has quit [Ping timeout: 248 seconds]
<ousado>
wow
<yezariaely>
maybe a longer vacation?
<ousado>
hopefully
<yezariaely>
(I hope)
<bernardofpc>
are anyone here from utop ?
<bernardofpc>
*is
nikki93 has quit [Remote host closed the connection]
ontologiae has joined #ocaml
nikki93 has joined #ocaml
<hnrgrgr>
ousado: he was at Inria in Paris today.
<ousado>
ah
<adrien>
pfffft
<adrien>
he managed to avoid buying me beers ='(
<ousado>
pfffft?
<adrien>
:D
<ousado>
sounds good then
<ousado>
thanks everyone :)
yezariaely has left #ocaml []
yezariaely has joined #ocaml
yezariaely has quit [Quit: Leaving.]
ontologiae has quit [Ping timeout: 240 seconds]
gour has quit [Quit: WeeChat 0.4.1]
AltGr has joined #ocaml
nikki93 has quit [Remote host closed the connection]
robink has joined #ocaml
* robink
is having some difficulty getting the ocamlopt compiler, the ctypes library and libffi to properly link/load a library whose main .so file is a linker script.
<robink>
and I'm wondering where the bug is, so if it's not in ocamlopt or ctypes, an answer of "It's not OCaml's fault, it's x, go away" is acceptable.
<robink>
I am completely new to OCaml, and my only experience is trying to build someone else's app that links to libreadline via libffi (and makes use of it via ctypes). He's semi-new to OCaml as well (but not as new as I am)
<Drup>
robink: I never used ctypes so i'm not sure I can actually help you, but you still should give more details.
<nicoo>
robink: Ask the ctypes devs. It might be that ctypes doesn't like linker scripts so much
<nicoo>
Btw, I assume you run Linux and OCaml 4.something
<robink>
Drup: You got it. The application is Grenchman (a fast nREPL client for POSIX systems written in OCaml). Normally, when passed -lflags -ccopt,-lreadline it links with the system libreadline.so, but in the case of Gentoo, /usr/lib64/libreadline.so is a linker script that points to /usr/libreadline.so.6, which is a symbolic link to the correct library, /lib64/libreadline.6.2.
<robink>
nicoo: Gentoo Linux, OCaml 4.01.0.
* nicoo
headscratches
<robink>
nicoo: I also have opam-1.1.0-beta installed, which is necessary to pull in OCaml libraries that aren't in the Gentoo Portage tree.
<nicoo>
'kay
<Drup>
AltGr: if you are around : ocp-index master branch don't compile out of the box, it complains about an unbound module Approx_lexer
AltGr has left #ocaml []
<Drup>
robink: you should probably try to ask on the ctype repo
<robink>
Drup: OK, I'll see what the appropriate question to ask would be.
tane has quit [Quit: Verlassend]
nikki93 has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-280704]: i've been blurred!]
<robink>
After talking to people on the ctypes mailinglist, he turned the foreign line into a Dl.(dlopen ~filename:"libreadline.so") call, which allows you to manually specify exactly which file you want opened. However, making the call directly breaks Grenchman on OS X (since it uses .dylib files) and would have to be customized by me for my particular install (have ~filename be "libreadline-6.2.so" instead of "libreadline.so").
<robink>
Rather, after talking to people on the GitHub issue tracker etc. He then asked what the best course would be on the ctypes mailinglist and was told to use 'foreign' and have ctypes handle the loading of the library (which it has issues with on Gentoo).
<robink>
So I guess my question now is: is there a way to change the OCaml linktime options to overcome the Gentoo readline dummy linker script stupidity?
amirmc has quit [Quit: Leaving.]
nikki93 has quit [Remote host closed the connection]
q66 has quit [Quit: Leaving]
yacks has quit [Read error: Connection reset by peer]
Guest65723 has quit [Remote host closed the connection]
kay__ has joined #ocaml
nikki93 has joined #ocaml
iZsh` has quit [Ping timeout: 264 seconds]
kay__ has quit [Ping timeout: 245 seconds]
Drup has quit [Quit: Leaving.]
iZsh has joined #ocaml
caseyjames has joined #ocaml
<caseyjames>
Hi has anyone here used the library ocaml-csv or the csv_write in the library core extended