companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
sh0t has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
silver has quit [Quit: rakede]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 260 seconds]
cmk_zzz has quit [Quit: leaving]
peterpp__ has quit [Ping timeout: 240 seconds]
maxton_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
cranmax has quit [Quit: Connection closed for inactivity]
ziyourenxiang has quit [Ping timeout: 268 seconds]
enterprisey has joined #ocaml
swalk_ has joined #ocaml
swalk has quit [Ping timeout: 248 seconds]
swalk_ is now known as swalk
aantron_ has quit [Remote host closed the connection]
aantron_ has joined #ocaml
mfp__ has quit [Ping timeout: 260 seconds]
jlam__ has quit [Ping timeout: 248 seconds]
sh0t has quit [Remote host closed the connection]
<aantron_> dxtr: nice!
<aantron_> yeah, lwt was basically inherited by a bunch of volunteers and we need to improve the docs massively
<aantron_> have a whole project to track it, haven't really started properly doing it https://github.com/ocsigen/lwt/projects/2#card-3157309
ygrek has quit [Ping timeout: 276 seconds]
jlam_ has joined #ocaml
swalk has quit [Quit: swalk]
jao has quit [Remote host closed the connection]
samrat has joined #ocaml
jao has joined #ocaml
aantron_ has quit [Quit: leaving]
jao has quit [Ping timeout: 240 seconds]
swalk has joined #ocaml
iitalics has joined #ocaml
enterprisey has quit [Quit: Leaving]
enterprisey has joined #ocaml
sam____ has joined #ocaml
swalk has quit [Quit: swalk]
sam____ has quit [Ping timeout: 248 seconds]
MercurialAlchemi has joined #ocaml
_whitelogger_ has joined #ocaml
malc_ has joined #ocaml
ygrek has joined #ocaml
KeyJoo has quit [Ping timeout: 248 seconds]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
swalk has joined #ocaml
zwild has joined #ocaml
malc_ has quit [Remote host closed the connection]
Simn has joined #ocaml
iitalics has quit [Quit: /thread]
malc_ has joined #ocaml
MercurialAlchemi has joined #ocaml
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 255 seconds]
sam____ has joined #ocaml
zwild has quit [Remote host closed the connection]
sam____ has quit [Ping timeout: 246 seconds]
zwild has joined #ocaml
cross has quit [Ping timeout: 240 seconds]
cross has joined #ocaml
sam____ has joined #ocaml
KeyJoo has joined #ocaml
enterprisey has quit [Remote host closed the connection]
SomeDamnBody has joined #ocaml
<SomeDamnBody> Is there a way to retain the visited nodes of a given DFS traversal using ocamlgraph?
<SomeDamnBody> Like, say that I don't exactly have a tree, but I want to start at a given point. I want traversal to stop before going forward into the shared portion
swalk has quit [Quit: swalk]
KeyJoo has quit [Ping timeout: 240 seconds]
freusque has joined #ocaml
ygrek has quit [Ping timeout: 268 seconds]
dreadedfrog has joined #ocaml
andreas_ has joined #ocaml
Orion3k has quit [Quit: Leaving]
ia0 has quit [Quit: reboot]
ia0 has joined #ocaml
freusque has quit [Quit: WeeChat 1.9]
<shepard> Hello!
<shepard> I would like to make changes to a big library (TyXML, for instance), and to check that other big libraries (Eliom) do not fail to compile after these changes.
<shepard> Is there a simple way to do this?
<shepard> Should I use a custom opam switch?
<adrien> that would be my way to go
<shepard> Okay, I've never done that before, is there a blog post or detailed documentation about how to achieve this? :-)
<adrien> iirc the documentation is fairly good on this
<adrien> actually
<adrien> not an opam switch
freusque has joined #ocaml
<adrien> but pinning the modified package to its custom repository
<shepard> Nice, thank you for the pointers :-)
TheLemonMan has joined #ocaml
peterpp__ has joined #ocaml
alexelcu has quit [Quit: Ping timeout (120 seconds)]
qmm has quit [Ping timeout: 240 seconds]
tokenrove has quit [Ping timeout: 246 seconds]
razwelles has quit [Ping timeout: 240 seconds]
razwelles has joined #ocaml
relrod has quit [Ping timeout: 240 seconds]
tokenrove has joined #ocaml
qmm has joined #ocaml
relrod has joined #ocaml
relrod has quit [Changing host]
relrod has joined #ocaml
malina has joined #ocaml
freusque has quit [Ping timeout: 246 seconds]
freusque has joined #ocaml
kakadu has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 268 seconds]
malina has quit [Ping timeout: 246 seconds]
govg has quit [Quit: leaving]
malina has joined #ocaml
dakk has joined #ocaml
mfp__ has joined #ocaml
malina has quit [Ping timeout: 240 seconds]
sz0 has joined #ocaml
malc_ has quit [Remote host closed the connection]
peterpp__ has quit [Quit: Ex-Chat]
peterpp__ has joined #ocaml
argent_smith has joined #ocaml
zwild has quit [Remote host closed the connection]
govg has joined #ocaml
SomeDamnBody has quit [Remote host closed the connection]
samrat has quit [Ping timeout: 240 seconds]
copy_ has joined #ocaml
<kakadu_> Folks, does Haskell's `Compact regions` make sense in OCaml world?
<kakadu_> s/does/do/
<sspi> Hi, I'm catching the errors of lexing, parsing and typing - however I encountered one exception that escapes my catching: `let 5 = 6`, which results in a weird `Warning 8: this pattern-matching is not exhaustive`. Does anyone know where this comes from?
<sspi> apparently a `Partial_match` causes this message, should be enough to find the rest I guess
<def`> sspi: you can read let as a sugar for match
<def`> "match 6 with 5 -> ..."
govg has quit [Ping timeout: 268 seconds]
<def`> The 5 on the lhs is a pattern deconstructing integers. But only the case where this integer is 5 is covered.
<def`> Ah
<def`> You don't care about the reason, you want to catch it :D
<def`> Warnings are handled differently (other errors cause the compilation to fail, warnings are transmitted by "side-channels"):
<def`> grep "warning" in location.mli
<def`> In particular, you should be interested by Location.warning_printer.
<sspi> yeah, I'm there right now - trying to find a hook on it
govg has joined #ocaml
<sspi> seems like a too deep rabbit hole for now, I'll just use the current message as is - but might be worth to make more flexible.
peterpp__ has quit [Ping timeout: 240 seconds]
_andre has joined #ocaml
swalk has joined #ocaml
two_wheels has joined #ocaml
samrat_ has joined #ocaml
swalk has quit [Quit: swalk]
dhil has joined #ocaml
aciniglio has joined #ocaml
two_wheels has quit [Ping timeout: 240 seconds]
two_wheels has joined #ocaml
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 260 seconds]
kakadu has quit [Ping timeout: 255 seconds]
kakadu_ has joined #ocaml
sh0t has joined #ocaml
nahra``` has joined #ocaml
freusque has quit [Quit: WeeChat 1.9]
flo2 has quit [Remote host closed the connection]
nahra`` has quit [Remote host closed the connection]
flo2 has joined #ocaml
iZsh has quit [Ping timeout: 240 seconds]
stux|RC has quit [Ping timeout: 260 seconds]
dejanr has quit [Ping timeout: 260 seconds]
slack has quit [Disconnected by services]
iZsh has joined #ocaml
slack has joined #ocaml
slack has quit [Disconnected by services]
slack2 has joined #ocaml
<kakadu_> Folks, when we upgrade old 1.2 repo with opam 2.0 is it to be expected that compilers from old repo will be available?
ansiwen[q] has joined #ocaml
<Leonidas> anyone else using merlin in neovim? It can't find l:type and I believe this is due the python integration being broken in some way
stux|RC-only has joined #ocaml
ansiwen[q] has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
<Leonidas> oh, needed to restart the editor
ansiwen[q] has joined #ocaml
copy_ has quit [Quit: Connection closed for inactivity]
peterpp__ has joined #ocaml
ansiwen[q] has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
swalk has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 246 seconds]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
freusque has joined #ocaml
dakk has quit [Remote host closed the connection]
peterpp__ has quit [Ping timeout: 240 seconds]
samrat_ has quit [Ping timeout: 258 seconds]
maarhart_ has joined #ocaml
maarhart_ has quit [Client Quit]
samrat_ has joined #ocaml
ryanartecona has joined #ocaml
ziyourenxiang has joined #ocaml
freusque has quit [Quit: WeeChat 1.9]
al-damiri has joined #ocaml
FreeBirdLjj has joined #ocaml
soultadu has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
soultadu has quit [Quit: Mutter: www.mutterirc.com]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
jlam_ has quit [Read error: Connection reset by peer]
jlam_ has joined #ocaml
sepp2k has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 248 seconds]
sam____ has quit [Ping timeout: 248 seconds]
AdmWiggin has joined #ocaml
emias has quit [Ping timeout: 260 seconds]
tianon has quit [Ping timeout: 260 seconds]
iZsh has quit [Ping timeout: 240 seconds]
iZsh has joined #ocaml
pote_ has quit [Ping timeout: 260 seconds]
pote_ has joined #ocaml
ryanartecona has joined #ocaml
thomf00 has joined #ocaml
maxton has joined #ocaml
<thomf00> Hello! Ocaml 4.0.5 seems to break a dependency I have called ptmap. Is there a way I can install a different version of ocaml using brew? Otherwise I'd love some guidance on a fix.
<theblatte> thomf00: you can use opam to handle the compiler version and your OCaml dependencies for you
maxton has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
maxton has joined #ocaml
dhil_ has joined #ocaml
aegray_ has joined #ocaml
<thomf00> Thanks theblatte, trying opam switch 4.04.2
enterprisey has joined #ocaml
dhil has quit [Ping timeout: 260 seconds]
aciniglio has quit [Ping timeout: 260 seconds]
aegray has quit [Ping timeout: 260 seconds]
jlam__ has quit [Ping timeout: 260 seconds]
zv has quit [Ping timeout: 260 seconds]
maxton has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
maxton has joined #ocaml
thomf00 has quit [Quit: Page closed]
maxton has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
_berke_ has joined #ocaml
maxton has joined #ocaml
emias has joined #ocaml
maxton has quit [Client Quit]
maxton has joined #ocaml
enterprisey has quit [Remote host closed the connection]
zv has joined #ocaml
dhil_ has quit [Quit: Quit]
dhil has joined #ocaml
dhil has quit [Remote host closed the connection]
maxton has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
maxton has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
enterprisey has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
maxton has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
maxton has joined #ocaml
MercurialAlchemi has joined #ocaml
slash^ has joined #ocaml
jao has joined #ocaml
rwmjones has quit [Ping timeout: 255 seconds]
rwmjones has joined #ocaml
ansiwen[q] has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
maxton has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ansiwen[q] has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
ansiwen[q] has joined #ocaml
peterpp__ has joined #ocaml
maxton has joined #ocaml
dhil has joined #ocaml
maxton has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
sz0 has quit [Quit: Connection closed for inactivity]
ansiwen[q] has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
MercurialAlchemi has quit [Ping timeout: 268 seconds]
jao has quit [Ping timeout: 248 seconds]
enterprisey has quit [Ping timeout: 260 seconds]
ryanartecona has quit [Quit: ryanartecona]
sz0 has joined #ocaml
samrat_ has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
MercurialAlchemi has joined #ocaml
enterprisey has joined #ocaml
ygrek has joined #ocaml
jlongster has joined #ocaml
copy_ has joined #ocaml
TheLemonMan has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
argent_smith1 has joined #ocaml
maxton has joined #ocaml
argent_smith has quit [Ping timeout: 255 seconds]
jlam_ has joined #ocaml
malina has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
richi238 has joined #ocaml
zv has quit [Ping timeout: 260 seconds]
dhil has quit [Quit: Quit]
dhil has joined #ocaml
ryanartecona has joined #ocaml
ryanartecona has quit [Client Quit]
wende has joined #ocaml
<wende> Hi there! Anyone using this node?
<kakadu_> many people do
<wende> Nice!
<wende> I'm not an Ocaml programmer. Never used it. But I'm writing a language and I'm very interesed in how MC-Ocaml handles Algebraic Effects
<wende> You don't have any active Slack channel, do you?
<kakadu_> nope
<wende> That's a shame
<wende> Do you maybe know any sources I could find a subjective opinion from experienced Ocaml user on Algebraic Effects?
<Drup> wende: The algebraic effect people are active on discourse but are not around there
<Drup> Well ... algebraic effects are not merged (and are quite a time away of being merged), so not many people are using them yet
<Drup> (that being said, I'm very excited about being able to hack fabulous things with them)
<Drup> (and I'm not the only one :p)
<wende> Hmm... I saw Eff lang too, but I got the idea form Ocaml and Eff doesn't seem to be well tested yet (if tested at all)
<kakadu_> Drup: btw, which compiler do you use for effects? From which repo?
<Drup> Eff is clearly a research language
sepp2k has quit [Quit: Leaving.]
<Drup> kakadu_: the multicore switch, I would guess
<Drup> wende: you might be interested by Koka too: https://github.com/koka-lang/koka
<wende> My language is for Erlang VM, and I'm experienced Erlang/Elixir programmer. And want to hear someone sharing his opinion on type-safe process communication and generally control over effects
<kakadu_> Drup: do you use opam 2.0? Do you have any problems with importing the repo with opam 2.0?
<Drup> I use opam 2.0
<Drup> I haven't got any issue, but I haven't tried the MC switch
<kakadu_> wende: you can try to read somethin useful at http://kcsrk.info/blog/
<kakadu_> Drup: I'm confused. How do you get a compiler? Built manually?
Simn has quit [Quit: Leaving]
<Drup> kakadu_: *I* haven't tried it. That being said, it's like all compiler forks, make a compiler package if none is provided and switch to it.
<Drup> wende: effects are not for type-safe process communication
zv has joined #ocaml
<Drup> Or, well, you can use them like that, but that's not why they are in multicore OCaml
wende has quit [Ping timeout: 260 seconds]
<kakadu_> It seems that I parsed `I'm very excited about being able to hack fabulous things` in present tense but you didn't mean it :)
<kakadu_> sorry
<Drup> English is a treacherous language :<
enterprisey has quit [Read error: Connection reset by peer]
dhil has quit [Ping timeout: 246 seconds]
riveter has quit [Ping timeout: 255 seconds]
riveter has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
infinity0 has quit [Ping timeout: 255 seconds]
infinity0 has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
_andre has quit [Quit: leaving]
segmond has quit [Ping timeout: 240 seconds]
KeyJoo has joined #ocaml
peterpp__ has quit [Ping timeout: 240 seconds]
richi238 has quit [Ping timeout: 246 seconds]
pierpa has joined #ocaml
<dxtr> Hmm
<dxtr> Emacs can't quite handle the lwt camplp4 syntax
<dxtr> It completely screws up the indentation
jimt has quit [Ping timeout: 255 seconds]
jimt has joined #ocaml
swalk has quit [Quit: swalk]
rossberg_ has quit [Ping timeout: 255 seconds]
<Armael> yea, that's one reason why people move away from camlp4
<Armael> its by nature impossible to have good support for it in editors
<Armael> (in full generality at least)
rossberg_ has joined #ocaml
ryanartecona has joined #ocaml
argent_smith1 has quit [Quit: Leaving.]
govg has quit [Ping timeout: 260 seconds]
<dxtr> Oh, so ppx support is better?
<Armael> yes: camlp4 extensions can arbitrarily extend the syntax, while the syntax of extension nodes is set
<dxtr> That's cool
<Armael> (and then the metadata in these extension nodes is processed by the ppx extensions)
ryanartecona has quit [Quit: ryanartecona]
<dxtr> So maybe I should ditch the pgocaml camlp4 stuff
<Armael> no idea if there's a ppx equivalent though
malina has quit [Ping timeout: 260 seconds]
<dxtr> Well there are some forks
peterpp__ has joined #ocaml
malina has joined #ocaml
sh0t has quit [Remote host closed the connection]
ryanartecona has joined #ocaml
malina has quit [Ping timeout: 268 seconds]
andreas_ has quit [Quit: Connection closed for inactivity]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
segmond has joined #ocaml
deep-book-gk_ has joined #ocaml
deep-book-gk_ has left #ocaml [#ocaml]
jlongster has joined #ocaml
peterpp__ has quit [Ping timeout: 240 seconds]
ryanartecona has quit [Quit: ryanartecona]
ryanartecona has joined #ocaml