adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org and http://caml.inria.fr | http://ocaml.org/releases/4.02.0.html | Public channel logs at http://irclog.whitequark.org/ocaml
mcclurmc has quit [Remote host closed the connection]
philtor has joined #ocaml
struktured has joined #ocaml
<struktured> hi all, anyone know how to make Jane Street's Core.Std.Set adhere to Jane Street's bin_prot interface? I usually do something module Foobar = struct type t = int * string with compare, sexp, bin_io end;; module FoobarSet = Core.Std.Set.Make(Foobar);; The FooBarSet.t will not have the bin_prot methods created (such as bin_size_t, bin_write_t, etc.)
abbe_ is now known as abbe
pii4 has joined #ocaml
<pii4> Hi
<pii4> im installing ocaml for first time using " curl -kL https://raw.github.com/hcarty/ocamlbrew/master/ocamlbrew-install | env OCAMLBREW_FLAGS="-r" bash"
<pii4> everything looks fine but i dont have opam command ?!
WraithM has quit [Ping timeout: 252 seconds]
cody__ has quit [Remote host closed the connection]
<struktured> I found it!. module MyBinableSet = Core.Std.Set.Make_binable(MyModule)
q66 has quit [Quit: Leaving]
BitPuffin has quit [Ping timeout: 260 seconds]
shinnya has joined #ocaml
fold has joined #ocaml
shinnya has quit [Ping timeout: 252 seconds]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
dnm has quit [Ping timeout: 245 seconds]
slecuyer has joined #ocaml
bytbox has joined #ocaml
oriba has quit [Quit: oriba]
bytbox has quit [Ping timeout: 255 seconds]
dnm has joined #ocaml
samrat has joined #ocaml
mcclurmc has joined #ocaml
slecuyer has quit [Quit: Page closed]
WraithM has joined #ocaml
pyon is now known as pyon-lolicon
pyon-lolicon is now known as pyon
samrat has quit [Quit: Computer has gone to sleep.]
pyon has quit [Quit: brb]
pyon has joined #ocaml
samrat has joined #ocaml
burgobianco has quit [Remote host closed the connection]
philtor has quit [Ping timeout: 255 seconds]
mcclurmc has quit [Remote host closed the connection]
cdidd_ has quit [Ping timeout: 245 seconds]
cdidd_ has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
koderok has joined #ocaml
samrat has joined #ocaml
mcclurmc has joined #ocaml
NoNNaN has quit [Ping timeout: 264 seconds]
mcclurmc has quit [Ping timeout: 255 seconds]
NoNNaN has joined #ocaml
BitPuffin has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
axiles has joined #ocaml
malo_ has quit [Remote host closed the connection]
BitPuffin has quit [Ping timeout: 264 seconds]
jao` has quit [Ping timeout: 245 seconds]
Plazma has quit [Remote host closed the connection]
oscar_toro has joined #ocaml
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
MercurialAlchemi has joined #ocaml
samrat has joined #ocaml
<whitequark> Drup: eliom tutorials?
samrat has quit [Quit: Computer has gone to sleep.]
samrat has joined #ocaml
ygrek has joined #ocaml
siddharthv_away is now known as siddharthv
ygrek has quit [Ping timeout: 252 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
mcclurmc has joined #ocaml
oscar_toro has quit [Quit: oscar_toro]
mcclurmc has quit [Ping timeout: 260 seconds]
pyon has quit [Quit: brb]
pyon has joined #ocaml
hhugo has joined #ocaml
rossberg_ has quit [Ping timeout: 240 seconds]
englishm has quit [Remote host closed the connection]
oscar_toro has joined #ocaml
englishm has joined #ocaml
BitPuffin has joined #ocaml
rossberg_ has joined #ocaml
WraithM has quit [Ping timeout: 245 seconds]
octachron has joined #ocaml
zpe has joined #ocaml
pgomes has joined #ocaml
<pgomes> hi all
zpe has quit [Ping timeout: 252 seconds]
ygrek has joined #ocaml
mcclurmc has joined #ocaml
yacks has quit [Quit: Leaving]
mcclurmc has quit [Ping timeout: 264 seconds]
MercurialAlchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
Simn has joined #ocaml
Plazma has joined #ocaml
yacks has joined #ocaml
koderok has quit [Quit: koderok]
AltGr has joined #ocaml
ggole has joined #ocaml
hhugo has quit [Read error: Connection reset by peer]
hhugo has joined #ocaml
mrpantoufle has quit [Ping timeout: 245 seconds]
mrpantoufle has joined #ocaml
hhugo1 has joined #ocaml
drthx has joined #ocaml
hhugo has quit [Ping timeout: 260 seconds]
<drthx> I tried to make findlib, but I get an error http://pastebin.com/CRfknbqV
hhugo1 has quit [Ping timeout: 260 seconds]
hhugo has joined #ocaml
skchrko has joined #ocaml
AltGr has left #ocaml [#ocaml]
<whitequark> how did you install OCaml?
Kakadu has joined #ocaml
tane has joined #ocaml
AltGr has joined #ocaml
mcclurmc has joined #ocaml
koderok has joined #ocaml
mcclurmc has quit [Ping timeout: 272 seconds]
ontologiae has joined #ocaml
sagotch has joined #ocaml
thomasga has joined #ocaml
Hannibal_Smith has joined #ocaml
mort___ has joined #ocaml
kaustuv has joined #ocaml
zpe has joined #ocaml
Snark has quit [Ping timeout: 260 seconds]
Snark has joined #ocaml
zpe has quit [Remote host closed the connection]
<whitequark> Drup: I haven't really planned anything like that...
zpe has joined #ocaml
<Drup> well, you wrote something called "eliom-example" =)
<whitequark> uhh so?
<Drup> If it's a good example, it's nice to integrate it with the rest of the tutorials
<whitequark> it's not a tutorial, more an example of how one would set up the build system with ocamlbuild
<whitequark> hm
<whitequark> I'll consider it
<whitequark> right now I need to beat some JavaScript into submission and it makes me sad.
<Drup> :)
zpe has quit [Ping timeout: 264 seconds]
contempt has quit [Ping timeout: 240 seconds]
oscar_toro has left #ocaml [#ocaml]
zpe has joined #ocaml
thomasga has quit [Ping timeout: 268 seconds]
cago has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
pgomes has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
zpe has quit [Ping timeout: 252 seconds]
contempt has joined #ocaml
<Kakadu> Is eliom installable with 4.02?
<Kakadu> > - js_of_ocaml.2.4.1 is in conflict with tyxml.3.1.1
<Drup> huum
<Drup> Kakadu: with dev or regular versions ?
<Drup> we need to do a release of eliom, to be up to date with the various dependencies
rand000 has joined #ocaml
<Kakadu> Drup: I have only default repo
<Drup> huum
<Drup> I'm not sure I'm going to have time to investigate, open a bug report against eliom with the complete dependency chain
thomasga has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
fold has quit [Ping timeout: 240 seconds]
<hhugo> Kakadu: the last release of eliom requires an old tyxml (3.1.1) where js_of_ocaml (with 4.02 support) requires the last tyxml (3.2.1)
tty57 has joined #ocaml
<Kakadu> When are you going to release new eliom?
<Kakadu> does this problem exists in dev repo?
<Drup> no, eliom dev is compatible with last tyxml
MercurialAlchemi has quit [Read error: Connection reset by peer]
<tty57> hi, I am looking for a ocaml based http proxy I could use as a basis for a small project. Does anyone know a http proxy written in ocaml that can easily be extended?
mort___ has quit [Ping timeout: 276 seconds]
ustunozgur has joined #ocaml
MercurialAlchemi has joined #ocaml
tty57 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
avsm has joined #ocaml
zpe has joined #ocaml
ggole has quit []
ggole has joined #ocaml
thomasga has quit [Quit: Leaving.]
tobiasBora has joined #ocaml
<Drup> what ? :p
<whitequark> this looks like a terrible design (I already said that though)
<whitequark> well, let's wait until the release
<Drup> You didn't explain why you thing it's terrible, though :p
<whitequark> they reimplemented half of lwt
<whitequark> why are there these fibers *at all*?
<whitequark> imo the parts that make GC work with multiple threads are by and large enough
<whitequark> hm, let me just ask this on ML
<Drup> which I consider a good thing, because this way, we will (in the long run) don't have to deal with Async/Lwt fragmentation in the eco system
thomasga has joined #ocaml
<whitequark> no, we will have to deal with Async/Lwt/fibers fragmentation
<whitequark> which is exactly why I think this is terrible
<Drup> not if we can have Lwt/Async implemented as simple overlays on top of fibers
<whitequark> oh, hmm
<Drup> (I have no idea if it's actually possible, though)
<whitequark> if it is, that would be great
<Drup> that's my hope
<Drup> gotta go, plane :p
Puffin has joined #ocaml
avsm has quit [Quit: Leaving.]
<ggole> "Currently, compute-bound fibers that don't yield do tie up a domain."
<ggole> So it's green threads, with yielding I/O?
<whitequark> "fibers" usually refers to that, yeah
<ygrek> imho that's ok, just run more domains than cores
<ggole> So how does cross-domain interchange work? I need to watch the video, I suppose.
<whitequark> it seems like some kind of Go-inspired scheme maybe? I'm not sure
<whitequark> Rust guys eventually decided that OS threads aren't that expensive (and they aren't!), but m:n threading is
<whitequark> OCaml may or may not have a different set of tradeoffs though
<kaustuv> do any of the parallel runtime based systems use the virtual memory system as part of the GC? Eg. using protections and page faults to forward pointers?
<kaustuv> (Is that even possible?)
<ggole> Yeah, that's an old trick
<ggole> See the C4 papers for an example
<ggole> *a more recent example
<whitequark> huh, neat trick
<kaustuv> I was reading the C4 whitepaper last month in fact, and there they needed to use a special kernel I thought
eizodo has joined #ocaml
<ggole> That's my understanding, yeah.
<kaustuv> also C4 uses read barriers, and in my mind read barriers exchange dependable latency for low throughput, but I could be biased
<ggole> A generation GC can use the same trick to eliminate branches, by placing a protected page at the front of the minor heap and trapping the exception that results when the first object that doesn't fit is initialized
<ggole> Might be tricky to do in practice though
ustunozgur has quit [Remote host closed the connection]
englishm has quit [Ping timeout: 264 seconds]
avsm has joined #ocaml
dsheets has joined #ocaml
koderok has quit [Quit: koderok]
_andre has joined #ocaml
tty57 has joined #ocaml
bezirg has joined #ocaml
bezirg has quit [Quit: Leaving.]
bezirg has joined #ocaml
<companion_cube> in rust you can choose m:n or 1:1 at link-time, I believe
<whitequark> yes, though m:n is not production-ready atm
<whitequark> and won't be very soon
samrat has quit [Quit: Computer has gone to sleep.]
<tane> will they keep the deadline for 1.0 at the end of this year?
bezirg has quit [Quit: Leaving.]
<whitequark> I think so
bezirg has joined #ocaml
<tane> that'd be great
ustunozgur has joined #ocaml
thomasga has quit [Quit: Leaving.]
araujo has joined #ocaml
araujo has joined #ocaml
araujo has quit [Changing host]
avsm has quit [Quit: Leaving.]
cespinoza has quit [Ping timeout: 268 seconds]
Puffin has quit [Remote host closed the connection]
dsheets has quit [Ping timeout: 245 seconds]
siddharthv is now known as siddharthv_away
tobiasBora has quit [Ping timeout: 252 seconds]
cespinoza has joined #ocaml
<MercurialAlchemi> whitequark: m:n is going away to a library
elfring has joined #ocaml
bytbox has joined #ocaml
msaegesser has quit [Ping timeout: 268 seconds]
bytbox has quit [Remote host closed the connection]
cespinoza has quit [Ping timeout: 245 seconds]
cespinoza has joined #ocaml
<tty57> How do I make sure a function returns unit? I do some stuff with async and always end up with "type unit IO.t"
<flux> let yourfunc arg1 arg2 : unit = ..
<flux> if the problem is you're accidentally returning non-unit when think you should return unit
<tty57> let f_get uri =
<tty57> uri
<tty57> >>| snd
<tty57> |> Client.get
<tty57> >>= Body.to_string
<tty57> >>| fun b ->
<tty57> printf "%s -> %d bytes\n" (Uri.to_string uri) (String.length b);
<tty57> Why would this function not return unit?
<adrien> because >>| ?
<flux> hmm, I think you may need to run that under the async monad
<tty57> mhh I thought >>| was that return stuff which ended the monad handling...
<tty57> Return, would be the operator
<flux> >>| looks to me like it lifts normal single-argument functions to the monad
<tty57> Ok, then I got it all wrong :|
<flux> so you don't need to write >> fun x -> return (snd x), I think
<tty57> mhh, any hints on where to put "return" in my code?
<flux> isn't there some starting point where you kick off the Async stuff?
<flux> typically the thing about io monad is that you don't get out of it ;)
<flux> so if you have a function that uses 'a IO.t, the code that uses such a function will also be in 'a IO.t..
<tty57> ok
<flux> all the 'a IO.t values must end up to the top-level Async monad executor, otherwise the concurrency doesn't work
<flux> so you build your program so that IO stuff calls non-IO stuff, not vice versa
<tty57> mhh, I guess this is the problem then...
<flux> but if that's the only IO-stuff your program makes, I think there are ways around it
ygrek has quit [Ping timeout: 264 seconds]
<tty57> I guess so, I am new to Ocaml and try to tinker a kind of proxy server using cohttp. But I guess i have to understand the IO completely before continuing..
<tty57> thanks!
englishm has joined #ocaml
bytbox has joined #ocaml
kaustuv has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
bytbox has quit [Remote host closed the connection]
tty57 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
Submarine has joined #ocaml
wwilly has joined #ocaml
englishm has quit [Remote host closed the connection]
shinnya has joined #ocaml
mort___ has joined #ocaml
samrat has joined #ocaml
darkf has quit [Quit: Leaving]
ontologiae has quit [Ping timeout: 260 seconds]
englishm has joined #ocaml
thomasga has joined #ocaml
huza has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 255 seconds]
huza has quit [Quit: WeeChat 0.3.8]
msaegesser has joined #ocaml
wwilly has quit [Ping timeout: 272 seconds]
pyon has quit [Quit: brb]
mort___ has quit [Quit: Leaving.]
pyon has joined #ocaml
ygrek has joined #ocaml
mcclurmc has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
rgrinberg has joined #ocaml
tane has quit [Quit: Verlassend]
tty57 has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
<bernardofpc> hi people
<bernardofpc> are there any switches in opam that I can get a compiler 4.02 without the 2x compiling times ?
<bernardofpc> (running 6+ years old hardware here, and will attempt to compile Coq afterwards...)
oriba has joined #ocaml
<flux> I don't know, but apparently it has been fixed in the development version
<flux> so now your problem has been reduced into how to install 4.02 dev via opam :-)
struktured has quit [Ping timeout: 272 seconds]
<bernardofpc> Fixed in Version4.02.1+dev -> yes, right, but I see none of these in opam
<bernardofpc> only 4.02.0+rc1 and 4.02.0+trunk
avsm has joined #ocaml
<flux> hmm
<flux> to me 'trunk' sounds like the most recent version
<flux> ie. the same as dev
<flux> but I don't know for sure if it needs to be updated somehow
sagotch has quit [Remote host closed the connection]
mort___ has joined #ocaml
cago has quit [Quit: cago]
ocp has joined #ocaml
<ygrek> I believe 4.03+trunk is the way to go
skchrko has quit [Remote host closed the connection]
dsheets has joined #ocaml
morphles has joined #ocaml
pyon has quit [Quit: brb reconfig]
thomasga has quit [Quit: Leaving.]
englishm has quit [Remote host closed the connection]
pyon has joined #ocaml
englishm has joined #ocaml
wwilly has joined #ocaml
thomasga has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
tane has joined #ocaml
hsuh has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
bezirg has quit [Ping timeout: 260 seconds]
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 255 seconds]
cespinoza has quit [Ping timeout: 240 seconds]
cespinoza has joined #ocaml
Submarine has quit [Remote host closed the connection]
ustunozgur has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
trap_exit has joined #ocaml
samrat has quit [Ping timeout: 264 seconds]
zpe has quit [Ping timeout: 268 seconds]
samrat has joined #ocaml
bezirg has joined #ocaml
dnm has quit [Ping timeout: 268 seconds]
claudiuc has joined #ocaml
rgrinberg has joined #ocaml
eizodo has quit [Ping timeout: 246 seconds]
<MercurialAlchemi> If I wanted to take a template and feed to a pre-processor in order to turn into OCaml code, what would be the best way to go about that?
wwilly has quit [Quit: Leaving]
johnelse is now known as johnelse_in_hidi
johnelse_in_hidi is now known as johnelseinhiding
johnelseinhiding is now known as johnelse
<bernardofpc> The dependency camlp5 of package coq.8.4pl4 is not available for your compiler or your OS. -> fail 4.03+trunk
octachron has quit [Quit: Leaving]
<adrien> but why run on latest trunk? ='(
<MercurialAlchemi> live by the trunk, die by the trunk
<MercurialAlchemi> timber!
ocp has quit [Quit: Leaving.]
<bernardofpc> adrien: I want to compile Coq, and not double the time for it on 4.02
<bernardofpc> if there was 4.02.1+trunk, I'd do that
<adrien> ah
<MercurialAlchemi> hm, I wonder if I could coax ppx to do my bidding
<Kakadu> AFAIR coq uses camlp5
<adrien> better solution
<bernardofpc> Kakadu: precisely
<adrien> Kakadu: camlp5 has a whitelist of the supported ocaml versions
<Kakadu> and camlp5 was available in 4.02 last week
johnelse has quit [Quit: leaving]
<adrien> yeah but 4.02 is a lot slower to compile some things
johnelse has joined #ocaml
<adrien> and there is a patch for that now
<Kakadu> okay, forget it
<adrien> I _think_ that's why bernardofpc is refering to
<adrien> s/why/what/
<bernardofpc> yup, I want a fast 4.02, _and_ to compile Coq
<bernardofpc> if that means 4.03, that works for me
<bernardofpc> but for the moment, I don't know , maybe ask someone to write the appropriate magic file for 4.02.1+trunk for opam
<adrien> 4.02 + patch or 4.02.x
<bernardofpc> btw, it seemed to me that the bugfix for 2x slower was backportable to 4.01... am I wrong? If not, did someone try to bench 4.01+backport ?
<adrien> but 4.02something is going to be easier and safer
<adrien> poke jpdeplaix
<adrien> and meanwhile I'll poke gasche on the ocamlbuild split :)
<bernardofpc> [ERROR] The compilation of zarith.1.2 failed. -> so 4.03+trunk does not compile zarith
<bernardofpc> (maybe that's already known)
bezirg has quit [Read error: Connection reset by peer]
WraithM has joined #ocaml
<def`> bernardofpc: hmm, no, the major slowdown was introduced short before 4.02 release
_andre has quit [Read error: No route to host]
trap_exit has quit [Quit: Page closed]
_andre has joined #ocaml
tty57 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
_andre has quit [Read error: No route to host]
BitPuffin has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Quit: Leaving.]
bytbox has joined #ocaml
_andre has joined #ocaml
rgrinberg has joined #ocaml
Arsenik has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
WraithM has quit [Ping timeout: 245 seconds]
morphles has quit [Ping timeout: 252 seconds]
pyon has quit [Read error: Connection reset by peer]
pyon has joined #ocaml
mort___ has quit [Ping timeout: 272 seconds]
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
hhugo has quit [Quit: Leaving.]
WraithM has joined #ocaml
jwatzman|work has joined #ocaml
q66 has joined #ocaml
q66[lap]_ has quit [Read error: Connection reset by peer]
bytbox has quit [Ping timeout: 245 seconds]
q66[lap] has joined #ocaml
WraithM has quit [Ping timeout: 240 seconds]
Arsenik has quit [Remote host closed the connection]
AltGr has left #ocaml [#ocaml]
jao` has joined #ocaml
hhugo has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
<jpdeplaix> bernardofpc: it's 4.02.0+trunk
rgrinberg has quit [Quit: Leaving.]
WraithM has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
WraithM has quit [Ping timeout: 240 seconds]
tty57 has joined #ocaml
ontologiae has joined #ocaml
Thooms has joined #ocaml
vincom2 has quit [Ping timeout: 240 seconds]
sivoais has quit [Ping timeout: 246 seconds]
sivoais has joined #ocaml
vincom2 has joined #ocaml
troutwine_away is now known as troutwine
bytbox has joined #ocaml
morphles has joined #ocaml
Kakadu has quit [Quit: Page closed]
tty57 has quit [Quit: Textual IRC Client: www.textualapp.com]
WraithM has joined #ocaml
rgrinberg has joined #ocaml
|jbrown| has quit [Ping timeout: 240 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
ustunozg_ has joined #ocaml
ustunozg_ has quit [Remote host closed the connection]
WraithM has quit [Ping timeout: 252 seconds]
thomasga has quit [Quit: Leaving.]
ustunozgur has quit [Ping timeout: 255 seconds]
lbaan has quit [Quit: sleeping device]
zpe has quit [Ping timeout: 272 seconds]
A1977494 has joined #ocaml
BitPuffin has joined #ocaml
thomasga has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
Thooms has quit [Quit: WeeChat 0.4.3]
zozozo has quit [Remote host closed the connection]
jbrown has joined #ocaml
thomasga has quit [Quit: Leaving.]
zozozo has joined #ocaml
thomasga has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
claudiuc_ has joined #ocaml
elfring has quit [Remote host closed the connection]
thomasga has quit [Client Quit]
claudiuc has quit [Ping timeout: 272 seconds]
thomasga has joined #ocaml
thomasga has quit [Quit: Leaving.]
tobiasBora has joined #ocaml
jbrown has quit [Ping timeout: 264 seconds]
claudiuc_ has quit [Remote host closed the connection]
claudiuc has joined #ocaml
claudiuc has quit [Remote host closed the connection]
claudiuc has joined #ocaml
<oriba> with ocamlnet, when I use Ssl-lib, I need to use Ssl.init(). Is this to be called +once* per program run? So, at startup, and then not again?
WraithM has joined #ocaml
oriba_ has joined #ocaml
Kakadu has joined #ocaml
bezirg has joined #ocaml
claudiuc has quit [Remote host closed the connection]
claudiuc has joined #ocaml
oriba has quit [Ping timeout: 255 seconds]
thomasga has joined #ocaml
ustunozgur has joined #ocaml
pgomes has joined #ocaml
A1977494 has quit [Remote host closed the connection]
hhugo has quit [Quit: Leaving.]
oriba_ has quit [Quit: oriba_]
hhugo has joined #ocaml
<flux> yes
<flux> (well, I haven't read its documentation, but if you have Modulename.init : unit -> unit available, you can pretty much assume that)
thomasga has quit [Quit: Leaving.]
zpe has joined #ocaml
jbrown has joined #ocaml
zpe has quit [Ping timeout: 276 seconds]
<whitequark> a trick I have just figured out: [%expr ([%e serializer] : _ -> Yojson.Safe.json)]
<whitequark> for constraining signatures with hygiene
Submarine has joined #ocaml
hhugo has quit [Quit: Leaving.]
hhugo has joined #ocaml
claudiuc has quit [Remote host closed the connection]
jbrown has quit [Ping timeout: 260 seconds]
claudiuc has joined #ocaml
lbaan has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
morphles has quit [Ping timeout: 240 seconds]
WraithM has quit [Ping timeout: 272 seconds]
Thooms has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
pango has quit [Ping timeout: 276 seconds]
pango has joined #ocaml
ggole_ has joined #ocaml
ustunozgur has joined #ocaml
jbrown has joined #ocaml
ggole has quit [Ping timeout: 245 seconds]
WraithM has joined #ocaml
dnm has joined #ocaml
hhugo has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
Puffin has joined #ocaml
axiles has quit [Remote host closed the connection]
pgomes has left #ocaml ["Leaving"]
BitPuffin has quit [Ping timeout: 252 seconds]
avsm has joined #ocaml
ggole_ has quit []
mort___ has joined #ocaml
claudiuc_ has joined #ocaml
claudiuc has quit [Ping timeout: 272 seconds]
Anarchos has joined #ocaml
relrod has quit [Ping timeout: 250 seconds]
WraithM has quit [Ping timeout: 268 seconds]
relrod has joined #ocaml
cthuluh has quit [Ping timeout: 264 seconds]
cthuluh has joined #ocaml
binarybitme has quit [Ping timeout: 250 seconds]
binarybitme has joined #ocaml
hhugo has joined #ocaml
jwatzman|work has joined #ocaml
cdidd_ has quit [Ping timeout: 264 seconds]
cdidd_ has joined #ocaml
WraithM has joined #ocaml
Thooms has quit [Read error: No route to host]
Thooms has joined #ocaml
oriba has joined #ocaml
q66[lap] has quit [Quit: Textual IRC Client: www.textualapp.com]
<oriba> once there was a module to access DBM-databases. I looked at the current documentation and could not found it.
<oriba> Is it available somewhere?
<smondet> oriba: opam install dbm
<oriba> aha
<oriba> I have installed OCaml via my system install. What if I install opam then. Will there be no conflict?
<oriba> And.. what about paths?
<oriba> If I develop something with opam, and want to use the programs in a non-opam environment...
<oriba> ... will the ocamlrun-stuff be found then?
<oriba> Can this be configured?
ustunozgur has quit [Remote host closed the connection]
<smondet> oriba: yes, it's just that if you use opam packages with the system compiler in the toplevel you need 3 lines in your `.ocamlinit` file
<oriba> aha. and what about installed libs? where will they be? Can this also be configured (local in $HOME or somewhere else)?
<smondet> yes env-variable $OPAMROOT
<smondet> defaults to ~/.opam
<oriba> looks like I should consider using opam ...
Submarine has quit [Quit: Leaving]
<smondet> you'll try, you'll get sucked into it, and then you'll use everywhere :)
<oriba> hehe
<oriba> is it possible to provide own programs via opam-repository?
<oriba> and how much effort is it?
<oriba> will dependencies be handled?
<whitequark> yes, little, and yes
q66[lap] has joined #ocaml
jao` has quit [Ping timeout: 252 seconds]
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
ygrek has joined #ocaml
tobiasBora has quit [Ping timeout: 245 seconds]
pyon has quit [Ping timeout: 255 seconds]
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 252 seconds]
relrod has quit [Ping timeout: 252 seconds]
relrod has joined #ocaml
relrod has quit [Changing host]
relrod has joined #ocaml
ustunozgur has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
jao` has quit [Ping timeout: 245 seconds]
ygrek has quit [Ping timeout: 272 seconds]
ustunozgur has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
pyon has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
rand000 has quit [Quit: leaving]
madroach has joined #ocaml
Simn has quit [Quit: Leaving]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
rgrinberg has joined #ocaml
paddymahoney has joined #ocaml
ustunozg_ has joined #ocaml
msaegesser has quit [Ping timeout: 246 seconds]
ustunozgur has quit [Ping timeout: 272 seconds]
Thooms has quit [Quit: WeeChat 0.4.3]
tane has quit [Remote host closed the connection]
cespinoza has quit [Ping timeout: 240 seconds]
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
struktured has joined #ocaml
WraithM has quit [Ping timeout: 268 seconds]
jwatzman|work has quit [Read error: Connection reset by peer]
rgrinberg has quit [Quit: Leaving.]
cespinoza has joined #ocaml
rgrinberg has joined #ocaml
pkrnj has joined #ocaml
pkrnj has quit [Client Quit]
rgrinberg has quit [Quit: Leaving.]
darkf has joined #ocaml
bezirg has quit [Ping timeout: 272 seconds]
madroach has quit [Ping timeout: 250 seconds]
jwatzman|work has joined #ocaml
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
dsheets has quit [Ping timeout: 276 seconds]
avsm1 has quit [Quit: Leaving.]
englishm has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
hhugo has quit [Quit: Leaving.]
WraithM has joined #ocaml