al-damiri has quit [Quit: Connection closed for inactivity]
jimt has joined #ocaml
_y has quit [Ping timeout: 250 seconds]
tobiasBora has quit [Ping timeout: 256 seconds]
kevinch has joined #ocaml
jao has joined #ocaml
brunoro has joined #ocaml
theblatte has quit [Ping timeout: 256 seconds]
theblatte has joined #ocaml
fedruantine has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
ryanartecona has quit [Quit: ryanartecona]
kevinch has quit [Quit: Computer has gone to sleep.]
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
_y has joined #ocaml
silver has quit [Read error: Connection reset by peer]
tobiasBora has joined #ocaml
agarwal1975 has joined #ocaml
marsam has joined #ocaml
marsam has quit [Read error: Connection reset by peer]
average has quit [Ping timeout: 260 seconds]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 250 seconds]
cpdean has quit [Quit: Leaving.]
fraggle_ has quit [Ping timeout: 260 seconds]
fraggle_ has joined #ocaml
cpdean has joined #ocaml
Heasummn has joined #ocaml
mfp has quit [Ping timeout: 256 seconds]
argent_smith has joined #ocaml
argent_smith has quit [Ping timeout: 260 seconds]
malc_ has joined #ocaml
wu_ng has joined #ocaml
malc_ has quit [Ping timeout: 244 seconds]
petroav has joined #ocaml
malc_ has joined #ocaml
malc_ has quit [Client Quit]
brunoro has joined #ocaml
kevinch has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
fluter has quit [Ping timeout: 250 seconds]
petroav has quit [Ping timeout: 260 seconds]
govg has quit [Ping timeout: 244 seconds]
fluter has joined #ocaml
Orion3k has quit [Quit: Leaving]
xcaptain has joined #ocaml
sh0t has quit [Remote host closed the connection]
brunoro has joined #ocaml
cpdean has quit [Quit: Leaving.]
brunoro has quit [Ping timeout: 250 seconds]
danieli has joined #ocaml
danieli has quit [Changing host]
danieli has joined #ocaml
mayathecat has joined #ocaml
john51 has quit [Ping timeout: 260 seconds]
john51 has joined #ocaml
wxfdglm has joined #ocaml
john51 has quit [Read error: Connection reset by peer]
mayathecat has quit [Remote host closed the connection]
zaquest has joined #ocaml
john51 has joined #ocaml
john51 has quit [Read error: Connection reset by peer]
john51 has joined #ocaml
argent_smith has joined #ocaml
john51 has quit [Read error: Connection reset by peer]
john51 has joined #ocaml
argent_smith has quit [Ping timeout: 260 seconds]
michbad has joined #ocaml
igitoor has quit [Ping timeout: 260 seconds]
igitoor has joined #ocaml
TarVanimelde has joined #ocaml
igitoor has quit [Ping timeout: 260 seconds]
igitoor has joined #ocaml
AlexRussia has quit [Ping timeout: 252 seconds]
govg has joined #ocaml
brunoro has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
brunoro has quit [Ping timeout: 252 seconds]
jao has quit [Ping timeout: 265 seconds]
nomicflux has quit [Quit: nomicflux]
theolaurent has joined #ocaml
govg has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
AlexDenisov has joined #ocaml
pwzoii has quit [Ping timeout: 260 seconds]
jimt has quit [Ping timeout: 256 seconds]
brunoro has joined #ocaml
pwzoii has joined #ocaml
wu_ng has quit [Read error: Connection reset by peer]
wu_ng has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
dmi3y has joined #ocaml
dmi3y has quit [Client Quit]
Heasummn has quit [Ping timeout: 260 seconds]
brunoro has joined #ocaml
argent_smith has joined #ocaml
dmi3y has joined #ocaml
brunoro has quit [Ping timeout: 250 seconds]
argent_smith has quit [Ping timeout: 245 seconds]
dmi3y has quit [Client Quit]
dmi3y has joined #ocaml
jimt has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dmi3y has quit [Quit: dmi3y]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
jimt has quit [Ping timeout: 248 seconds]
Algebr has joined #ocaml
kevinch has quit [Quit: Computer has gone to sleep.]
govg has joined #ocaml
noddy has quit [Ping timeout: 252 seconds]
rtuz has joined #ocaml
noddy has joined #ocaml
rtuz has quit [Quit: Page closed]
huop has joined #ocaml
malc_ has joined #ocaml
TarVanimelde has quit [Read error: Connection reset by peer]
Algebr has quit [Ping timeout: 245 seconds]
brunoro has joined #ocaml
slash^ has joined #ocaml
brunoro has quit [Ping timeout: 252 seconds]
jimt has joined #ocaml
MercurialAlchemi has joined #ocaml
michbad has quit [Remote host closed the connection]
mayathecat has joined #ocaml
mayathecat has left #ocaml [#ocaml]
freusque has joined #ocaml
wu_ng has quit [Remote host closed the connection]
jnavila has joined #ocaml
argent_smith has joined #ocaml
brunoro has joined #ocaml
wu_ng has joined #ocaml
Simn has joined #ocaml
govg has quit [Ping timeout: 256 seconds]
brunoro has quit [Ping timeout: 246 seconds]
argent_smith has quit [Ping timeout: 265 seconds]
Algebr has joined #ocaml
wxfdglm has quit [Quit: leaving]
<Algebr>
seliopou: ping
<Algebr>
seliopou: oh nvm, its like your 3am
malc_ has quit [Remote host closed the connection]
govg has joined #ocaml
zpe_ has joined #ocaml
brunoro has joined #ocaml
AltGr has joined #ocaml
freusque has quit [Ping timeout: 258 seconds]
brunoro has quit [Ping timeout: 256 seconds]
groovy2shoes has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
larhat has joined #ocaml
<Algebr>
darn, merlin not working with 4.04, Merlin failed with error: "Error: pervasives.cmi is not a compiled interface for this version of OCaml. It seems to be for a newer version of OCaml."
AlexDenisov has joined #ocaml
argent_smith has joined #ocaml
tobiasBora has quit [Ping timeout: 246 seconds]
zpe_ has quit [Remote host closed the connection]
_y has quit [Ping timeout: 260 seconds]
argent_smith1 has joined #ocaml
<reynir>
seems like a path issue
<reynir>
Are you on the correct switch and everything? :-)
_y has joined #ocaml
<Algebr>
ya
<Algebr>
trying again
<reynir>
Is your editor using the correct merlin too?
TarVanimelde has joined #ocaml
<Algebr>
I only have one switch
<Algebr>
yes
tobiasBora has joined #ocaml
argent_smith has quit [Ping timeout: 240 seconds]
<Algebr>
yep, just tried again with a new switch, sigh.
ontologiae has joined #ocaml
<def`>
Algebr: no released merlin support 4.04 now
<def`>
(current master does)
<def`>
(but that's a WIP)
dmi3y has joined #ocaml
dmi3y has quit [Client Quit]
<Algebr>
i c, then would be nice if the opam file for merlin had a ceiling of what it worked with
dmi3y has joined #ocaml
dmi3y has quit [Client Quit]
<reynir>
How come the error message is complaining about wrong version?
dmi3y has joined #ocaml
kamog` has joined #ocaml
kamog has quit [Ping timeout: 260 seconds]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 245 seconds]
xavierm02 has joined #ocaml
freusque has joined #ocaml
mfp has joined #ocaml
jnavila has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
adi___ has quit [Ping timeout: 260 seconds]
adi___ has joined #ocaml
dmi3y has quit [Quit: dmi3y]
zpe has joined #ocaml
<xavierm02>
Hi. Is there some way to have infix notations for types (or even just redefine 'a -> 'b) (other than writing my own camlp4 stuff) ?
<kakadu>
What does it mean `infix notation fo types`?
dmi3y has joined #ocaml
<xavierm02>
kakadu: Something like this: type ('a, 'b) (~>) = ('a, 'b) Map.t;;
<xavierm02>
And then being able to use it: fun (f : int ~> bool) -> ...
<reynir>
Not as far as I know
rand__ has joined #ocaml
<kakadu>
don't think so
<kakadu>
maybe you need a compiler patch
<kakadu>
I have seen this syntax in the talk about typed algebraic effects
<kakadu>
maybe it will be easy to just cherry-pick some patches
<kakadu>
happy hacking :)
<xavierm02>
Maybe later. I'll keep the normal syntax for now. Thanks :)
wu_ng has quit [Ping timeout: 260 seconds]
<Algebr>
does cohttp not support https yet?
<def`>
kakadu: the syntax in the effect talk is hardcoded, and will probably be reserved to algebraic effects
<def`>
you can hack around syntax with type constraints
<kakadu>
I do not really care about pretty arrows. Implicits are the another story :)
<reynir>
Algebr: it does, but you need something that provides ssl/tls, so `ssl` or `tls`
<def`>
type 'a f = MyArrow of 'b neg * 'c constraint 'a = 'b -> 'c
<def`>
And now you can use ('b -> 'c) f instead of 'b ~> 'c
<def`>
where the arrow is just a syntax thing and has no semantic meaning
<def`>
kakadu: :D...
<kakadu>
def`: btw, do you know a fine approach to solve a problem with types printing without implicits?
jnavila has joined #ocaml
<def`>
kakadu: no, this is inherently non-parametric, so implicit are the right solution
<kakadu>
Any crazy idea maybe?
d0nn1e has quit [Ping timeout: 256 seconds]
<kakadu>
My scuentific advisor is really agaist implicits
<kakadu>
scientific*
<def`>
why is that?
<kakadu>
He says that they are too... wet, as we say here
<kakadu>
not mature enough
d0nn1e has joined #ocaml
<kakadu>
and there some issues with rectypes
<def`>
ah sure, I can't blame him
<kakadu>
But man, it is a science
<kakadu>
A research about mini languages which will never go to production
<kakadu>
We don't need maturity there and be production-ready
<kakadu>
I have a strange feeling that computer science researchs some stuff which is always immature (hence useless)
<kakadu>
except maybe the guys fom OCamlLabs with feffects and multicority
<kakadu>
this stuff that I talked about in last ICFP. It is terrible pain to write programs in minikanren because to make programs terminate you need to swap some lines in a random way
<kakadu>
And it will work when first argument is a value and second is a logic variable.
<kakadu>
but for opposite case you need to reverse order of subformulas in your formula
<kakadu>
So, there is no right solution which will work for any input.
<kakadu>
TT
<kakadu>
okay
<kakadu>
it probably was not the right topic for this chat
jnavila has quit [Ping timeout: 258 seconds]
<kakadu>
But I still want to know the answer does the computer science always work on useless stuff.
<Algebr>
hannes: was there plans to make lwt use ocaml-tls instead of the bindings to openssl?
<Algebr>
were*
average has joined #ocaml
wxfdglm has joined #ocaml
brunoro has joined #ocaml
TarV has joined #ocaml
_andre has joined #ocaml
jnavila has joined #ocaml
TarVanimelde has quit [Ping timeout: 258 seconds]
<Algebr>
I want to make a https server with cohttp + ocaml-tls, seems like a few moving parts that need to be glued together
<hannes>
Algebr: I don't have any resources for that.. I'm sure a PR to lwt may be considered by the lwt people.
<Algebr>
hannes: your blog is running https, is that with cohttp + ocaml-tls
TarV has quit [Read error: Connection reset by peer]
pierpa has quit [Ping timeout: 258 seconds]
brunoro has joined #ocaml
rand__ has quit [Ping timeout: 260 seconds]
al-damiri has joined #ocaml
brunoro has quit [Ping timeout: 250 seconds]
kakadu_ has joined #ocaml
Algebr` has joined #ocaml
kakadu has quit [Ping timeout: 250 seconds]
<hannes>
Algebr: si
<hannes>
Algebr: using conduit in between...
Algebr has quit [Ping timeout: 260 seconds]
<Algebr`>
need to look at the source to see how it works
<Algebr`>
thanks!
brunoro has joined #ocaml
<hannes>
Algebr`: the source is likely a bit hard to read since the http stack spans over conduit, mirage-http and cohttp... sorry for that (but it's not my code, I'm just using other projects ;)
jwatzman|work has joined #ocaml
<Algebr`>
there's mirage-http too?
Algebr` has quit [Ping timeout: 244 seconds]
brunoro has quit [Ping timeout: 244 seconds]
xcaptain has quit [Ping timeout: 265 seconds]
dakk has joined #ocaml
freusque has quit [Quit: WeeChat 1.5]
sepp2k has joined #ocaml
fluter has quit [Ping timeout: 246 seconds]
freusque has joined #ocaml
zaquest has quit [Read error: Connection reset by peer]
zaquest has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zaquest has quit [Read error: Connection reset by peer]
xavierm02 has quit [Quit: Page closed]
ee_ks has joined #ocaml
govg has joined #ocaml
brunoro has joined #ocaml
noddy has quit [Ping timeout: 245 seconds]
nickapos has quit [Ping timeout: 268 seconds]
noddy has joined #ocaml
TarVanimelde has joined #ocaml
<companion_cube>
is there any chance that metaOCaml will be merged into mainstream eventually?
zpe has joined #ocaml
lyxia has quit [Remote host closed the connection]
lyxia has joined #ocaml
<kakadu_>
don't think so
<kakadu_>
btw it seems to work only for bytecode
<kakadu_>
Am I right?
<kakadu_>
( I was told, didn't check myself)
<companion_cube>
I don't know how it is right now
sepp2k has quit [Ping timeout: 260 seconds]
freusque has quit [Ping timeout: 260 seconds]
rwmjones has quit [Ping timeout: 250 seconds]
Sim_n has joined #ocaml
Simn has quit [Ping timeout: 260 seconds]
Algebr` has joined #ocaml
rwmjones has joined #ocaml
ee_ks has left #ocaml [#ocaml]
agarwal1975 has quit [Quit: agarwal1975]
wagle has quit [Remote host closed the connection]
wagle has joined #ocaml
sepp2k has joined #ocaml
kamog` is now known as kamog
govg has quit [Ping timeout: 258 seconds]
petroav has joined #ocaml
TarVanimelde has quit [Read error: Connection reset by peer]
copy` has joined #ocaml
govg has joined #ocaml
sepp2k has quit [Ping timeout: 256 seconds]
Denommus has joined #ocaml
sepp2k has joined #ocaml
rgrinberg has joined #ocaml
<edwin>
kakadu_: http://okmij.org/ftp/ML/MetaOCaml.html#native looks like the generated code could be compiled with ocamlopt too, it is the meta-generator that is bytecode-only IIUC
govg has quit [Ping timeout: 265 seconds]
rgrinberg has quit [Remote host closed the connection]
d0nn1e has quit [Ping timeout: 260 seconds]
d0nn1e has joined #ocaml
govg has joined #ocaml
yomimono has joined #ocaml
petroav has quit [Ping timeout: 260 seconds]
jao has joined #ocaml
fraggle_ has quit [Ping timeout: 246 seconds]
nomicflux has joined #ocaml
th5 has joined #ocaml
silver has joined #ocaml
zaquest has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
nickapos has joined #ocaml
fraggle_ has joined #ocaml
fraggle_ has quit [Ping timeout: 260 seconds]
malc_ has joined #ocaml
agarwal1975 has joined #ocaml
huop has quit [Quit: Page closed]
cpdean has joined #ocaml
nomicflux has quit [Quit: nomicflux]
gjaldon has joined #ocaml
Algebr` has quit [Ping timeout: 268 seconds]
gjaldon has quit [Remote host closed the connection]
freusque has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 248 seconds]
zpe has quit [Remote host closed the connection]
orbifx has joined #ocaml
<orbifx>
is there a way to embed a cstruct record into another cstruct record?
shinnya has joined #ocaml
blackfry has quit [Ping timeout: 260 seconds]
blackfry has joined #ocaml
noddy has quit [Ping timeout: 250 seconds]
frefity has quit [Ping timeout: 265 seconds]
nomicflux has joined #ocaml
wxfdglm has quit [Quit: leaving]
rgrinberg has joined #ocaml
frefity has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
<sgronblo>
could someone explain to me why ocaml cant figure out that a type is correct if i have an explicit type in my .mli file but it can when i write the type right into my .ml file
<Drup>
I'm not sure I understand what you mean
jeffmo has joined #ocaml
marsam has joined #ocaml
<edwin>
sgronblo: is the inferred type not polymorphic enough? could you give us an example of the type in the mli file, and the type error in your ml file?
govg has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
freusque has quit [Quit: WeeChat 1.5]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
noddy has joined #ocaml
<aantron>
Algebr: hannes: PRs/discussions about Lwt_ssl welcome. one possibility is that Lwt_ssl shouldn't be in the base lwt, however.
<hannes>
aantron: I'm in favour of not having ssl in lwt. OTOH since it is there, it might be sensible to have the choice between OpenSSL and OCaml-TLS. but I'm busy enough with other things that I'll unlikely do anything in that regards this year.
AlexDenisov has joined #ocaml
mfp has quit [Ping timeout: 248 seconds]
AlexRussia has joined #ocaml
larhat has quit [Quit: Leaving.]
freusque has joined #ocaml
mfp has joined #ocaml
cyraxjoe has quit [Ping timeout: 245 seconds]
argent_smith has joined #ocaml
argent_smith1 has quit [Ping timeout: 256 seconds]
ryanartecona has joined #ocaml
frefity has quit [Ping timeout: 252 seconds]
dmi3y has quit [Quit: dmi3y]
pygeek has joined #ocaml
<pygeek>
What's the best environment for an avid IntelliJ user?
jnavila has quit [Quit: It was time]
sh0t has joined #ocaml
govg has joined #ocaml
noddy has quit [Ping timeout: 244 seconds]
frefity has joined #ocaml
rossberg has quit [Ping timeout: 260 seconds]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zpe has joined #ocaml
brunoro has quit [Ping timeout: 265 seconds]
zpe has quit [Remote host closed the connection]
jwatzman|work has quit [Quit: jwatzman|work]
marsam has quit [Read error: Connection reset by peer]
<aantron>
hannes: im in favor of deprecating Lwt_ssl and recommending other libraries, but i haven't had time to fully evaluate this. ocaml-tls appears to have lwt support. an lwt-friendly binding to openssl may or may not still be useful, but i prefer for it to be a separate library over lwt
thomasga has joined #ocaml
noddy has joined #ocaml
<thomasga>
what's the proper way to pass `-I dir` arguments to cmxs rules with ocamlbuild
<thomasga>
seems that `<dir>: include` is not taken into account
<hannes>
aantron: +1 and yes, in OCaml-TLS we have one effectful layer on top of lwt, another for mirage. deprecating lwt_ssl would imho be a good idea (and moving it to a separate library) -- I looked through the interface some time ago and AFAIR wasn't able to easily reuse the very same for a OCaml-TLS-lwt layer
freusque has quit [Ping timeout: 265 seconds]
<aantron>
+2 :p it sounds good. i guess neither one of us has time to work on this right now. i would prefer a separate lwt_ssl to have a separate (from me) maintainer, but otherwise i will get to it eventually after dealing with other lwt tasks. if/when you get around to this (next year..), i'll give it priority
yomimono has quit [Ping timeout: 256 seconds]
Anarchos has joined #ocaml
<hannes>
since there is a (working) library tls.lwt provided by OCaml-TLS, I'm happy with the current situation (more or less)... one goal might be to unify the API so that clients can swap between lwt_ssl and tls.lwt, but considering the huge gap between OpenSSL and OCaml-TLS API, this might not be achievable (though libnqsb-tls which are reverse C stubs for tls.h (the OpenBSD condensed TLS API) achieves this - replacing Open/LibreSSL shared object with an OCaml-TLS
<aantron>
hannes: i'm thinking to eventually link quality lwt-based or lwt-compatible libraries from the lwt readme and/or manual. any combination of ocaml-tls, factored-out lwt_ssl, and/or a compatibility API could be included. the same goes for the eventual deprecation message of the current lwt_ssl
Algebr` has joined #ocaml
noddy has joined #ocaml
brunoro has joined #ocaml
kevinch has joined #ocaml
kakadu_ is now known as Kakadu_afk
Kakadu_afk has quit [Quit: Konversation terminated!]
slash^ has quit [Read error: Connection reset by peer]
brunoro has quit [Ping timeout: 244 seconds]
jnavila has quit [Ping timeout: 260 seconds]
thomasga has left #ocaml [#ocaml]
kevinch has quit [Quit: Computer has gone to sleep.]
jnavila has joined #ocaml
AlexDenisov has joined #ocaml
fluter has joined #ocaml
<companion_cube>
it's nice that aantron is decided to trim down lwt
<companion_cube>
just at the same time I'm thinking of trimming down containers :p
kamog has quit [Quit: ERC (IRC client for Emacs 25.1.1)]
<aantron>
:p
<aantron>
among other things, it might be one way to get more people working on lwt :)
jwatzman|work has joined #ocaml
ewanas has quit [Changing host]
ewanas has joined #ocaml
jwatzman|work has quit [Client Quit]
fluter has quit [Read error: Connection reset by peer]
fluter has joined #ocaml
yomimono has joined #ocaml
noddy has quit [Ping timeout: 256 seconds]
orbifx has quit [Ping timeout: 252 seconds]
jnavila has quit [Ping timeout: 256 seconds]
veggie_ has joined #ocaml
fraggle_ has joined #ocaml
yomimono has quit [Ping timeout: 248 seconds]
kevinch has joined #ocaml
freusque has quit [Quit: WeeChat 1.4]
Orion3k has joined #ocaml
<rgrinberg>
so is the plan for lwt_ssl to get kicked out of the lwt git repo?
kakadu has joined #ocaml
brunoro has joined #ocaml
sh0t has quit [Ping timeout: 250 seconds]
brunoro has quit [Ping timeout: 260 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
<pippijn>
gasche really likes to write long emails
<pippijn>
companion_cube: where is gasche by the way?
<companion_cube>
I think he's still in the US
<pippijn>
I see, ok
<companion_cube>
(yes, he does like to explain his thinking in details)
<companion_cube>
(it's a good thing)
<pippijn>
I like it
dmi3y has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
Algebr` has quit [Ping timeout: 268 seconds]
madroach has joined #ocaml
malc_ has quit [Remote host closed the connection]
_andre has quit [Quit: leaving]
jnavila has joined #ocaml
freusque has joined #ocaml
sepp2k has quit [Quit: Leaving.]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 248 seconds]
ryanartecona has joined #ocaml
noddy has joined #ocaml
freusque has quit [Ping timeout: 260 seconds]
<aantron>
rgrinberg: in the ultra long term, at this point, yes
ee_ks has joined #ocaml
average has joined #ocaml
ee_ks has left #ocaml [#ocaml]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
marsam has joined #ocaml
Algebr` has joined #ocaml
sh0t has quit [Ping timeout: 245 seconds]
pierpa has joined #ocaml
rand__ has joined #ocaml
rand__ has quit [Client Quit]
sh0t has joined #ocaml
brunoro has joined #ocaml
<rgrinberg>
aantron: that would be unfortunate IMO. If anything it would make maintenance harder considering it force you to consider compat. with lwt-ssl. I having extra bug trackers for tiny little libraries will not be well received either.
<rgrinberg>
How about just splitting lwt into multiple opam packages in 1 git repo?
freusque has joined #ocaml
brunoro has quit [Ping timeout: 248 seconds]
sh0t has quit [Read error: Connection reset by peer]
sh0t has joined #ocaml
dmi3y has quit [Quit: dmi3y]
marsam has quit [Read error: Connection reset by peer]
nore has quit [Ping timeout: 256 seconds]
Denommus has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
<Drup>
rgrinberg: I think aantron want to kick it out of the opam package
elfring has quit [Quit: Konversation terminated!]
freusque has quit [Ping timeout: 260 seconds]
eitan has joined #ocaml
<eitan>
hello, what is the equivalent of `undefined :: a` from Haskell in OCaml? Thanks.
<Drup>
it doesn't really exist
<Drup>
what do you want to do with it ?
<eitan>
just stub out parts of my code while I build it
<eitan>
there's no bottom value?
<Drup>
no, there is no bottom value in OCaml
<eitan>
ok, interesting, thanks
<Drup>
you can just do "let f x y z = assert false"
<eitan>
ahhh...`assert false`, thanks
eitan has quit [Ping timeout: 260 seconds]
th5 has quit []
eitanChatav has joined #ocaml
eitanChatav has quit [Ping timeout: 260 seconds]
jnavila has quit [Ping timeout: 256 seconds]
marsam has joined #ocaml
brunoro has joined #ocaml
<aantron>
rgrinberg: perhaps, i havent fully thought it through. maybe a separate opam package is sufficient, and more people maintaining/regularly contributing to lwt that are using some of the packages on a more ongoing basis (lwt_ssl, lwt_glib)
nomicflux has quit [Quit: nomicflux]
<aantron>
but i won't remove it soon anyway. the goal is to get these modules maintained efficiently
<aantron>
so i will be figuring that out
brunoro has quit [Ping timeout: 268 seconds]
kakadu has quit [Remote host closed the connection]
marsam has quit [Read error: Connection reset by peer]
breitenj has quit [Ping timeout: 252 seconds]
silver has quit [Quit: rakede]
ryanartecona has quit [Quit: ryanartecona]
argent_smith has quit [Quit: Leaving.]
AltGr has left #ocaml [#ocaml]
jeffmo has quit [Quit: jeffmo]
dakk has quit [Ping timeout: 258 seconds]
brunoro has joined #ocaml
sillyotter has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]