adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.08 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.08/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
AtumT has quit [Quit: AtumT]
cemerick has quit [Ping timeout: 258 seconds]
cemerick has joined #ocaml
ziyourenxiang_ has quit [Quit: Leaving]
_whitelogger has joined #ocaml
vicfred has joined #ocaml
Vikfret has joined #ocaml
mfp has quit [Ping timeout: 272 seconds]
oni-on-ion has quit [Ping timeout: 264 seconds]
oni-on-ion has joined #ocaml
jao has quit [Ping timeout: 248 seconds]
Jeanne-Kamikaze has joined #ocaml
tormen_ has joined #ocaml
q9929t has joined #ocaml
tormen has quit [Ping timeout: 248 seconds]
ziyourenxiang has joined #ocaml
gravicappa has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
liberiga has quit [Ping timeout: 260 seconds]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
ggole has joined #ocaml
q9929t has quit [Ping timeout: 258 seconds]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
Birdface has joined #ocaml
dmiles has quit [Ping timeout: 245 seconds]
oni_on_ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
q9929t has joined #ocaml
liberiga has joined #ocaml
oni_on_ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
dmiles has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
arbipher has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
infinity0 has joined #ocaml
Jeanne-Kamikaze has quit [Remote host closed the connection]
q9929t1 has joined #ocaml
q9929t has quit [Ping timeout: 245 seconds]
q9929t1 is now known as q9929t
q9929t has quit [Read error: Connection reset by peer]
kakadu_ has joined #ocaml
zolk3ri has joined #ocaml
Vikfret has quit [Quit: Leaving]
sagax has quit [Ping timeout: 258 seconds]
vicfred has quit [Quit: Leaving]
sagax has joined #ocaml
dmiles has quit [Read error: No route to host]
dmiles has joined #ocaml
oni-on-ion has joined #ocaml
pyan has quit [Quit: brb]
pyan has joined #ocaml
_whitelogger has joined #ocaml
Serpent7776 has joined #ocaml
Facebird has joined #ocaml
Facebird has quit [Max SendQ exceeded]
oni-on-ion has quit [Remote host closed the connection]
Facebird has joined #ocaml
Birdface has quit [Ping timeout: 250 seconds]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
hilmipilmi has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
hilmipilmi63 has joined #ocaml
hilmipilmi63 has quit [Remote host closed the connection]
hilmipilmi has quit [Remote host closed the connection]
dimitarvp has joined #ocaml
dimitarvp has quit [Client Quit]
mfp has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
hilmipilmi has joined #ocaml
<hilmipilmi> I'm new to ocaml and try to install use Fmt to pretty-print (at least I think that's what Fmt does): https://github.com/dbuenzli/fmt . however while "opam install fmt" seems to work I'm wondering howto use the Fmt module: "open Fmt;;" jealds unbound.
<ggole> You might need to instruct the tools to load that library, eg, #require "fmt";; in the toplevel
<hilmipilmi> inside "ocaml" I can do that but when trying to compile with ocamlc using "open Fmt;;" I get an unbound error.
<hilmipilmi> Maybe fmt can only be used in "ocaml" REPL and not when compiling?
<Drup> how are you compiling ? Are you calling the compiler by hand ?
<hilmipilmi> yes. I clone the git repo and go to test/ and do a ocamlc test.ml. I try to add "open Fmt;;" in test.ml before.
<Drup> right, you need to tell ocamlc where to find the libraries
<Drup> I'm pretty sure your repository has a build system, use it.
<hilmipilmi> Not shure what the build-system of https://github.com/dbuenzli/fmt is...
<hilmipilmi> opam install fmt
<hilmipilmi> [NOTE] Package fmt is already installed (current version is 0.8.7).
<Drup> No, I mean, the build system for your tests.
<hilmipilmi> but then I try to compile https://github.com/dbuenzli/fmt/test/test.ml: ocamlfind ocamlc -package fmt test.ml
<Drup> Why are you trying to change fmt's test if you just want to use it ?
<hilmipilmi> There is only a "opam" file...
<hilmipilmi> I get the error: Error: Required module `Fmt' is unavailable
liberiga has quit [Ping timeout: 260 seconds]
leah2 has quit [Ping timeout: 245 seconds]
hilmipilmi has quit [Remote host closed the connection]
leah2 has joined #ocaml
<dmbaturin> Drup: Do you know of any projects using lua-ml now?
<Drup> lol, no
count3rmeasure has joined #ocaml
<dmbaturin> Ok, then I will be the first.
<dmbaturin> Need to get my head around actually extending it. I'm still confused when it comes to passing abstract type values to lua.
<Drup> I do have a cleanup branch to update the packaging
<dmbaturin> Yeah, that's why I'm asking _you_ rather than lindig. :)
<dmbaturin> I've built it straight from your fork.
<Drup> If you start using it, it would be nice to get rights to the repository, or even better: pull it in a organization
<Drup> I didn't felt involved enough to really get into the trouble of trying to contact him
<Drup> lindig is not the original author anyway
<dmbaturin> Wait, who's the original author?
<dmbaturin> Maybe make a fork and hijack the project? :)
<dmbaturin> Since your PR wasn't merged in a year despite its obvious usefulness and the fact it works just fine, I assume lindig has no time to look after the project anyway.
<Drup> or he doesn't have github notification enables and doesn't look at it
<Drup> or he missed it
<Drup> Try to contact him properly (by email, or whatever) and ask for permissions before forking aggressively
jao has joined #ocaml
jnavila has joined #ocaml
<dmbaturin> Drup: Just done that.
<Drup> see, everything works out ;)
<dmbaturin> Drup: So, who's going to be the point guy for the project? :)
<dmbaturin> I don't exactly feel qualified, though I'm afraid if I'm to use it, I'll have to fix that.
count3rmeasure has quit [Quit: Leaving]
count3rmeasure has joined #ocaml
_whitelogger has joined #ocaml
<Drup> as I said, I don't feel involved enough. You should take point
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
jnavila has quit [Ping timeout: 264 seconds]
jnavila has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
something_else has joined #ocaml
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
something_else has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
something-else has joined #ocaml
<something-else> Hello
<something-else> If I enable the '--table' switch in ocaml for menhir by a dune flag is there any reason why this might break a build that is already using the monolithic parser api?
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
<dmbaturin> something-else: Doing it and not linking menhirlib in may cause problems.
<something-else> I have linked menhirLib :)
<something-else> i added it as a library
<dmbaturin> Then it should be fine. The "classic" approach doesn't need menhirlib, which may be an advantage.
<something-else> I actually get a type error, in the substitution which seems non-sensical to me.
<something-else> dmbaturin error http://paste.debian.net/1093357/ and parser http://paste.debian.net/1093358/ . is it possible that the type inference changes when i switch to tables?
<dmbaturin> This is interesting.
<dmbaturin> I never tried switching an existing project to tables without also switching to the incremental API, to be fair. Sounds like a question for menhir's mailing list.
<dmbaturin> The error suggests that it indeed does change.
<something-else> it does work though on the demos
<something-else> i don't see any reason why it should break since the old api is exposed anyway when you enable --table
<something-else> actually it turns out that if i switch to dune 1.9 it fixes it haha
<dmbaturin> Now it's even more interesting.
<something-else> i mean menhir 2.0 sorry
<something-else> haha
<something-else> thank you very much, i got it to compile and pass test i am very happy
<dmbaturin> Ah.
<dmbaturin> something-else: Making your own language?
<something-else> dmbaturin i'm helping to write one, it is not turing complete called Scilla
<dmbaturin> Does it eat the data if it gets to close? ;)
<something-else> I'm so sorry I don't get it, I only know lambda calculus jokes
amiloradovsky has joined #ocaml
zolk3ri has quit [Ping timeout: 260 seconds]
<dmbaturin> something-else: Actually, that one is spelled Scylla.
<dmbaturin> I only know enough ancient greek to pretend I'm smart, don't worry. ;)
<something-else> i'm so unimpressed :)
<dmbaturin> What the language is like?
<dmbaturin> https://en.wikipedia.org/wiki/Scylla This is the one.
zolk3ri has joined #ocaml
count3rmeasure has quit [Quit: Leaving]
<something-else> dmbaturin no it is not on wiki, it is https://scilla-lang.org/ . it is based on system-f (polymorphic lambda calculus) that doesn't expose recursion to the user except through recursion schemes
<something-else> it is pretty verbose, meant to be a compile target
something-else has quit [Quit: Ping timeout (120 seconds)]
AtumT has joined #ocaml
ziyourenxiang has quit [Ping timeout: 245 seconds]
jao has quit [Ping timeout: 248 seconds]
arbipher has joined #ocaml
GreyFaceNoSpace has joined #ocaml
leah2 has quit [Ping timeout: 264 seconds]
tane has joined #ocaml
leah2 has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
GreyFaceNoSpace has quit [Quit: Ex-Chat]
jao has joined #ocaml
leah2 has quit [Ping timeout: 276 seconds]
leah2 has joined #ocaml
Jeanne-Kamikaze has joined #ocaml
vicfred has joined #ocaml
leah2 has quit [Ping timeout: 276 seconds]
leah2 has joined #ocaml
jbrown has quit [Ping timeout: 250 seconds]
sspi__ has quit [Read error: Connection reset by peer]
lynn has quit [Read error: Connection reset by peer]
sspi__ has joined #ocaml
robmyers has quit [Read error: Connection reset by peer]
lynn has joined #ocaml
robmyers has joined #ocaml
jbrown has joined #ocaml
ggole has quit [Quit: Leaving]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
sonologico has quit [Ping timeout: 245 seconds]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
thangngoc89 has joined #ocaml
Serpent7776 has quit [Quit: leaving]
thangngoc89 has quit [Remote host closed the connection]
sonologico has joined #ocaml
zapashcanon has quit [Quit: Cheers !]
zapashcanon has joined #ocaml
zapashcanon has joined #ocaml
zapashcanon has quit [Changing host]
jnavila has quit [Remote host closed the connection]
Facebird has quit [Quit: Leaving]
___laika has joined #ocaml
<tane> what's the main way to unify all these different result types? currently having trouble unwrapping from [Fpath.of_string]
<tane> Result.get_ok does not work for Unbound value
Jeanne-Kamikaze has quit [Quit: Leaving]
<dmbaturin> Wait, which different result types?
<tane> utop # Fpath.of_string "/home/X" |> Result.get_ok;;
<tane> Error: This expression has type ('a, 'b) result -> 'a
<tane> but an expression was expected of type
<tane> (Fpath.t, [ `Msg of string ]) Result.result -> 'c
<tane> Type ('a, 'b) result is not compatible with type
<tane> (Fpath.t, [ `Msg of string ]) Result.result
<tane> am I missing something obvious here? been out of the ocaml game for a few years :)
<tane> I use 4.08.0
<dmbaturin> Ah, it's using a backwards-compatibility result module I assume. You likely need to use get_ok equivalent from that module.
<dmbaturin> It can be a bit of a mess indeed.
<dmbaturin> Where does Fpath come from by the way?
<dmbaturin> Using a polymorphic variant for the error sounds like an odd design decision.
<tane> https://erratique.ch/software/fpath : it depends on the result compatibility package from opam
<tane> ok, this compat module seems to have no functionality whatsoever
<dmbaturin> You'll have to match it by hand then.
<tane> yes, I'll do that then and use stdlib's result, that's more future proof :)
<dmbaturin> By the way, I made fileutils great^W windows-compatible again lately.
<hannes> tane: i think the way forward is to kindly report an issue and ask for a release of fpath which does not use the result package (which will then be 4.03+) :)
<tane> yes
<dmbaturin> No one really uses ocaml from distros anyway I think, I see no reason why anything may want to be <4.03 compatible by now.
<tane> thanks for your help, I'll have a look at it again to-morrow, and will check fileutils before continuing :)
oni-on-ion has joined #ocaml
tane has quit [Quit: Leaving]
<Leonidas> dmbaturin: bucklescript?
<Leonidas> according to the config you can configure it to do 4.06 or something?
kakadu_ has quit [Remote host closed the connection]
jmiven has quit [Quit: reboot]
<dmbaturin> Yeah, it has 4.06 now. Besides, with Fpath specifically, bucklescript is not a concern at all. :)
jmiven has joined #ocaml
jmiven has quit [Client Quit]
jmiven has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
ziyourenxiang has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
amiloradovsky has quit [Ping timeout: 244 seconds]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Ping timeout: 264 seconds]