<dmbaturin>
Algebr: Substantial part of Unix works on windows too.
<dmbaturin>
Also, I think it would be nice if it was easier to build GUI apps. ;)
<Algebr>
it seems that only lablgtk is a maintained gui toolkit for ocaml.
waneck has joined #ocaml
<Algebr>
what does the prefix labl mean
<dmbaturin>
There once was a fork called lablcaml or something like that, where labeled argument support was added. Maybe lablgtk was originally written for it, before it was merged into mainline.
jeffmo has quit [Read error: Connection reset by peer]
<Algebr>
lots of packages have labl though,
<dmbaturin>
Drup: Yesterday someone asked if it's possible to get the peer address when using Lwt_io.establish server? Looks like not, or I'm missing something?
ollehar has quit [Read error: Connection reset by peer]
dubosec has joined #ocaml
Algebr has quit [Ping timeout: 244 seconds]
ollehar has joined #ocaml
<Drup>
dmbaturin: no idea
tnguyen has joined #ocaml
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
tmtwd_ has joined #ocaml
mcclurmc_ has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
pyon has joined #ocaml
emanuelz has joined #ocaml
gabemc has joined #ocaml
emanuelz has quit [Quit: emanuelz]
labichn has joined #ocaml
jonludlam has quit [Ping timeout: 252 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
Algebr has joined #ocaml
capt_redbeard has joined #ocaml
<capt_redbeard>
Hello! I am just learning OCaml, and I wanted to use the ExtLib library. I installed it via OPAM, but I am still not able to open the Std module. I get “Error: Unbound module Std” There is also quite a lack of documentation, so I am not sure the best place to go for help. Also, running on Mac OSX.
BitPuffin|osx has joined #ocaml
<dmbaturin>
capt_redbeard: Did you #require the library (if in the REPL) or link it (in the code)?
<capt_redbeard>
dmbaturin: I probably did not link it. Is that a flag I pass to ocamlc?
tmtwd_ has quit [Ping timeout: 250 seconds]
<dmbaturin>
capt_redbeard: The easiest way is to use findlib. ocamlfind ocamlc -package <package name> -linkpkg -o prog prog.ml
<capt_redbeard>
Wow that worked perfect. Thank you! Is that in the documentation anywhere? If not, it hsould be
<companion_cube>
man, this regression on ppx_deriving is annoying
<flux>
?
<companion_cube>
4.02.2 breaks ppx_deriving
<flux>
oh
<flux>
well I suppose I won't be updating then :)
<companion_cube>
or rather, it breaks the annotations that allow to tune ppx_deriving's behavior
<flux>
so 4.02.2 is the one breaking in a way that needs to be fixed in the compiler?
<flux>
it sounds like it could be a nice idea to actually try out the rc's before the actual release comes 8-)
<flux>
but, off to home
<flux>
long weekend ahead!
<companion_cube>
well, I did try some stuff, but apparently not my programs that use ppx_deriving
<companion_cube>
hmmm OWS doesn't list ppx_deriving
idegen has joined #ocaml
jefus has joined #ocaml
<maufred_>
Hi folks, I'm requesting your help.
<maufred_>
I'm having trouble getting the last update of ocaml-redis works again in my code (https://github.com/0xffea).
<maufred_>
Before the refactoring module work, I had a function that returns "string option Redis_sync.IO.t" and after the update it returns "string option Redis.Redis_sync.Client.IO.t".
<maufred_>
Then in my code I get this error message : This pattern matches values of type 'a option but a pattern was expected which matches values of type string option Redis.Redis_sync.Client.IO.t = string option Redis.Redis_sync.IO.t
<maufred_>
Does anyone have an idea ?
sepp2k has quit [Quit: Leaving.]
<octachron>
maufred_: it sounds strange that you are matching an option over a IO.t. Shouldn't you bind or run your IO action first?
<maufred_>
octachron: hm, I'm sorry I don't understand
<octachron>
I don't know ocaml-redis api, but from the type signature IO.t looks like an encapsulated IO result
<companion_cube>
maufred_: you have a foo option IO.t, but you match again Some _ | None
<octachron>
So, you should first extract your result from the io encapsulation
<maufred_>
OK !
<companion_cube>
no, wait: it's because on the one hand you have Redis.Redis_sync.IO.t, and on the other one, Redis.Redis_sync.Client.IO.t
<companion_cube>
and the typer cannot infer that both types are equal
<companion_cube>
( I don't even know if those types are equal)
<octachron>
doesn't this line "which matches values of type string option Redis.Redis_sync.Client.IO.t = string option Redis.Redis_sync.IO.t" indicate that they are equal?
Denommus has joined #ocaml
<maufred_>
OK, so before I update the lib, this was working, after the IO work of the lib and my upgrade it is not. I supposed the type is unchanged so I need to tell the types are equal ?
<octachron>
ok, it looks like there was an abstraction leaks in earlier version. Try to add a "Redis_sync.IO.run" to extract your option from IO.t
ceryo has joined #ocaml
<maufred_>
octachron: OK I'm doing it now and keeps you up to date ! Thx
monoprotic has joined #ocaml
monoprotic has quit [Changing host]
monoprotic has joined #ocaml
beginnger has joined #ocaml
jeroldhaas has quit [Quit: Leaving]
<maufred_>
octachron companion_cube : thx to both of you. After "Redis_sync.IO.run" the error disapeared !
<maufred_>
thx very much !
<beginnger>
is there a performance penalty when using classes?
<companion_cube>
beginnger: hmmmm, there is a small cost for method call
<companion_cube>
octachron: oh btw, your orec thing is pretty twisted
<beginnger>
companion_cube: and besides that, any downsides with classes?
<companion_cube>
mostly two: 1/ type errors are tough 2/ few people use the object part of OCaml
<ggole>
You can get a long way without using objects at all
rwmjones has quit [Ping timeout: 252 seconds]
nullcat_ has quit [Quit: gone...]
maufred_ has quit [Ping timeout: 255 seconds]
<beginnger>
modules is generally the prefered way, but are there cases where classes facilitate a case?
maufred has joined #ocaml
<octachron>
companion_cube: Thanks.? It was quite fun to write (and it worked quite well with my specific use case)
<companion_cube>
beginnger: if you need dynamic dispatch and inheritance, or open recursion, yes
<companion_cube>
most of the time it's not very useful
rwmjones has joined #ocaml
bezirg has joined #ocaml
<beginnger>
companion_cube: isnt it possible to recreate inheritance with a functor?
<companion_cube>
maybe, I have no idea
<companion_cube>
I rarely need inheritance
Kakadu has quit [Ping timeout: 246 seconds]
lupine has quit [Max SendQ exceeded]
<dsheets>
beginnger, sort of, you only get shadowing, though, not dynamic binding/open recursion
lupine has joined #ocaml
sspi has joined #ocaml
lupine has quit [Ping timeout: 256 seconds]
kushal has joined #ocaml
<beginnger>
dsheets> is dynamic binding the reason for slower execution?
<dsheets>
beginnger, yes, method calls are indirected
tjscanlon has joined #ocaml
shinnya has joined #ocaml
beginnger has quit [Quit: Page closed]
yomimono has joined #ocaml
yomimono has quit [Ping timeout: 255 seconds]
slash^ has joined #ocaml
Denommus has quit [Ping timeout: 265 seconds]
mengu has quit []
yomimono has joined #ocaml
bezirg has left #ocaml [#ocaml]
BitPuffin has joined #ocaml
jonludlam has quit [Ping timeout: 264 seconds]
whirm has quit [Quit: WeeChat 1.2]
jonludlam has joined #ocaml
ollehar1 has joined #ocaml
obadz has joined #ocaml
walter|r has joined #ocaml
walter|r has quit [Remote host closed the connection]
ollehar1 has quit [Ping timeout: 244 seconds]
walter|r has joined #ocaml
walter|r has quit [Ping timeout: 264 seconds]
darkf has quit [Quit: Leaving]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
yomimono has quit [Ping timeout: 250 seconds]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
freling has joined #ocaml
Gama11 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
dubosec has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
MrScout has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
dubosec has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
hay207 has quit [Quit: Leaving]
MercurialAlchemi has joined #ocaml
jonludlam has quit [Ping timeout: 264 seconds]
systmkor has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
dbohdan has quit [Ping timeout: 244 seconds]
qlai has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
octachron has quit [Quit: Leaving]
dbohdan has joined #ocaml
dsheets has quit [Ping timeout: 264 seconds]
jonludlam has joined #ocaml
agarwal1975 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
jwatzman|work has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
tane has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
jonludlam has quit [Ping timeout: 264 seconds]
gabemc has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
thomasga has quit [Quit: Leaving.]
MercurialAlchemi has joined #ocaml
Anarchos has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
freling has quit [Quit: Leaving.]
kushal has quit [Ping timeout: 246 seconds]
MercurialAlchemi has joined #ocaml
kdas_ has joined #ocaml
kdas_ has quit [Read error: Connection reset by peer]
kushal has joined #ocaml
rand000 has quit [Ping timeout: 250 seconds]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
hay207 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
MercurialAlchemi has joined #ocaml
Denommus has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
srenatus has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has joined #ocaml
tmtwd has joined #ocaml
BitPuffin has quit [Ping timeout: 256 seconds]
MercurialAlchemi has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
zpe has joined #ocaml
tjscanlon has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
emanuelz has joined #ocaml
djellemah has quit [Quit: Leaving]
psy_ has joined #ocaml
<cmtptr>
let's just make a universal bytecode for all languages and platforms already
<cmtptr>
isn't that what llvm was supposed to be?
MercurialAlchemi has quit [Ping timeout: 264 seconds]
<ggole>
No
<nicoo>
cmtptr: Nope
<cmtptr>
oh
<ia0>
llvm is not a bytecode from what I know
<cmtptr>
it's not now
<ggole>
LLVM IR is just a compiler IR
<cmtptr>
didn't it start out as a vm though?
MercurialAlchemi has joined #ocaml
<ggole>
It's not a VM or abstraction layer or anything like that
<ggole>
As for a universal IR, that's an ancient idea that never worked out.
<flux>
LLVM IR is more close to bytecode than WASM, which is an AST
<Anarchos>
Denommus the problem is that source code of pages will now be hidden, as they tried at the beginning of the internet, to monetize the creation of pages.
rand000 has joined #ocaml
Denommus` has joined #ocaml
<flux>
no more hidden than obfuscated javascript?
<tane>
at least one can still block spam :)
Denommus has quit [Ping timeout: 265 seconds]
Denommus` is now known as Denommus
MercurialAlchemi has quit [Ping timeout: 272 seconds]
zpe has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
slash^ has left #ocaml [#ocaml]
MercurialAlchemi has joined #ocaml
slash^ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
ygrek has joined #ocaml
swgillespie has joined #ocaml
freling has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
freling has quit [Read error: Connection reset by peer]
freling has joined #ocaml
MercurialAlchemi has joined #ocaml
matason has quit []
MercurialAlchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
Hannibal_Smith has joined #ocaml
rgrinberg has joined #ocaml
ggole has quit []
MercurialAlchemi has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
kdas_ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 245 seconds]
jwatzman|work has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
kushal has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
jwatzman|work has quit [Client Quit]
jwatzman|work has joined #ocaml
gabemc has quit [Ping timeout: 256 seconds]
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
matason has joined #ocaml
Haudegen has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 246 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
MercurialAlchemi has joined #ocaml
Stany has joined #ocaml
Tamae has quit [Ping timeout: 246 seconds]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
jeffmo has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
nullcat has joined #ocaml
manizzle has joined #ocaml
MercurialAlchemi has joined #ocaml
kdas_ has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
slash^ has quit [Read error: Connection reset by peer]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
jwatzman|work has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
jeffmo has quit [Quit: jeffmo]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
Algebr has joined #ocaml
MercurialAlchemi has joined #ocaml
freling has quit [Quit: Leaving.]
qlai has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
Algebr has quit [Remote host closed the connection]
jonludlam has joined #ocaml
MercurialAlchemi has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
dbohdan has quit [Ping timeout: 256 seconds]
jwatzman|work has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 264 seconds]
Algebr has joined #ocaml
Kakadu has joined #ocaml
qlai has quit []
<Algebr>
I'm wondering about >>= and the constructors used for it. say we have something like type ('a, 'b, 'c) foo = Left of 'a | Center of 'b | Right of 'c. Would >>= make sense for foo or is >>= always designed for ADT of just two constructors?
Mercuria1Alchemi has joined #ocaml
MrScout has quit [Ping timeout: 256 seconds]
mengu has joined #ocaml
dbohdan has joined #ocaml
<smondet>
Algebr: nothing forbids that. Then if you want `>>=` to mean exactly "Monad.bind" then check-out monad rules and verify that you respect them. But in the end the real question is: "Is the infix operator going to harm or improve readability?"
MercurialAlchemi has quit [Ping timeout: 256 seconds]
lobo has joined #ocaml
MercurialAlchemi has joined #ocaml
<S11001001>
Algebr: in this case, it shouldn't be possible to make an invalid >>=, provided you've given it the correct type.
<S11001001>
Algebr: "invalid" meaning "breaks the monad rules", which I assume is the rubric you've chosen.
<Algebr>
right
<Algebr>
so its not like a convention of just two constructors?
<S11001001>
Algebr: no
<S11001001>
Algebr: ...it's not.
<S11001001>
bloody english
BitPuffin has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 264 seconds]
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
Mercuria1Alchemi has quit [Ping timeout: 252 seconds]
MercurialAlchemi has joined #ocaml
dubosec has quit [Ping timeout: 256 seconds]
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 245 seconds]
Mercuria1Alchemi has quit [Ping timeout: 252 seconds]
swgillespie has joined #ocaml
rgrinberg has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
BitPuffin has quit [Ping timeout: 256 seconds]
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
tane has quit [Quit: Verlassend]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
MrScout has joined #ocaml
Algebr has quit [Read error: Connection reset by peer]
matason has quit [Ping timeout: 276 seconds]
_andre has quit [Quit: leaving]
obadz has quit [Ping timeout: 245 seconds]
obadz has joined #ocaml
sh0t has joined #ocaml
rgrinberg has joined #ocaml
Algebr has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
sh0t has quit [Ping timeout: 256 seconds]
obadz has quit [Ping timeout: 244 seconds]
obadz has joined #ocaml
dtscode has joined #ocaml
dtscode is now known as Guest51359
Guest51359 has quit [Client Quit]
jonludlam has quit [Remote host closed the connection]
tmtwd has quit [Ping timeout: 250 seconds]
jonludlam has joined #ocaml
agarwal1975 has quit [Quit: Connection closed for inactivity]
milosn_ has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
Algebr has quit [Ping timeout: 256 seconds]
milosn_ is now known as milosn
mengu has quit [Remote host closed the connection]
agent_dtscode has quit [Quit: ZNC - 1.6.0 - http://znc.in]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mint_ has joined #ocaml
mint_ is now known as dtscode
Gama11 has quit [Read error: Connection reset by peer]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
lobo has quit [Quit: leaving]
ygrek_ has joined #ocaml
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ygrek has quit [Ping timeout: 264 seconds]
mengu has joined #ocaml
MrScout has quit [Remote host closed the connection]
Cyanure has quit [Remote host closed the connection]
Simn has quit [Quit: Leaving]
mengu has quit [Ping timeout: 252 seconds]
BitPuffin has joined #ocaml
Kakadu has quit [Remote host closed the connection]
sgnb has quit [Ping timeout: 256 seconds]
amnn has joined #ocaml
amnn has quit [Read error: Connection reset by peer]
amnn has joined #ocaml
thomasga has joined #ocaml
xaimus has quit [Ping timeout: 264 seconds]
Intensity has quit [Ping timeout: 244 seconds]
sivoais has quit [Ping timeout: 256 seconds]
xaimus has joined #ocaml
ygrek_ has quit [Ping timeout: 272 seconds]
sivoais has joined #ocaml
swgillespie has joined #ocaml
marienz has quit [Ping timeout: 608 seconds]
dbohdan has quit [*.net *.split]
hay207 has quit [*.net *.split]
maufred has quit [*.net *.split]
srcerer has quit [*.net *.split]
cdidd has quit [*.net *.split]
contempt has quit [*.net *.split]
_obad_ has quit [*.net *.split]
haesbaert has quit [*.net *.split]
vbmithr has quit [*.net *.split]
theblatte has quit [*.net *.split]
fold has quit [*.net *.split]
mlen has quit [*.net *.split]
fds has quit [*.net *.split]
mietek has quit [*.net *.split]
swgillespie has quit [Client Quit]
sh0t has joined #ocaml
_obad_ has joined #ocaml
maufred has joined #ocaml
haesbaert has joined #ocaml
fold has joined #ocaml
dbohdan has joined #ocaml
theblatte has joined #ocaml
contempt has joined #ocaml
fds has joined #ocaml
cdidd has joined #ocaml
hay207 has joined #ocaml
mlen has joined #ocaml
mietek has joined #ocaml
vbmithr has joined #ocaml
hay207 has quit [Quit: Leaving]
swgillespie has joined #ocaml
BitPuffin has quit [Ping timeout: 264 seconds]
ceryo has joined #ocaml
ygrek_ has joined #ocaml
dtscode is now known as agent_dtscode
<seliopou>
In js_of_ocaml, how are you supposed to use the Js.Unsafe.global object?
<seliopou>
I keep seeing examples like Js.Unsafe.global##some_id but I keep getting compiler errors when trying that
<seliopou>
whoops, nevermind. syntax extension
madroach has quit [Ping timeout: 264 seconds]
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
madroach has joined #ocaml
ceryo has joined #ocaml
ceryo has quit [Client Quit]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
systmkor has quit [Quit: Leaving]
swgillespie has quit [Client Quit]
tmtwd has joined #ocaml
jonludlam has quit [Ping timeout: 252 seconds]
tjscanlon has quit [Quit: My Mac has gone to sleep. ZZZzzz…]