ymasory has quit [Remote host closed the connection]
ymasory has joined #ocaml
lopex has quit []
enthymeme has quit [Ping timeout: 258 seconds]
ymasory has quit [Read error: Connection reset by peer]
ymasory has joined #ocaml
ymasory has quit [Quit: Leaving]
ymasory has joined #ocaml
ymasory has quit [Read error: Connection reset by peer]
ymasory has joined #ocaml
hto has quit [Ping timeout: 260 seconds]
hto has joined #ocaml
enthymeme has joined #ocaml
philtor has quit [Ping timeout: 240 seconds]
joewilliams_away is now known as joewilliams
arubin has quit [Quit: arubin]
eye-scuzzy has quit [Ping timeout: 260 seconds]
eye-scuzzy has joined #ocaml
hto has quit [Ping timeout: 260 seconds]
dnolen has quit [Quit: dnolen]
jamii has joined #ocaml
boscop has quit [Read error: Connection reset by peer]
boscop has joined #ocaml
jamii has quit [Ping timeout: 240 seconds]
enthymeme has quit [Ping timeout: 240 seconds]
hto has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
joelr has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Quit: Yoric]
edwin has joined #ocaml
vivanov has quit [Quit: Lost terminal]
sku has joined #ocaml
vivanov has joined #ocaml
ikaros has joined #ocaml
eikke has joined #ocaml
vivanov has quit [Quit: Lost terminal]
Associat0r has joined #ocaml
mcclurmc_home has joined #ocaml
ocp1 has joined #ocaml
Associat0r has quit [Quit: Associat0r]
avsm1 has quit [Quit: Leaving.]
thomasga has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 250 seconds]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 250 seconds]
Yoric has joined #ocaml
avsm has joined #ocaml
Yoric has quit [Ping timeout: 260 seconds]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 250 seconds]
Yoric has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
Yoric_ has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric_ has quit [Ping timeout: 250 seconds]
Yoric has joined #ocaml
jamii has joined #ocaml
larhat has joined #ocaml
<larhat>
hcarty: about ocaml and zmq — i tried to build Caravan library but it didn't work, so i picked up ocaml-zmq (master branch) and now I'm working with that library. situation with zmq bindings is not very good, due to absence of "official" package.
ftrvxmtrx has joined #ocaml
Yoric has quit [Ping timeout: 250 seconds]
munga has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Client Quit]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 250 seconds]
Yoric has joined #ocaml
munga has quit [Read error: Operation timed out]
Yoric has quit [Ping timeout: 250 seconds]
Yoric has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
jamii has quit [Ping timeout: 250 seconds]
Yoric has quit [Ping timeout: 260 seconds]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 250 seconds]
thomasga has quit [Quit: Leaving.]
lopex has joined #ocaml
_andre has joined #ocaml
avsm has quit [Quit: Leaving.]
Znudzon has joined #ocaml
mnabil has joined #ocaml
<mehdid>
gildor: fyi, ocaml 3.12 migrated to testing.
munga has joined #ocaml
eelte has joined #ocaml
<gildor>
mehdid: thx
jamii has joined #ocaml
<edwin>
hmm mingw32-ocaml seems to use the old mingw32, and not the new mingw-w64 stuff, would it be possible to build mingw32-ocaml with the other mingw currently in unstable?
<adrien>
last time I checked, it didn't build
Znudzon has left #ocaml []
<adrien>
there are a few things to change, usually for the better
robinnn has joined #ocaml
<adrien>
it's also quite stressing on mingw-w64 (well, I had tried more than one year ago I think), but you shouldn't find too many issues on mingw-w64's now, plus they would be fixed very quickly
<edwin>
(I only removed mingw32-ocaml from debian/control; and did a find debian/ -type f -exec sed -ie 's/i586-mingw32msvc/i686-w64-mingw32/' {} \;)
<mehdid>
I never played with mingw32-ocaml tbh
<mehdid>
feel free to report a bug asking for what you want
<mehdid>
I'm pretty sure Romain will give it a try
<edwin>
ok I'll file a wishlist
<edwin>
maybe we can also get an x86_64-w64-ocaml
<edwin>
if it works :)
eelte has quit [Ping timeout: 260 seconds]
kaustuv has joined #ocaml
chambart has quit [Ping timeout: 260 seconds]
<adrien>
mingw-w64 is far more up-to-date and upstream, the API covered is also much bigger (I remember trying to build the win32 bindings with mingw.org: it only had IE 5.5 and before iirc)
robinnn has joined #ocaml
sgnb has quit [Read error: Connection reset by peer]
DimitryKakadu has joined #ocaml
sgnb has joined #ocaml
dnolen has joined #ocaml
<edwin>
yeah its much better
<edwin>
hello world builds with i686-w64-mingw32-ocamlopt, so filed wishlist bug :)
<adrien>
robinnn: your function has to return something (even if it's "unit"): "let ... in" means that there's still something after the "let ... in" line, and ';' means the return value of the line is thrown away and is therefore not a possible return value
Yoric has joined #ocaml
<kaustuv>
robinnn: use the following style:
<kaustuv>
let foo = begin
<kaustuv>
action1 ();
<kaustuv>
action2 ();
<kaustuv>
end
<kaustuv>
then you can stop worrying about stray semi-colons
<adrien>
robinnn: which text editor do you use btw?
Yoric has quit [Client Quit]
Yoric has joined #ocaml
mnabil has quit [Ping timeout: 276 seconds]
DimitryKakadu has quit [Read error: Connection reset by peer]
kakadu has joined #ocaml
mnabil has joined #ocaml
ulfdoz has joined #ocaml
Eiael has joined #ocaml
<Eiael>
hi
<Eiael>
someone can explain me this error : make inconsistent assumptions over interface Maze
thomasga has joined #ocaml
<adrien>
Eiael: some file has been compiled for another version of a library/file
<adrien>
if it's in your project and you've upgrade on library it depends on, run something like "make clean"
<adrien>
if it's a library (foo) you have installed and which depends on another library you have updated (bar), recompile it (foo)
<Eiael>
it's just a module, who depend of nothing
<Eiael>
huh? it works...
<Eiael>
thanks
<Eiael>
strange... but thanks
<adrien>
you need to recompile whatever is said to make inconsistent assumptions
<adrien>
so it can magically start to work ;-)
ymasory has quit [Quit: Leaving]
mnabil has quit [Ping timeout: 276 seconds]
<thelema_>
Eiael: dependencies are tightly coupled to specific versions of a library. If you depend on a library in two places, and recompile that library, *both* children need to be recompiled.
<thelema_>
Eiael: this error just says that one of your children hasn't been recompiled yet
<adrien>
it's depressing how badly I express myself and how better others do :P
ymasory has joined #ocaml
tildedave has joined #ocaml
kakadu has quit [Remote host closed the connection]
kakadu has joined #ocaml
<thelema_>
adrien: slow answers are easier to give.
mnabil has joined #ocaml
mneedham has joined #ocaml
mneedham has quit [Client Quit]
<adrien>
probably ;-)
ulfdoz has quit [Ping timeout: 240 seconds]
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
dnolen has quit [Quit: dnolen]
kakadu has quit [Remote host closed the connection]
<adrien>
currently making C, and I find it much easier to get stack overflows
ocp1 has quit [Ping timeout: 240 seconds]
* thelema_
is struggling with juggling indexes for fortran and ocaml arrays - it's a pain using 1-based indexes for one and 0-based for the other
rossberg has quit [Ping timeout: 248 seconds]
rossberg has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
eikke has quit [Ping timeout: 240 seconds]
lopex has quit []
Yoric_ has joined #ocaml
joelr has quit [Quit: joelr]
Yoric has quit [Ping timeout: 240 seconds]
Yoric_ is now known as Yoric
mnabil has quit [Ping timeout: 240 seconds]
lopex has joined #ocaml
hto has quit [Ping timeout: 276 seconds]
ikaros has joined #ocaml
joelr has joined #ocaml
larhat has quit [Quit: Leaving.]
waern_ has quit [Quit: Page closed]
joelr has quit [Client Quit]
beauby has quit [Ping timeout: 240 seconds]
Yoric has quit [Ping timeout: 250 seconds]
Yoric has joined #ocaml
ocp has joined #ocaml
mnabil has joined #ocaml
Yoric has quit [Ping timeout: 250 seconds]
ulfdoz has joined #ocaml
Yoric has joined #ocaml
beauby has joined #ocaml
jderque has joined #ocaml
Yoric has quit [Ping timeout: 250 seconds]
Yoric has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
Yoric has quit [Quit: Yoric]
<robinnn>
hi
thomasga has quit [Quit: Leaving.]
mneedham has joined #ocaml
lopex has quit [Ping timeout: 252 seconds]
munga has quit [Read error: Operation timed out]
sku has joined #ocaml
eye-scuzzy has quit [Ping timeout: 248 seconds]
mnabil has quit [Ping timeout: 252 seconds]
olauzon has joined #ocaml
mnabil has joined #ocaml
fraggle_ has quit [Quit: -ENOBRAIN]
fraggle_ has joined #ocaml
joelr has joined #ocaml
joelr has quit [Client Quit]
philtor has joined #ocaml
ftrvxmtrx has joined #ocaml
ocp has quit [Ping timeout: 240 seconds]
ocp1 has joined #ocaml
jamii has joined #ocaml
<jamii>
I'm going to assume that the github traffic stats include robots
<sheets>
Can you type a module with a closed polymorphic variant val type but with an open, known subtype? Is it possible to write a functor that accepts a Map module with keys including a known set of polymorphic variants?
joelr has joined #ocaml
<thelema_>
sheets: sig type 'a t constraint 'a = [> `Foo | `Bar] end
<thelema_>
I don't know if this worked for the last person i suggested it to, let me know if it works for you
<sheets>
thelema_: then that 'a runs around
<thelema_>
yes, there's no way to get rid of the 'a
<sheets>
and I think I was the last person :-P a couple days ago in here asking something similar
<thelema_>
sorry if I didn't recall.
<sheets>
so you can never make a Map with a polyvar key where you know only some of the tags?
<sheets>
even though all tags would be known later?
<thelema_>
not functorized.
<thelema_>
if you know all the tags later, just use that as the functor parameter
<sheets>
Ok, but I know some of the later tags now, too
<sheets>
I'd like to use concrete tags in the functor and have the provided module parameter include closed polyvars that conform to [> `Sometag ]
<sheets>
Or does this just get magically inferred?
<thelema_>
why? why not instantiate the Map when you know the type?
<sheets>
I will instantiate the Map when I know the type but I'd only like Maps that can use `Sometag in their keys so I can write generic code that uses `Sometag to manipulate the Map
<sheets>
Is there some other way to get this behavior? I'd rather not fall back to strings-as-keys or hash tables
<sheets>
or have I made some fundamental error and am trying to put a round peg in a square hole?
<sheets>
aha ok. thanks for the tip, I will investigate. :-)
<thelema_>
both objects and polymorphic variants don't mix well with functors
<sheets>
Yes, they barely mix well with themselves. :-P
ymasory has quit [Quit: Leaving]
<sheets>
thelema_: unfortunately BatMap has a whole lot of dependencies in the rest of batteries (batenum, batmonad, etc). So I don't think I can use it. :-/
<thelema_>
You should be able to excise those pieces of code pretty easily
<thelema_>
The core doesn't have any dependencies
<thelema_>
it just uses those other pieces of code for convenience functions
<thelema_>
anyway, gotta go. let me know how it turns out.
<sheets>
hmm ok thanks, ttyl
dcolish has joined #ocaml
joelr has quit [Quit: joelr]
<dcolish>
so I'm having trouble boot strapping some xapian bindings for ocaml which uses swig to generate the wrappers. I am getting an error that a matching function cannot be found, but i can see the function exists
edwin has quit [Remote host closed the connection]
<dcolish>
anyone have experience with swig and ocaml?
DimitryKakadu has quit [Remote host closed the connection]
ymasory has joined #ocaml
Yoric has quit [Quit: Yoric]
mnabil has quit [Ping timeout: 252 seconds]
mcclurmc_home has quit [Ping timeout: 250 seconds]
mnabil has joined #ocaml
boscop has joined #ocaml
Amorphous has quit [Ping timeout: 260 seconds]
boscop has quit [Ping timeout: 250 seconds]
olauzon has quit [Quit: olauzon]
ikaros has quit [Quit: Leave the magic to Houdini]