adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
jmorris has joined #ocaml
huuluuvuu has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
huuluuvuu has quit [Remote host closed the connection]
nullcone has quit [Quit: Connection closed for inactivity]
jmorris has quit [Quit: Leaving]
borne has quit [Ping timeout: 260 seconds]
ksft has quit [Ping timeout: 246 seconds]
madroach_ has joined #ocaml
pigeonv has quit [Ping timeout: 244 seconds]
madroach has quit [Ping timeout: 256 seconds]
nullcone has joined #ocaml
mfp has quit [Ping timeout: 256 seconds]
borne has joined #ocaml
ksft has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
_whitelogger has joined #ocaml
vicfred has quit [Quit: Leaving]
landonf_ has joined #ocaml
lix has quit [Ping timeout: 260 seconds]
landonf has quit [Ping timeout: 260 seconds]
landonf_ is now known as landonf
lix has joined #ocaml
Guest86335 has quit [Ping timeout: 264 seconds]
narimiran has joined #ocaml
borne has quit [Ping timeout: 240 seconds]
borne has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]
_whitelogger has joined #ocaml
vicfred has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
vicfred has quit [Quit: Leaving]
osa1 has joined #ocaml
Guest82115 is now known as kandu
borne has quit [Ping timeout: 244 seconds]
nullcone has joined #ocaml
bartholin has joined #ocaml
bartholin has quit [Client Quit]
bartholin has joined #ocaml
bartholin has quit [Client Quit]
Haudegen has joined #ocaml
dborisog has joined #ocaml
Tuplanolla has joined #ocaml
dckc has quit [Ping timeout: 258 seconds]
webshinra has quit [Remote host closed the connection]
dckc has joined #ocaml
olle has joined #ocaml
borne has joined #ocaml
malc_ has joined #ocaml
testtest has joined #ocaml
<testtest> hello all
<testtest> do you know if it is possible to use the graphics library using toplelvel with version 4.09 ?
<testtest> i am having trouble making it work for the moment
<malc_> testtest: graphics was removed in 4.09
<testtest> indeed
<testtest> my solution for the moment is to switch to a previous version
<testtest> so no hope for using graphics in toplevel with 4.09+ ?
<octachron> More precisely, graphics is an ordinary library
<octachron> Once graphics is installed, and you require it as any ordinary library, it should work?
<testtest> you mean with utop ?
<octachron> (aka "it works for me")
<testtest> i want to use the regular toplevel
<octachron> Or with ocaml and topfind
<testtest> oh indeed i have require
<testtest> i get the 'usual' error i get
<testtest> File /usr/local/lib/ocaml/graphics.cma is not a bytecode object file.
nullcone has quit [Quit: Connection closed for inactivity]
<octachron> This sounds like your system installation of graphics from another version of OCaml
<octachron> Are you using a full opam installation of OCaml?
<testtest> indeed when i try to "open Graphics;;" i get Error: /usr/local/lib/ocaml/graphics.cmi is not a compiled interface for this version of OCaml.It seems to be for an older version of OCaml.
<testtest> well i think i may have installed it via source at some point
<octachron> And did you install graphics with opam?
<testtest> recently yes
<testtest> but there may be leftovers i guess ?
<testtest> so it seems
<testtest> i have trouble removing ocaml altogether from my pc
<octachron> You might want to check which ocaml and ocamlfind you are using.
<testtest> well right now the default from opam
<testtest> but i know when i remove opam he goes to /usr/local/bin/ocaml
<testtest> and i haven't been able to remove that one no matter what i do
<testtest> i purge from apt and this was not enough
<octachron> If you installed by source yourself, apt will not remove it.
<octachron> By default, do you mean that you created a new switch once opam was installed, or are you using the system switch?
<octachron> You can check that by using "$ opam switch"
<testtest> i get "# switch compiler description→ default ocaml-system.4.09.0 default"
<testtest> i get "# switch compiler description→ default ocaml-system.4.09.0 default"
<testtest> and from which ocaml i get "/home/ian/.opam/default/bin/ocaml"
<testtest> im going to try and uninstall everything again
<testtest> i uninstalled opam and now which ocaml gives me "/usr/local/bin/ocaml"
<octachron> Rather than uninstalling opam, I would recommand to switch to a non-system compiler. They are often more reliable, even more so if you have global leftover from source installation
<octachron> For instance, switching to 4.10.1: "opam switch create 4.10.1"
<testtest> i see seems better indeed
<testtest> i guess manually removing stuff from /usr or /var would make a lot of problems
<octachron> You can check if apt owns the file.
<octachron> If not, it is probably safe to remove them, because it means that someone/something else than apt installed them
malc_ has left #ocaml ["ERC (IRC client for Emacs 28.0.50)"]
<testtest> dpkg-query says no path leads to that bin
<testtest> i tried it with /usr/local/bin/ocaml
mfp has joined #ocaml
<octachron> Then if you don't remember installing anything that depends on it, it is probably safe to remove it (you can always start by moving to a backup corner).
jbrown has joined #ocaml
junior100 has joined #ocaml
<testtest> just the bin or other directories too ? like /var/lib/... stuff
reynir has quit [Ping timeout: 258 seconds]
reynir has joined #ocaml
testtest has quit [Remote host closed the connection]
webshinra has joined #ocaml
pigeonv has joined #ocaml
mbuf has joined #ocaml
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
testtest has joined #ocaml
jbrown has quit [Remote host closed the connection]
jbrown has joined #ocaml
<octachron> testtest, you can check if the other ocaml stuff belongs to apt or not too, and remove them in the same way.
Haudegen has quit [Quit: Bin weg.]
<testtest> octachron, thanks i will try and do that
<testtest> also thanks for the hand in general btw
ggole has joined #ocaml
Haudegen has joined #ocaml
dborisog has quit [Ping timeout: 240 seconds]
waleee-cl has joined #ocaml
spew has joined #ocaml
<d_bot> <mseri> What would you do in OCaml to detect at runtime if you are in a 32 or 64 bits system?
<pigeonv> Sys.word_size
<thizanne> 2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2*2=0
<pigeonv> there's also Sys.int_size
narimiran has quit [Ping timeout: 256 seconds]
<pigeonv> thizanne, I guess you could use the left shift operator ;)
junior100 has quit [Remote host closed the connection]
dckc has quit [Ping timeout: 246 seconds]
dckc has joined #ocaml
Guest86335 has joined #ocaml
dckc has quit [Ping timeout: 240 seconds]
dckc has joined #ocaml
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
mbuf has quit [Quit: Leaving]
jbrown has quit [Ping timeout: 272 seconds]
jbrown has joined #ocaml
<d_bot> <mseri> Thanks!
aaaaaa has left #ocaml [#ocaml]
Bluddy has joined #ocaml
<Bluddy> test
<companion_cube> test?
<d_bot> <Bluddy> what happened to the icons?
d_bot has quit [Remote host closed the connection]
d_bot has joined #ocaml
osa1 has quit [Ping timeout: 260 seconds]
olle has quit [Ping timeout: 260 seconds]
Haudegen has quit [Quit: Bin weg.]
<vsiles> iirc they use to work
<d_bot> <Bluddy> ok looks like it might be a general discord issue
<d_bot> <psafont> I see the cats just fine
borne has quit [Ping timeout: 244 seconds]
<d_bot> <Bluddy> ok so i guess it's just on my end
<d_bot> <ggole> There's some image problem with discord atm
vicfred has joined #ocaml
<d_bot> <Bluddy> Seems like Cloudflare is having issues
<companion_cube> it could still be echoes of the centurylink issue from sunday?
waleee-cl has quit [Quit: Connection closed for inactivity]
pigeonv has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
bartholin has joined #ocaml
bartholin has quit [Ping timeout: 260 seconds]
Bluddy has quit [Quit: Connection closed for inactivity]
vicfred has quit [*.net *.split]
Serpent7776 has quit [*.net *.split]
landonf has quit [*.net *.split]
johnel has quit [*.net *.split]
towel has quit [*.net *.split]
jerith has quit [*.net *.split]
theblatte has quit [*.net *.split]
TC01 has quit [*.net *.split]
stux|RC-only has quit [*.net *.split]
vicfred has joined #ocaml
johnel has joined #ocaml
Serpent7776 has joined #ocaml
landonf has joined #ocaml
stux|RC-only has joined #ocaml
jerith has joined #ocaml
theblatte has joined #ocaml
TC01 has joined #ocaml
towel has joined #ocaml
stux|RC-only has quit [Excess Flood]
stux|RC-only has joined #ocaml
bartholin has joined #ocaml
pigeonv has joined #ocaml
tane has joined #ocaml
narimiran has joined #ocaml
pigeonv has quit [Ping timeout: 240 seconds]
<Johann> Hello, I have a generic question about monads: Is there a generic way to bind a monad of monad? More precisely here I have a state monad SM and functions 'a -> (('a, 'e) Result.t) SM.t that I want to compose.
ggole has quit [Quit: Leaving]
pigeonv has joined #ocaml
pigeonv has quit [Ping timeout: 260 seconds]
waleee-cl has joined #ocaml
pigeonv has joined #ocaml
narimiran has quit [Quit: leaving]
Jesin has quit [Quit: Leaving]
<d_bot> <Kakadu> I thought that monad transformers were invented for this kind of tasks, no>
<d_bot> <Kakadu> I thought that monad transformers were invented for this kind of tasks, no? (edited)
Hrundi_V_Bakshi has joined #ocaml
<companion_cube> yeah but not in OCaml
<cemerick> Johann: I actually had that problem yesterday, the "monads" library from BAP is good
<cemerick> there's a lot more ceremony to the transformers therein compared to e.g. haskell's mtl, but the result works just fine
<cemerick> companion_cube: OCaml is strong, have faith 🦾
<dian> is there any caviats that i can encounter when try to convert ocaml to js with js_of_ocaml?
<dian> my intention is just to learn som ocaml and get some calculations work with webz
<cemerick> Johann: here's a sorta messy example, combining Id, Writer, and Result: https://gitter.im/BinaryAnalysisPlatform/bap?at=5f4e552848237809375947cf, with some advice from ivg (scroll up some for my initial query from yesterday)
<companion_cube> cemerick: I tend to just handwrite the monad
<companion_cube> if I really need to do that in the first place, that is.
reynir has quit [Ping timeout: 260 seconds]
reynir has joined #ocaml
amiloradovsky has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
<d_bot> <hcarty> dian: https://ocsigen.org/js_of_ocaml/3.7.0/manual/overview talks about the runtime differences between native and jsoo-compiled OCaml
<d_bot> <hcarty> Under "Supported features"
<dian> @hcarty
<dian> thx
<dian> i seen that where thinking maybe there is smth else, so far all looks ok, should be enought to play with js_of_ocaml
Jesin has joined #ocaml
<cemerick> companion_cube: that's where I was too, but once I got past two bespoke stacks, I'd had enough
<companion_cube> that's why I avoid monads :p
<companion_cube> when I can
_whitelogger has joined #ocaml
amiloradovsky1 has joined #ocaml
amiloradovsky has quit [Ping timeout: 260 seconds]
amiloradovsky1 is now known as amiloradovsky
Serpent7776 has quit [Quit: leaving]
amiloradovsky has quit [Quit: amiloradovsky]
amiloradovsky has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
amiloradovsky has joined #ocaml
<Johann> thanks for the suggestions, i'll read on that and see where it leads :). I could get rid of the state monad but I wanted to experiment with a "monadic approach"
Hrundi_V_Bakshi has quit [Ping timeout: 240 seconds]
andreas303 has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 260 seconds]
andreas303 has joined #ocaml
bartholin has quit [Ping timeout: 264 seconds]
jbrown has quit [Ping timeout: 272 seconds]
sonologico has quit [Read error: Connection reset by peer]
sonologico has joined #ocaml
bartholin has joined #ocaml
<cemerick> I am reminded "that's why I avoid objects" positions 🙃
<cemerick> reminded of*