zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
ryanartecona has quit [Quit: ryanartecona]
AlexDeni_ has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
wtetzner has quit [Remote host closed the connection]
AlexDenisov has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Remote host closed the connection]
pyx has joined #ocaml
pyx has quit [Client Quit]
AlexDenisov has joined #ocaml
Simn has quit [Quit: Leaving]
jlongster has joined #ocaml
smondet has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Ping timeout: 252 seconds]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AlexDenisov has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Remote host closed the connection]
snhmib has quit [Read error: Connection reset by peer]
AlexDenisov has joined #ocaml
NJBS has quit [Quit: Catastrophic failure.]
wu_ng has quit [Ping timeout: 260 seconds]
AlexDenisov has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
noddy has joined #ocaml
AlexDenisov has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
fraggle_ has quit [Ping timeout: 246 seconds]
snhmib has joined #ocaml
fraggle_ has joined #ocaml
AlexDenisov has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
mfp has quit [Ping timeout: 246 seconds]
AlexDenisov has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
jao has quit [Ping timeout: 256 seconds]
AlexDenisov has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
wu_ng has joined #ocaml
snhmib has quit [Ping timeout: 252 seconds]
<cheater>
hey guys
<cheater>
if i'm in the Lwt monad and i just want to printf, what's the best way to do that?
<average>
cheaterman
<average>
bl-bl-bl-bl?
<average>
cheater: ?
<cheater>
doing something like printf "foo" <&> my_lwt_action, ocaml says: Error: This expression has type unit but an expression was expected of type unit t
<aantron>
you could also do a regular printf followed by Lwt.return_unit, if this is just some temporary print
<cheater>
hmm, how would i tell ocaml i want to use that printf and not the one ocaml provides?
<cheater>
oh, i was trying Lwt.printf but Lwt_io.printf worked
copy` has joined #ocaml
<cheater>
does Lwt.printf support %a and pretty-printers?
<cheater>
because it doesn't seem it does
snhmib has joined #ocaml
<cheater>
so currently i have code that looks like this: let () = printf "foo: %a" pp_foo my_foo in my_lwt_action, and i tried replacing it with: Lwt_io.printf "foo: %a" pp_foo my_foo <&> my_lwt_action
<cheater>
also i tried to use >>= fun () -> instead of <&> and that hasn't worked either.
<cheater>
i'm a bit confused
zirman has quit [Remote host closed the connection]
<aantron>
im assuming it should, since it is implemented using the Printf module internally
<aantron>
perhaps you should say what you mean by "hasn't worked"
<cheater>
so i get an error like this
<cheater>
Error: This expression has type formatter -> My_module.key -> unit but an expression was expected of type unit -> 'a -> string Type formatter is not compatible with type unit
<cheater>
actually that should be on three lines, thanks irssi
average has quit [Remote host closed the connection]
average has joined #ocaml
rgrinberg has joined #ocaml
AlexDenisov has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
ygrek_ has quit [Ping timeout: 260 seconds]
<aantron>
cheater: i guess this is because Lwt_io.printf calls Printf.ksprintf internally. you need a to_string function for your type (My_module.key?)
<aantron>
should be that if you can get your code working with Printf.sprintf, you can get it working with Lwt_io.printf
<aantron>
and ill add a todo to emphasize that in the docs
snhmib has quit [Ping timeout: 264 seconds]
zirman has joined #ocaml
AlexDenisov has quit [Ping timeout: 252 seconds]
zirman has quit [Ping timeout: 256 seconds]
ziyourenxiang has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
FreeBirdLjj has joined #ocaml
jlongster has joined #ocaml
snhmib has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
atsampson has quit [Ping timeout: 246 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
louisriesener has joined #ocaml
atsampson has joined #ocaml
blackfry has quit [Quit: blackfry]
mcspud has quit [Quit: mcspud]
louisriesener has quit [Quit: ZNC 1.6.3+deb1+trusty0 - http://znc.in]
FreeBirdLjj has joined #ocaml
louisriesener has joined #ocaml
pierpa has quit [Ping timeout: 268 seconds]
larhat1 has quit [Quit: Leaving.]
noddy has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
_whitelogger has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
<awal>
seliopou: ouch
<awal>
seliopou: So how do people generally use the major "basic" libraries? Reading the source?
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<awal>
Ahh, I was considering looking into merlin. So far I've only used ocaml with the stdlib and extlib. Now I am doing a bunch of more serious stuff so I have to use libs and I feel lost :|
zirman has quit [Ping timeout: 258 seconds]
nomicflux has quit [Quit: nomicflux]
<awal>
copy`: Merlin and ocp-browser look promising, thanks, I'll try these things out as soon as I get home :)
snhmib has joined #ocaml
hunteriam has joined #ocaml
d0nn1e has quit [Ping timeout: 248 seconds]
d0nn1e has joined #ocaml
mietek has joined #ocaml
infinity0 has quit [Remote host closed the connection]
blackfry has joined #ocaml
infinity0 has joined #ocaml
snhmib has quit [Ping timeout: 258 seconds]
zirman has joined #ocaml
snhmib has joined #ocaml
<average>
does ocaml have a process manager for deploying web apps?
<average>
with workers and memory limits and all that
<average>
like uwsgi i mean
zirman has quit [Ping timeout: 256 seconds]
<average>
like if i were to write a web app in ocaml, does it have all the stuff i need to actually deploy?
scitesy has joined #ocaml
mietek has left #ocaml ["NO CARRIER"]
trepta has quit [Ping timeout: 245 seconds]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
\h has quit [Read error: Connection reset by peer]
zirman has joined #ocaml
\h has joined #ocaml
<orbitz>
Drup: do you know why that is?
<orbitz>
awal: I generally just use #show in utop to understanda library
<orbitz>
awal: sometimes I'll go to the .mli or try to find docs
zirman has quit [Ping timeout: 248 seconds]
hello has joined #ocaml
pon1980 has joined #ocaml
calculemus has quit [Ping timeout: 265 seconds]
<hello>
how do i add a pretty printer (.pp) to something that I used Set.Make() with?
<orbitz>
hello: THere isn't a super good way, I think. You can create a new module that includes al lthe stuff in Set.Make and also offers the pp
<orbitz>
hello: I use containers, which already has a set with a pp function. That migh tbe worth looking into depending on your needs.
ygrek_ has joined #ocaml
zirman has joined #ocaml
gpietro has quit [Remote host closed the connection]
zirman has quit [Ping timeout: 260 seconds]
<awal>
orbitz: I see
hello has quit [Ping timeout: 260 seconds]
snhmib has quit [Ping timeout: 265 seconds]
copy` has quit [Quit: Connection closed for inactivity]
snhmib has joined #ocaml
igt0 has quit [Quit: Connection closed for inactivity]
larhat has joined #ocaml
mfp has joined #ocaml
zirman has joined #ocaml
zirman has quit [Ping timeout: 268 seconds]
<jerith>
If I have a module that exposes a type 'a t and a bunch of functions operating on that type, is there a way to wrap that in a module that exposes that with type t' = u t without having to rewrite all the function signatures with the new type?
infinity0 has quit [Ping timeout: 252 seconds]
infinity0 has joined #ocaml
infinity0 has joined #ocaml
<theblatt1>
jerith: module type Foo = module type of Goo with type 'a t = u t;;
theblatt1 is now known as theblatte
<jerith>
"Unbound type constructor t"
infinity0 has quit [Remote host closed the connection]
<jerith>
What I'm trying to do is write a functor that wraps some module M and Map.Make(String) to give me functions like S.add : string -> M.t -> S.t -> S.t or whatever.
jao has joined #ocaml
infinity0 has joined #ocaml
<theblatte>
jerith: module type Foo = module type of Goo with type 'a t = u Goo.t;;
<theblatte>
(was missing t -> Goo.t)
<jerith>
"the new definition of t does not match its original definition in the constrained signature" :-/
<jerith>
That's with this code:
<jerith>
module StringMap = Map.Make(String)
<jerith>
module type SMap = module type of StringMap with type 'a t = int StringMap.t
infinity0 has quit [Remote host closed the connection]
wu_ng has quit [Ping timeout: 268 seconds]
<theblatte>
ugh
infinity0 has joined #ocaml
<jerith>
If I use "Map.S" instead of "module type of StringMap" I get something that compiles, but the function signatues all still have "'a t" in them.
<theblatte>
jerith: ah cool
<theblatte>
yes but your module signature also says that "'a t = int Map.S.t"
<jerith>
And as soon as I try to make the actual module, I get "type declarations do not match" again.
<jerith>
module IntSMap : SMap = struct include (StringMap : Map.S with type 'a t = int StringMap.t)
<jerith>
end
* jerith
plays with some more things.
zirman has joined #ocaml
hunteriam has quit [Quit: Connection closed for inactivity]
kakadu has joined #ocaml
zirman has quit [Ping timeout: 260 seconds]
larhat has quit [Quit: Leaving.]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
larhat has joined #ocaml
<jerith>
I think what I actually need here is destructive substitution, and that requires matching signatures.
silver has joined #ocaml
bobobobot has joined #ocaml
<bobobobot>
Hello, world! This is a test from ocaml-irc-client
<jerith>
Hello bobobobot.
<bobobobot>
ack: Hello bobobobot.
bobobobot has quit [Remote host closed the connection]
bobobobot has joined #ocaml
<bobobobot>
Hello, world! This is a test from ocaml-irc-client
bobobobot has quit [Remote host closed the connection]
<Onemorenickname>
and there is really_input_string
<Onemorenickname>
why is there no "in_channel -> string" ?
<Onemorenickname>
is there a problem if those two functions are used together naively ?
infinity0 has quit [Ping timeout: 265 seconds]
infinity0 has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
cnu- has quit [Ping timeout: 258 seconds]
cnu- has joined #ocaml
cnu- has quit [Excess Flood]
cnu- has joined #ocaml
agarwal1975 has joined #ocaml
bitbckt has quit [Ping timeout: 258 seconds]
bitbckt has joined #ocaml
bitbckt has quit [Changing host]
bitbckt has joined #ocaml
ygrek_ has quit [Ping timeout: 256 seconds]
cnu- has left #ocaml [#ocaml]
igt0 has joined #ocaml
esad has joined #ocaml
smondet has joined #ocaml
sdml[m] has joined #ocaml
zirman has quit [Remote host closed the connection]
wu_ng has quit [Ping timeout: 268 seconds]
infinity0 has quit [Ping timeout: 246 seconds]
infinity0 has joined #ocaml
noddy has joined #ocaml
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
larhat has quit [Client Quit]
larhat has joined #ocaml
larhat has quit [Client Quit]
larhat has joined #ocaml
larhat has quit [Client Quit]
larhat has joined #ocaml
larhat has quit [Client Quit]
larhat has joined #ocaml
larhat has quit [Client Quit]
larhat has joined #ocaml
larhat has quit [Client Quit]
larhat has joined #ocaml
larhat has quit [Client Quit]
larhat has joined #ocaml
larhat has quit [Client Quit]
ryanartecona has joined #ocaml
kayceesrk has quit [Quit: kayceesrk]
jnavila has joined #ocaml
ollehar has joined #ocaml
smondet` has joined #ocaml
smondet has quit [Ping timeout: 245 seconds]
zirman has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
zirman has quit [Ping timeout: 265 seconds]
kayceesrk has joined #ocaml
<ollehar>
is fstar a superset of ocaml?
agarwal1975 has quit [Quit: agarwal1975]
<companion_cube>
I don't think so
<ollehar>
ok
<ollehar>
going through the tutorial, guess I will see :)
<ollehar>
and also merry christmas and happy new year!
<companion_cube>
same to you!
nomicflux has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
jlongster has joined #ocaml
kayceesrk has quit [Quit: kayceesrk]
wtetzner has joined #ocaml
zirman has joined #ocaml
wtetzner has quit [Remote host closed the connection]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
shinnya has joined #ocaml
kayceesrk has joined #ocaml
sillyotter has joined #ocaml
igt0 has quit [Quit: Connection closed for inactivity]
sdml[m] has left #ocaml ["User left"]
ryanartecona has quit [Quit: ryanartecona]
sillyotter has quit [Client Quit]
ollehar has quit [Ping timeout: 245 seconds]
scitesy has quit [Read error: Connection reset by peer]
ollehar has joined #ocaml
esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
wtetzner has joined #ocaml
jnavila has quit [Ping timeout: 260 seconds]
ollehar1 has joined #ocaml
ollehar1 has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
ollehar has quit [Ping timeout: 248 seconds]
jnavila has joined #ocaml
ollehar has joined #ocaml
kayceesrk has quit [Quit: kayceesrk]
sz0 has quit [Quit: Connection closed for inactivity]
<Drup>
orbitz: if a .ml file is compiled without a cmi already present, a cmi is generated as by product, that's how it works, that's all. I'm not sure what to add
<Drup>
(and it's the same in ocamlc and ocamlopt because that's the part of the compilation pipeline that is common, so they're clearly the same
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
ollehar1 is now known as ollehar
igt0 has joined #ocaml
kayceesrk has joined #ocaml
ollehar has quit [Quit: ollehar]
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
al-damiri has joined #ocaml
marsam has joined #ocaml
shinnya has quit [Ping timeout: 258 seconds]
wtetzner has quit [Remote host closed the connection]
scitesy has joined #ocaml
marsam has quit [Ping timeout: 256 seconds]
kakadu has joined #ocaml
kayceesrk has quit [Quit: kayceesrk]
esad has joined #ocaml
zirmann has joined #ocaml
esad has quit [Client Quit]
zirman has quit [Ping timeout: 264 seconds]
esad has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
marsam has joined #ocaml
kayceesrk has joined #ocaml
trepta has joined #ocaml
smondet` has quit [Ping timeout: 258 seconds]
jao has joined #ocaml
sh0t has quit [Remote host closed the connection]
wtetzner has joined #ocaml
struktured has quit [Ping timeout: 258 seconds]
esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
copy` has joined #ocaml
igt0 has quit [Quit: Connection closed for inactivity]
smondet has joined #ocaml
zirmann has quit [Quit: Leaving...]
esad has joined #ocaml
kayceesrk has quit [Quit: kayceesrk]
rgrinberg has quit [Ping timeout: 252 seconds]
<orbitz>
Drup: I'm saying that the .cmi is generated regardless of if the cmi is already there
<orbitz>
Drup: in this case I think it's if there is no .mli it always generates a .cmi
<Drup>
yes
<orbitz>
Drup: what stinks is that I have the .ml in a source directory and I've generated the .mli in the build directory but it only looks in the source idrectory to know if it wants to build the cmi
<orbitz>
Drup: so this means youc annot, in parallel, build byte code outputs and native code outputs in the same directory because the cmi's will conflict for all .ml's that do not have a .mli, is that correct?
<orbitz>
or is there a known trick to this?
<Drup>
yes, look at how ocamlbuild works
<Drup>
and stop reinventing your own build system
rgrinberg has joined #ocaml
malc_ has joined #ocaml
<orbitz>
i'll read through ocalmbuild, thanks.
ryanartecona has joined #ocaml
<orbitz>
hrm, doesn't look like ocamlbuild prevents building the .cmi twice.
octachron has joined #ocaml
snhmib has quit [Ping timeout: 258 seconds]
jnavila has quit [Ping timeout: 256 seconds]
pierpa has joined #ocaml
snhmib has joined #ocaml
noddy has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Ping timeout: 252 seconds]
Onemorenickname has quit [Ping timeout: 252 seconds]
esad has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
esad has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
trepta has quit [Ping timeout: 246 seconds]
snhmib has quit [Ping timeout: 248 seconds]
Denommus has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
nahra` has quit [Quit: ERC (IRC client for Emacs 24.5.1)]
ocaml934 has joined #ocaml
zein has joined #ocaml
ocaml934 has quit [Client Quit]
nahra has joined #ocaml
marsam has quit [Read error: Connection reset by peer]
rand__ has joined #ocaml
trepta has joined #ocaml
zein has quit [Quit: Page closed]
snhmib has joined #ocaml
<orbitz>
companion_cube: how is the qtest split out ocming?
<Leonidas>
its done
<Leonidas>
qcheck 0.5
<orbitz>
ohh nice thanks
ryanartecona has joined #ocaml
rand__ is now known as rand
rand is now known as rand_
esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
esad has joined #ocaml
rand_ has quit [Quit: leaving]
rand__ has joined #ocaml
esad has quit [Client Quit]
esad has joined #ocaml
trepta has quit [Ping timeout: 258 seconds]
struktured has joined #ocaml
d0nn1e has quit [Ping timeout: 256 seconds]
d0nn1e has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
silver has quit [Quit: rakede]
Sorella has joined #ocaml
zein has joined #ocaml
zein has quit [Client Quit]
Denommus has quit [Ping timeout: 260 seconds]
esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
esad has joined #ocaml
Onemorenickname has joined #ocaml
esad has quit [Client Quit]
esad has joined #ocaml
NJBS has joined #ocaml
scitesy has quit [Read error: Connection reset by peer]
esad has quit [Client Quit]
infinity0 has quit [Remote host closed the connection]
esad has joined #ocaml
infinity0 has joined #ocaml
isd has quit [Ping timeout: 248 seconds]
<flux>
I don't think ocamlbuild's approach of copying sources to a separate directory is particularly elegant. infact, I consider it a hack :)
ygrek has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k1 has quit [Remote host closed the connection]
esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Onemorenickname has quit [Read error: Connection reset by peer]
<orbitz>
flux: it also doesn't do very much in paarallel .
<orbitz>
The solution I chose was that I do everything in parallel unless the repo has a .ml file without a .mli, then I just serialize
ygrek has quit [Ping timeout: 265 seconds]
atsampson has quit [Ping timeout: 240 seconds]
atsampson has joined #ocaml
jnavila has joined #ocaml
AlexDenisov has joined #ocaml
<orbitz>
How are most people doing testing of a project? I'm generating an opam package for the commit I'm testing, then doing "opam install --strict --deps-only -t my-project" to get all of the deps installed and testing deps too. But this tests all the installed packages whereas I just wnat to run tests for my package after they are installed. But if I remove the -t I dont' get the testing packages
<orbitz>
installed for my project. Am I doing this ass-backwards?
agarwal1975 has joined #ocaml
kakadu has quit [Remote host closed the connection]
jnavila has quit [Ping timeout: 260 seconds]
xorpse has joined #ocaml
octachron has quit [Quit: Leaving]
FreeBirdLjj has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has quit [Ping timeout: 258 seconds]
jlongster has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
al-damiri has quit [Quit: Connection closed for inactivity]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Algebr has joined #ocaml
<Algebr>
what exactly are the use cases for lwt 'jobs' doc page says: For operations that cannot be executed asynchronously, Lwt uses a system of jobs that can be executed in a different threads. A job is composed of three functions: