jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mfp has quit [Ping timeout: 268 seconds]
agarwal1975 has quit [Quit: agarwal1975]
agarwal1975 has joined #ocaml
marsam has quit [Remote host closed the connection]
sh0t has joined #ocaml
sh0t has quit [Read error: Connection reset by peer]
jlongster has joined #ocaml
sh0t has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
sh0t has quit [Remote host closed the connection]
wu_ng has joined #ocaml
wtetzner has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pzp has joined #ocaml
jlongster has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
sgronblo has quit [Quit: Lost terminal]
mengu has quit [Quit: Leaving...]
jao has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
wtetzner has joined #ocaml
manizzle has joined #ocaml
after____ has joined #ocaml
after___ has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
after___ has joined #ocaml
wtetzner has quit [Remote host closed the connection]
after____ has quit [Ping timeout: 264 seconds]
_y has quit [Disconnected by services]
FreeBird_ has joined #ocaml
shinnya has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ryanartecona has joined #ocaml
pilne has quit [Quit: Quitting!]
MercurialAlchemi has joined #ocaml
nomicflux has quit [Quit: nomicflux]
FreeBird_ has quit [Remote host closed the connection]
copy` has quit [Quit: Connection closed for inactivity]
rossberg has quit [Ping timeout: 264 seconds]
Autolycus has joined #ocaml
rossberg has joined #ocaml
FreeBirdLjj has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
ojikubbo has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 246 seconds]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
ojikubbo has quit [Ping timeout: 260 seconds]
shinnya has quit [Ping timeout: 260 seconds]
snhmib has joined #ocaml
jsoo has joined #ocaml
jsoo has quit [Read error: Connection reset by peer]
MercurialAlchemi has joined #ocaml
Simn has joined #ocaml
<chindy>
Say i have a custom module MySpecialMap, which behind the scenes uses the standard Map.Make... how would i create a function like MySpeicalMap.make( XY : Map.OrderedType) such that behind the scenes the right Map.Make is called etc ?
spew has quit [Quit: foobar]
tmtwd has quit [Ping timeout: 258 seconds]
pzp has quit [Quit: Connection closed for inactivity]
agarwal1975 has joined #ocaml
<chindy>
My Problem is essentially this: http://pastebin.com/x4MeQQYe that the lower part does not work... i want to parameterize that struct so to say
freusque has joined #ocaml
cokanut has joined #ocaml
<cokanut>
Is there some sort of `List.reject`? Something like `List.reject ~f:(is_x) list` instead of `List.filter ~f:(is_not_x) list`
<adrien>
not that I'm aware of but there's also List.partition to consider (it returns a pair of list and you could select only the second one)
octachron has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
alfredo has joined #ocaml
<octachron>
chindy, this looks like you need to define a functor: "module M(T:Comparable) = struct … end"
<cokanut>
adrien: thanks. i was also thinking i could also compose a `not` over `is_not_x` and use it. like `not(is_not_x)`, but it is eagerly executing the `not` and giving type error. any ideas?
jnavila has joined #ocaml
<octachron>
cokanut, a solution is to use a composition operator: "let (%) f g x = f (g x)" then "let reject pred = List.filter (not % pred)"
Khady_ is now known as Khady
<adrien>
well, not is boolean negation: bool -> bool
<adrien>
it's not negation of functions so you need to define what octachron mentioned
<chindy>
octachron: i now have http://pastebin.com/9C9J2aU9 but how do i now call Test_Functor.empty in the main.ml ? i tried Test.Test_Functor.empty(String) but that did not work and Test.Test_Functor.empty(struct type t = string let compare =compare end) and they both did not work
<octachron>
chindy, functor are functions, you need first to apply them: "module T = Test_Functor(String)", then you can use T.empty
<chindy>
octachron: ahh thanks side question, is it possible to let in a module so let module M = ... meaning M is only valid in an expression
sz0 has quit [Quit: Connection closed for inactivity]
<octachron>
chindy, yes it is possible. Depending on your use case, you may also need to have a look at locally abtract type
<cokanut>
octachron: that's nice, thanks
orbifx has joined #ocaml
orbifx has quit [Ping timeout: 260 seconds]
ygrek has joined #ocaml
jsoo has joined #ocaml
cokanut has quit [Ping timeout: 240 seconds]
jsoo has quit [Read error: Connection reset by peer]
jnavila has quit [Quit: It was time]
jnavila_ has joined #ocaml
octachron has quit [Ping timeout: 258 seconds]
Autolycus has quit []
octachron has joined #ocaml
larhat has joined #ocaml
argent_smith has joined #ocaml
mfp has joined #ocaml
cokanut has joined #ocaml
maattdd has joined #ocaml
cokanut has quit [Ping timeout: 256 seconds]
govg has quit [Ping timeout: 268 seconds]
larhat has quit [Quit: Leaving.]
govg has joined #ocaml
cokanut has joined #ocaml
maattdd_ has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
govg has quit [Remote host closed the connection]
govg has joined #ocaml
cokanut has quit [Ping timeout: 240 seconds]
maattdd has joined #ocaml
arquebus has joined #ocaml
maattdd_ has quit [Ping timeout: 240 seconds]
arquebus has quit [Quit: Leaving]
<flux>
now after giving a try to React, Reason starts to look a bit more interesting ;-)
silver has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
AlexDenisov has joined #ocaml
TheAuGingembre has quit [Ping timeout: 255 seconds]
mengu has joined #ocaml
TheAuGingembre has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
johnelse has quit [Quit: leaving]
maattdd has quit [Ping timeout: 260 seconds]
jonatin has quit [Remote host closed the connection]
jonatin has joined #ocaml
alfredo has quit [Read error: Connection reset by peer]
alfredo has joined #ocaml
alfredo_ has joined #ocaml
cokanut has joined #ocaml
ygrek has quit [Ping timeout: 258 seconds]
wu_ng has quit [Ping timeout: 256 seconds]
wu_ng has joined #ocaml
alfredo has quit [Ping timeout: 264 seconds]
johnelse has joined #ocaml
cokanut has quit [Read error: Connection reset by peer]
wu_ng has quit [Ping timeout: 246 seconds]
kakadu has joined #ocaml
al-damiri has joined #ocaml
<companion_cube>
what does it bring to the table?
<adrien>
cheese and wine?
<companion_cube>
heh, sign me in! :D
* adrien
uses companion_cube's blood to sign a contract with the devil
<companion_cube>
hum, I don't bleed from eating cheese and wine
<companion_cube>
you must be mistaken
<adrien>
well, I'll need your blood if you want the food
<kakadu>
Folks, do you remember how this ocaml-based latex clone was called?
<thizanne>
patoline
jnavila_ has quit [Ping timeout: 264 seconds]
_andre has joined #ocaml
mpenet has joined #ocaml
mpenet has left #ocaml [#ocaml]
cokanut has joined #ocaml
nomicflux has joined #ocaml
trapz has joined #ocaml
jnavila_ has joined #ocaml
nomicflux has quit [Client Quit]
cokanut has quit [Read error: Connection reset by peer]
snowcrshd has quit [Remote host closed the connection]
yomimono has joined #ocaml
yomimono has quit [Ping timeout: 268 seconds]
murmour has joined #ocaml
jabroney has joined #ocaml
jack5638 has quit [Ping timeout: 256 seconds]
shinnya has joined #ocaml
TheLemonMan has joined #ocaml
govg has quit [Ping timeout: 268 seconds]
snowcrshd has joined #ocaml
sh0t has joined #ocaml
<companion_cube>
ah, ok, reason brings a JSX-like syntax extension or something in that vein
<Drup>
yeah, apparently the tyxml syntax extension is too heavy for their taste
<Drup>
(that was not sarcasm, I had a discussion with jordan about it)
<Drup>
they really want their custom syntax for function application that look like xml
yomimono has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
larhat has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
Simn has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
Simn has joined #ocaml
<mrvn>
Anyone know if it is save to setjmp before a syscll and longjump in the signal handler? That would skip any cleanup some libc wrapper around a syscall needs I fear.
larhat has quit [Quit: Leaving.]
<zozozo>
well, that's not a typical question one asks when coding in ocaml, :p
<Simn>
Is there a simple way of saying "type t can no longer be constructed from here on", basically what `type t = private t` would mean if it meant anything?
<Drup>
but the whole thing in a module and give it a module type where t is abstract
<Drup>
(or hidden)
<Drup>
s/but/put/
agarwal1975 has quit [Ping timeout: 260 seconds]
agarwal1975_ is now known as agarwal1975
cokanut has quit [Ping timeout: 246 seconds]
<Simn>
Is there some trick to avoid having to duplicate everything between the signature and the implementation? I've seen something utilizing `include` I think.
copy` has joined #ocaml
<Drup>
yeah, you can put the module type in another file and use include
<Drup>
you could also just put the module in question in its own file
<Drup>
you can cheat a bit with ppx_import too, but it's not ideal
ryanartecona has joined #ocaml
ollehar1 has joined #ocaml
<smondet[m]>
Simn: yes you need module abstration boudaries there
jao has joined #ocaml
th5 has joined #ocaml
agarwal1975_ has joined #ocaml
agarwal1975 has quit [Ping timeout: 260 seconds]
agarwal1975_ is now known as agarwal1975
marsam has quit [Remote host closed the connection]
marsam has quit [Remote host closed the connection]
agarwal1975_ has joined #ocaml
agarwal1975_ has quit [Client Quit]
agarwal1975 has quit [Ping timeout: 264 seconds]
spew has joined #ocaml
freusque has quit [Ping timeout: 258 seconds]
ygrek has quit [Ping timeout: 240 seconds]
freyr has joined #ocaml
<freyr>
Hi there, any news on modular implicits? Has anybody tried to install ocaml-variants.4.02.1+modular-implicits-ber with opam 2.0? It fails then I try to install it with some ambiguous error.
<freyr>
- unavailable for unknown reasons (this may be a bug in opam)
silver_ is now known as silver
<Drup>
freyr: that's due to the rewriting of opam repository for opam2's compiler-as-packages, it doesn't work very well on BER related stuff due to base-metaocaml-ocamlfind
slash^ has quit [Read error: Connection reset by peer]
<freyr>
Drup: so it's impossible to install it manually right now?