<j0sh>
i have a package (ocaml-redis) that is functorized between sync/async versions, and i'd like to be able to use either one from my own module
<j0sh>
but i'm not sure how to specify the type signature for that
ygrek has quit [Ping timeout: 252 seconds]
mcclurmc has quit [Ping timeout: 248 seconds]
<j0sh>
doing something like module My_module : (Redis : Redis.Client.Make(Redis.Make.IO)) : sig ... throws a syntax error, and i'm not having much luck with other/similar combinations
<ggole>
The syntax is (roughly) module Module : <module type>
<ggole>
But you have : twice
<j0sh>
ggole: yeah that was a typo, still errors out with My_module ( Redis : ...)
<j0sh>
the syntax is really, really confusing... sometimes i see the 'functor' keyword being used, sometimes it isn't, sometimes there is "module type of", sometimes "with type t = ...", etc
<ggole>
Yeah, modules are pretty complicated
<ggole>
module type is pretty simple: much like you can define a type with type foo = ..., you can define a module type with module type Foo = sig ... end
<ggole>
You can also *refer* to the type of an exisiting module. That's module type of Foo.
<j0sh>
how is that different from My_module ( F : Foo) ?
<ggole>
Well, functors are essentially functions from modules to modules
<ggole>
So their arguments *have* types, but they are not themselves types
<j0sh>
i've been reading through that part of RWO, yeah
<j0sh>
still not quite sure how to apply it to my case
<j0sh>
will try using the 'functor' keyword (which isn't used in the book)
<ggole>
The other form is essentially sugar for the functor syntax
<ggole>
In much the same way that let f a b = ... is sugar for let f = fun a b -> ...
<j0sh>
ah, okay
manizzle has joined #ocaml
watermind has quit [Remote host closed the connection]
dant3 has joined #ocaml
dant3 has quit [Read error: Operation timed out]
watermind has joined #ocaml
axiles has joined #ocaml
mcclurmc has joined #ocaml
yacks has quit [Quit: Leaving]
mcclurmc has quit [Ping timeout: 245 seconds]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
yacks has joined #ocaml
manud_ has joined #ocaml
zRecursive has joined #ocaml
dant3 has joined #ocaml
skchrko has quit [Ping timeout: 252 seconds]
dant3 has quit [Read error: Connection reset by peer]
dant3 has joined #ocaml
<gasche>
Drup: (**/**) is meant to stop ocamldoc from documenting a part of the interface
<gasche>
the (* Undocumented Functions *) comment below is a hint that this is voluntary
<gasche>
what's your problem exactly?
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
mcclurmc has joined #ocaml
adrien_o1w has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
adrien_oww has quit [Ping timeout: 272 seconds]
adrien_oww has joined #ocaml
adrien_o1w has quit [Ping timeout: 272 seconds]
Kakadu has joined #ocaml
skchrko has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
watermind has quit [Client Quit]
mika1 has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
watermind has joined #ocaml
agnoctone has joined #ocaml
dant3 has quit [Read error: Operation timed out]
ddosia has quit [Ping timeout: 272 seconds]
manizzle has quit [Ping timeout: 248 seconds]
Simn has joined #ocaml
ddosia has joined #ocaml
zRecursive has left #ocaml []
mort___ has joined #ocaml
<adrien>
wall of text \o/
ggole has quit [Ping timeout: 272 seconds]
ontologiae_ has joined #ocaml
zpe has joined #ocaml
FreeArtMan has joined #ocaml
ollehar has joined #ocaml
ollehar1 has joined #ocaml
<companion_cube>
o/
ggole has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
dant3 has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
mcclurmc has joined #ocaml
ontologiae_ has quit [Ping timeout: 245 seconds]
jonludlam has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
clan has quit [Quit: clan]
csakatoku has quit [Remote host closed the connection]
appleby has joined #ocaml
csakatoku has joined #ocaml
appleby has quit [Client Quit]
ollehar has quit [Quit: ollehar]
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 260 seconds]
csakatok_ has quit [Remote host closed the connection]
<gasche>
def-lkb: I have made some comments on the ocamllex patch, I think you can submit it
<gasche>
(once they are adressed, if possible)
_andre has joined #ocaml
_andre has quit [Read error: Connection reset by peer]
csakatoku has joined #ocaml
_andre has joined #ocaml
adrien_o1w has joined #ocaml
csakatoku has quit [Ping timeout: 245 seconds]
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
adrien_oww has quit [Ping timeout: 272 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
agnoctone has quit [Ping timeout: 245 seconds]
adrien_o1w is now known as adrien_oww
nikki93 has quit [Remote host closed the connection]
avsm has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
ollehar has joined #ocaml
talzeus has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 252 seconds]
skchrko_ has joined #ocaml
mcclurmc has joined #ocaml
skchrko_ has quit [Client Quit]
arjunguha has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
yacks has quit [Quit: Leaving]
siddharthv is now known as siddharthv_away
csakatoku has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
skchrko_ has joined #ocaml
skchrko_ has quit [Client Quit]
skchrko has quit [Remote host closed the connection]
skchrko has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
sw1nn has joined #ocaml
<Drup>
gasche: the fact that they are quite usefull do actually do stuff with streams ?
sw1nn has quit [Quit: leaving]
agnoctone has joined #ocaml
dant3 has quit [Remote host closed the connection]
skchrko has quit [Quit: Leaving]
skchrko has joined #ocaml
avsm has quit [Quit: Leaving.]
FreeArtMan has quit [Remote host closed the connection]
avsm has joined #ocaml
nikki93 has joined #ocaml
<hcarty>
gasche: Do you have any interest in looking at the GADT-using code I mentioned a week or few ago?
<companion_cube>
wow, gasche is so popular on this chan
<companion_cube>
:D
<bernardofpc>
jealous ?
avsm has quit [Ping timeout: 264 seconds]
<companion_cube>
no, I don't think so
nikki93 has quit [Ping timeout: 240 seconds]
manud_ has quit [Ping timeout: 272 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
dant3 has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
bjorkintosh has quit [Read error: Operation timed out]
csakatoku has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
ontologiae_ has joined #ocaml
arjunguha has joined #ocaml
AltGr has joined #ocaml
mort___ has joined #ocaml
<adrien_oww>
companion_cube: we can give you more work if you want
<companion_cube>
I'd rather give more work to hnrgrgr
nikki93 has joined #ocaml
<jpdeplaix>
:D
bjorkintosh has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nikki93 has quit [Ping timeout: 252 seconds]
mcclurmc has joined #ocaml
lopho has quit [Ping timeout: 272 seconds]
appleby has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
lopho has joined #ocaml
mort___ has quit [Ping timeout: 240 seconds]
appleby has quit [Quit: appleby]
darkf has quit [Quit: Leaving]
shinnya has joined #ocaml
ocp has joined #ocaml
sw1nn has joined #ocaml
arjunguha has joined #ocaml
demonimin has quit [Remote host closed the connection]
dant3 has quit [Remote host closed the connection]
appleby has joined #ocaml
kaustuv has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
<Drup>
gasche: I'm not sure what to answer to the question "show me the bench" except "see the lilis stack". Do you want a detailed answer for what to look at ?
watermind has quit [Quit: Konversation terminated!]
<adrien>
I can't load any page :D
watermind has joined #ocaml
<companion_cube>
there must be a tutorial on your computer if listings is installed
<Drup>
use verb in the meantime then x)
<companion_cube>
s/must/may/
<adrien>
and fragile didn't help; I can't get it to compile as soon as I \begin{verbatim}...\end{verbatim}
watermind has quit [Client Quit]
watermind has joined #ocaml
<bernardofpc>
\lstinputlisting[style=latex]{\verbatim@file} -> I used this a long time ago
<bernardofpc>
(this requires splitting the source code to extra files, but it's cleaner, at least for me)
<bernardofpc>
\begin{frame}[containsverbatim] -> maybe also this ?
<bernardofpc>
Ths \lstinput... comes inside a block
caseyjames has joined #ocaml
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
jonludlam has joined #ocaml
tianon has quit [Read error: Connection reset by peer]
tianon has joined #ocaml
<caseyjames>
I'm getting a 'The following recquired C libraries are missing: libffi.' when opam installing ctypes. I've set the paths as described, but no dice. Any ideas?
<erider>
hey is batteries.pa_comprehension a package inside batteries?
nikki93 has joined #ocaml
<johnelse>
caseyjames: you'll probably have to install libffi outside opam (e.g. via your distro's package manager)
<caseyjames>
i built it manually, as I had a number of targets to build for. The library is there, but it's not wanting to see it. Is there a verbose install option?
nikki93 has quit [Ping timeout: 245 seconds]
shinnya has quit [Ping timeout: 245 seconds]
<johnelse>
hmm...you can try "opam install -v"
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
<caseyjames>
johnelse: seem to be the same output. I keep looking around
mmachenry has quit [Quit: Leaving.]
Kakadu has quit [Quit: Page closed]
ocp has quit [Quit: Leaving.]
mort___ has quit [Ping timeout: 260 seconds]
agnoctone has quit [Quit: Page closed]
sw1nn has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
<mrvn>
Where does ocaml allocate the proxy object for a bigarray?
AltGr has left #ocaml []
AltGr has joined #ocaml
AltGr has left #ocaml []
AltGr has joined #ocaml
<ggole>
proxy object?
<mrvn>
yes
<mrvn>
struct caml_ba_proxy
clan has joined #ocaml
<gasche>
erider: pa_comprehension is now packaged separately
clan has quit [Client Quit]
<erider>
gasche what about pa_strings
<gasche>
thomasga: I don't have the rights to close PRs on github/ocaml/ocaml, would you close PR#5?
<gasche>
erider: batteries 2.0 doesn't have any syntax extension included
<erider>
oh
<gasche>
people hated them before they became all the rage in these last 6 months
<mrvn>
ggole: so not on the ocaml heap then. Bummer. I need to add a finalizer to it
mmachenry has joined #ocaml
<ggole>
:(
jonludlam has quit [Remote host closed the connection]
Xenasis_ has joined #ocaml
<Xenasis_>
Getting an odd error with opam on a recent install on Arch, anyone know what's up?
<Xenasis_>
'opam update' failed.
<Xenasis_>
Fatal error:
<Xenasis_>
End_of_file
<Xenasis_>
Getting this with pretty much all commandsd
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Xenasis_>
*commnads
<Xenasis_>
opam init does work, but it doesn't seem to init properly
<Xenasis_>
I get a standardDo you want OPAM to modify ~/.config/fish/config.fish and ~/.ocamlinit?
<Xenasis_>
(default is 'no', use 'f' to name a file other than ~/.config/fish/config.fish)
appleby has joined #ocaml
<Xenasis_>
(I type "y", but opam init gives me the same thing next time, and it didn't really do anything o.o)
<Xenasis_>
anyone know what's up?
nikki93 has joined #ocaml
mort___ has quit [Quit: Leaving.]
mmachenry has quit [Ping timeout: 260 seconds]
<Xenasis_>
(I should mention, I'm on ARch)
nikki93 has quit [Ping timeout: 260 seconds]
<ggole>
You could try OCAMLRUNPARAM="b" opam update
<ggole>
I'm not sure if opam is built with debugging on, though.
<ggole>
(That will still fail, but it will give you a backtrace.)
sagotch has quit [Quit: Page closed]
<Xenasis_>
hmm
<Xenasis_>
Didn't work unfortunately
<ggole>
Didn't work as in "program not linked with -g"?
<Xenasis_>
It didn't say that, no o.o
<gasche>
Drup: I don't understand
<Xenasis_>
hmm
<Drup>
gasche: ?
<gasche>
in my book "37 +- 0.2s" means "37 seconds, with a 0.2s confidence radius"
<gasche>
that's *slower* than 2.42 +- 0.002s
<gasche>
what's this shitty notation?
<rks`>
gasche: I refrain myself of answering on github (seeing your comment on the other PR)
<rks`>
but you missed the first question of my comment
<rks`>
namely: « why is '_a disallowed? »
<Drup>
gasche: /s, not s
<Drup>
it's a rate
<rks`>
imho that would be a credible alternative to the current use of 'a
<Drup>
(hint : the column header is "Rate")
<rks`>
(which you said there iscurrently no alternative to)
<gasche>
ah
<gasche>
I missed the /
<Drup>
gasche: also, you can read my email on the batteries ml about the whole subject :p
<gasche>
rks`: given 'a has always meant flexible variables, why would people have introduced '_a to mean the exact same thing?
<mrvn>
gasche: '_a means some time, not any type.
<mrvn>
s/time/type/
<gasche>
rks`: go read the least caml-list discussion on that topic with Roberto
<rks`>
gasche: because there are plenty of mails on the caml list showing that newcomers don't understand the current semantics
<rks`>
hinting that it could be a good idea to change that
<gasche>
you'll see that it's still a pretty controversial issue
<rks`>
even though people have been using them that way for 20 years
<rks`>
ah?
<rks`>
hm
<rks`>
yes I followed the thread
<Drup>
gasche: do you want me to clarify the bench protocole ?
<Drup>
it's not really complicated but, well
<gasche>
I haven't looked at the benchmark code
<gasche>
(if it is available from the mailing-list discussion)
<Drup>
it's in lilis
<gasche>
you should add a link somewhere
<gasche>
to the actual benchmark code
<Drup>
ok
<gasche>
rks`: I think we agree, but my remark that this is currently not applicable without limitations still stands
<gasche>
which is why I suggested to ("also" or "first") allow '_a in my first post
<rks`>
I didn't understand it that way, sorry :)
<Drup>
not sure it will satisfy you, since it's not minimal at all, it's pretty much equivalent to "apply the lilis functor on each module and compare the time for each to complete on lsystem X, Y and Z"
thomasga has joined #ocaml
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
mmachenry has joined #ocaml
Kakadu has joined #ocaml
arjunguha has joined #ocaml
adrien_oww has quit [Ping timeout: 272 seconds]
Xenasis_ has left #ocaml []
thomasga has quit [Quit: Leaving.]
sw1nn is now known as sw1nn|away
skchrko has joined #ocaml
nikki93 has joined #ocaml
appleby has quit [Quit: appleby]
oliver117 has joined #ocaml
nikki93 has quit [Ping timeout: 245 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
<j0sh>
how do i functorize my module with the type of another functor?
<j0sh>
hm, i'm not sure how to apply that to my code
<gasche>
it's a module parametrized over a functor
<gasche>
not over the signature of a functor
<j0sh>
ocaml-redis has a type of Redis.Client.Make (IO : Redis.Make.IO)
<def-lkb>
gasche: you should name the module, it's module NAME (F : functor …) = struct … end
<gasche>
yeah
<gasche>
module M (F : functor (X : sig type t end) -> sig val x : X.t end) : sig val x : int end = struct module M = F(struct type t = int end) let x = M.x end;;
<j0sh>
ocaml-redis takes sync/async versions, i'd like my module to take either
<gasche>
j0sh: you can just define your module as a functor on Redis.Make.IO
<gasche>
and instantiate Redis.Client.Make underneath
<def-lkb>
(well it's just a typo :), but its better to prevent the error)
<gasche>
I did that for Macaque (which uses PG'OCaml, parametrized over a Lwt-like monad)
<gasche>
anyway
<gasche>
leaving for dinner
<j0sh>
let me digest that
sw1nn|away is now known as sw1nn
manizzle has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Client Quit]
mort___ has joined #ocaml
mmachenry has quit [Quit: Leaving.]
<j0sh>
gasche: your suggestion worked, thanks a lot
mmachenry has joined #ocaml
mreca has joined #ocaml
<j0sh>
ggole: and thanks for the explanation on module types earlier. i understand them better now
mmachenry has quit [Client Quit]
_andre has quit [Quit: leaving]
<ggole>
Glad I could help.
sw1nn is now known as sw1nn|away
sw1nn|away is now known as sw1nn
ontologiae_ has quit [Ping timeout: 272 seconds]
mmachenry has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
nikki93 has joined #ocaml
ggole has quit []
avsm has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
mmachenry has quit [Quit: Leaving.]
mmachenry has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
avsm has quit [Quit: Leaving.]
nikki93 has joined #ocaml
Yoric has joined #ocaml
nikki93 has quit [Remote host closed the connection]
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
appleby has joined #ocaml
mcclurmc has joined #ocaml
malvarez has joined #ocaml
mcclurmc has quit [Ping timeout: 265 seconds]
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ollehar1 has quit [Ping timeout: 265 seconds]
metasyntax has quit [Quit: Leaving]
appleby has quit [Quit: appleby]
AltGr has joined #ocaml
nikki93 has joined #ocaml
malvarez has quit [Ping timeout: 248 seconds]
appleby has joined #ocaml
mcclurmc has joined #ocaml
appleby_ has joined #ocaml
Kakadu has quit []
mcclurmc has quit [Ping timeout: 265 seconds]
appleby has quit [Ping timeout: 265 seconds]
appleby_ is now known as appleby
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
bholst has quit [Quit: No Ping reply in 180 seconds.]
bholst has joined #ocaml
mmachenry has quit [Quit: Leaving.]
bjorkintosh has quit [Quit: Leaving]
appleby has quit [Quit: appleby]
lostcuaz has joined #ocaml
malvarez has joined #ocaml
appleby has joined #ocaml
mmachenry has joined #ocaml
mmachenry has quit [Read error: Connection reset by peer]
mmachenry1 has joined #ocaml
appleby has quit [Quit: appleby]
appleby has joined #ocaml
caseyjames has quit [Quit: Page closed]
mmachenry1 has quit [Quit: Leaving.]
as_ has joined #ocaml
mmachenry has joined #ocaml
nlucaroni has left #ocaml []
as_ has quit [Client Quit]
as_ has joined #ocaml
as_ has quit [Client Quit]
avsm has joined #ocaml
as has joined #ocaml
as has quit [Client Quit]
mcclurmc has joined #ocaml
axiles has quit [Quit: Quitte]
mcclurmc has quit [Ping timeout: 265 seconds]
malvarez has quit [Remote host closed the connection]
AltGr has left #ocaml []
Yoric has quit [Ping timeout: 265 seconds]
<orbitz>
what is the proper way to install a binary for a pcakge installed with opam?
ontologiae_ has joined #ocaml
mcclurmc has joined #ocaml
saml has quit [Quit: Leaving]
sagotch has joined #ocaml
nisstyre has joined #ocaml
Sim_n has joined #ocaml
Simn has quit [Ping timeout: 252 seconds]
ohama has quit [Remote host closed the connection]
sagotch has quit [Ping timeout: 245 seconds]
appleby has quit [Quit: appleby]
nikki93 has quit []
ollehar has quit [Ping timeout: 245 seconds]
bjorkintosh has joined #ocaml
mgaogw has joined #ocaml
<mgaogw>
How do I define a module in a .ml file? And then import it into another file? I'm trying to use ocamllex right now and my main file can't find lexer :(
manud_ has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mmachenry has quit [Quit: Leaving.]
<bernardofpc>
your file.ml becomes File as a module
manud_ has quit [Ping timeout: 252 seconds]
mmachenry has joined #ocaml
darkf has joined #ocaml
mmachenry has quit [Client Quit]
mmachenry has joined #ocaml
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ontologiae_ has quit [Ping timeout: 252 seconds]
iZsh has quit [Ping timeout: 245 seconds]
iZsh has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 260 seconds]
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
mcclurmc has joined #ocaml
mgaogw has quit [Quit: mgaogw]
mcclurmc has quit [Ping timeout: 265 seconds]
mgaogw has joined #ocaml
jao` has quit [Ping timeout: 245 seconds]
<covi>
What's a good syntax for nested helper functions inside a function? I found myself writing a lot of 'let ... in''s