Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.13.0 released: https://ocaml.org/releases/4.13.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
[_] has joined #ocaml
[itchyjunk] has quit [Ping timeout: 252 seconds]
vicfred has joined #ocaml
<d_bot_> <Shon> Is anyone around who knows how to use dune for menhir parser generation when the syntax modules used have external dependencies?
<d_bot_> <Shon> (By "syntax modules" I mean the the module used for the return type in the `%start <Syntax.t> main` declaration inthe `.mly` file.)
Haudegen has quit [Ping timeout: 252 seconds]
[_] is now known as [itchyjunk]
zebrag has quit [Quit: Konversation terminated!]
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
terrorjack has joined #ocaml
wwilly has quit [Ping timeout: 252 seconds]
[itchyjunk] has quit [Quit: Leaving]
average has quit [Quit: Connection closed for inactivity]
Skyfire has quit [Quit: WeeChat 3.2]
gravicappa has joined #ocaml
bobo has joined #ocaml
johnel_ has joined #ocaml
Brocoli_ has joined #ocaml
dstein64- has joined #ocaml
ocabot_ has joined #ocaml
spip has quit [*.net *.split]
motherfsck has quit [*.net *.split]
dstein64 has quit [*.net *.split]
ocabot has quit [*.net *.split]
Armael has quit [*.net *.split]
Johann has quit [*.net *.split]
johnel has quit [*.net *.split]
vicfred_ has joined #ocaml
Techcable_ has joined #ocaml
spip has joined #ocaml
Techcable has quit [Ping timeout: 252 seconds]
bobo has quit [Ping timeout: 252 seconds]
vicfred has quit [Read error: Connection reset by peer]
dstein64- has quit [Ping timeout: 252 seconds]
pippijn has quit [Ping timeout: 252 seconds]
dstein64 has joined #ocaml
xenu has quit [Read error: Connection reset by peer]
xenu_ has joined #ocaml
xenu_ is now known as xenu
pippijn has joined #ocaml
JSharp_ has joined #ocaml
Johann has joined #ocaml
drakonis has quit [Ping timeout: 252 seconds]
drakonis has joined #ocaml
JSharp has quit [Ping timeout: 252 seconds]
JSharp_ is now known as JSharp
sim642 has quit [Ping timeout: 252 seconds]
Nahra` has quit [Ping timeout: 252 seconds]
Corbin has quit [Ping timeout: 252 seconds]
rom1504 has quit [Ping timeout: 252 seconds]
terrorjack1 has joined #ocaml
rom15041 has joined #ocaml
fds_ has quit [Ping timeout: 252 seconds]
Nahra`` has joined #ocaml
motherfsck has joined #ocaml
sim642 has joined #ocaml
terrorjack1 is now known as terrorjack
terrorjack has quit [Ping timeout: 252 seconds]
fds has joined #ocaml
Corbin has joined #ocaml
v0idpwn has quit [Ping timeout: 252 seconds]
noddy has quit [Ping timeout: 252 seconds]
v0idpwn_ has joined #ocaml
Brocoli_ has quit [Ping timeout: 252 seconds]
Brocoli_ has joined #ocaml
noddy has joined #ocaml
quernd4 has joined #ocaml
vicfred__ has joined #ocaml
vicfred_ has quit [Read error: Connection reset by peer]
bronsen has quit [Ping timeout: 252 seconds]
gravicappa has quit [Ping timeout: 252 seconds]
damien3 has quit [Ping timeout: 252 seconds]
damien3 has joined #ocaml
gravicappa has joined #ocaml
quernd has quit [Ping timeout: 252 seconds]
quernd4 is now known as quernd
dh` has quit [Ping timeout: 252 seconds]
d_bot has joined #ocaml
terrorjack has joined #ocaml
d_bot_ has quit [Ping timeout: 252 seconds]
johnel_ has quit [Ping timeout: 252 seconds]
nore has quit [Ping timeout: 252 seconds]
johnel has joined #ocaml
oisota8 has joined #ocaml
nore has joined #ocaml
t-j-r has joined #ocaml
oisota has quit [Ping timeout: 252 seconds]
_tjr_ has quit [Ping timeout: 252 seconds]
oisota8 is now known as oisota
<d_bot> <Styx> Can someone help me to install ocaml
<d_bot> <Styx> IM TIRED
<d_bot> <Styx> I want to sleep
jsoo_ has joined #ocaml
jsoo has quit [Ping timeout: 252 seconds]
mbuf has joined #ocaml
xd1le has joined #ocaml
<d_bot> <crackcomm> about my segfaulting issue @mk-fg turns out it was hardware or overclock issue, I was testing ram using memtest 5.01 and it was hanging (a known bug) but it made me clean the RAM pins and reset overclock by accident and no crashes for more than 24hr now so pretty much confirmed 😆
<d_bot> <Yugami> what is your OS? how did you try to install it?
Skyfire has joined #ocaml
<d_bot> <dinero> if you’re on wsl 1 you’ll have to disable sandboxing on open init, just for posterity’s sake. I didn’t really have much success getting Ocaml working natively on windows
<d_bot> <dinero> I’m unaware if seamless native windows support something that’s on the back burner or if it’s been dropped officially
<d_bot> <dinero> but with wsl I suppose you have nothing to worry about
<d_bot> <Yugami> I think native support is planned for opam 2.2.0
<d_bot> <dinero> :holupthisisntRUST: sweet
<d_bot> <Yugami> otherwise there is diskuv ocaml: https://diskuv.gitlab.io/diskuv-ocaml/
<d_bot> <Yugami>
<d_bot> <Yugami> but a windows user should really use WSL2
<d_bot> <dinero> yeah
Serpent7776 has joined #ocaml
xiongxin has joined #ocaml
hackinghorn has joined #ocaml
<d_bot> <tnkhanh> if I do list2 = list1@[element], does it build a whole new list or list2 just refers to list1 when things are called?
<d_bot> <tnkhanh> its like O(n), or O(1)
<sim642> list1 gets copied in front of [element], so O(n)
<d_bot> <tnkhanh> how can I append to a list in O(1)
hendursa1 has joined #ocaml
<d_bot> <tnkhanh> what if I do list2 = element::list1, does it make a copy or is it like O(1)
hendursaga has quit [Ping timeout: 276 seconds]
<sim642> consing is O(1)
<sim642> This is why you sometimes see certain lists stored as reversed
<d_bot> <tnkhanh> ahh, thanks, I'll try
dh` has joined #ocaml
dh` has joined #ocaml
dh` has quit [Changing host]
olle has joined #ocaml
bartholin has joined #ocaml
wwilly has joined #ocaml
bartholin has quit [Ping timeout: 245 seconds]
bronsen has joined #ocaml
Brocoli_ is now known as Armael
xiongxin has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
gravicappa has quit [Ping timeout: 252 seconds]
sagax has joined #ocaml
xiongxin has joined #ocaml
Haudegen has joined #ocaml
<Franciman> sorry, noob question. I don't understand how I can create a Set.t of ints
<Franciman> i do
<Franciman> type Set = int Set.t
<Franciman> but I get error
<d_bot> <NULL> There's no `int Set.t` but you can have `IntSet.t` by constructing `module IntSet = Set.Make (Int)`
<Franciman> do I need to open something?
<Franciman> I just did open Base
<Franciman> but I get, unbound module Set.Make
<d_bot> <NULL> The intrinsic reason is that you need more info than just the type to construct a set, you also need a comparison function (and there are problems with relying on polymorphic comparisons)
<d_bot> <NULL> Oh, it's different with Base
<Franciman> I can avoid importing it
<Franciman> lol
<d_bot> <NULL> Base changes the way Set and Map works, among other things, and I don't know how to use Base's Set and Map
<Franciman> is Base the stdlib?
<Franciman> or is it no related?
<Armael> with Base I think you need to do e.g `Set.empty (module Int)` to create a new set, which gives you a `(int, Int.comparator_witness) Set.t`
<Armael> Base is not the stdlib
<d_bot> <NULL> It's supposed to extend the stdlib (module `Stdlib`, opened by default) but it also replaces stuff with non backwards-compatible variants
<Franciman> nice
<Franciman> thanks
<d_bot> <NULL> Also, `type Set = ...` will always be a type error, since idents cannot start with a capital letter, only constructors and modules can
<Franciman> oh!
<Franciman> I see, thanks a lot
<d_bot> <NULL> Syntax* error, not type error
bartholin has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
bartholin has quit [Ping timeout: 252 seconds]
[itchyjunk] has joined #ocaml
Haudegen has quit [Remote host closed the connection]
bartholin has joined #ocaml
Haudegen has joined #ocaml
xd1le has quit [Quit: xd1le]
xiongxin has quit [Ping timeout: 252 seconds]
xiongxin has joined #ocaml
gravicappa has joined #ocaml
bartholin has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
<d_bot> <leviroth> On the subject of WSL from before, I would strongly recommend using WSL 2 over WSL 1 if you are using opam.
<d_bot> <leviroth> The filesystem performance of WSL 1 makes opam way too painful, see https://github.com/ocaml/opam/issues/3050#issuecomment-786687634
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
xiongxin has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
bartholin has quit [Ping timeout: 252 seconds]
waleee has quit [Quit: WeeChat 3.3]
waleee has joined #ocaml
bartholin has joined #ocaml
olle has quit [Ping timeout: 245 seconds]
mbuf has quit [Quit: Leaving]
gravicappa has quit [Ping timeout: 245 seconds]
bartholin has quit [Ping timeout: 252 seconds]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
vicfred__ has quit [Quit: Leaving]
bartholin has joined #ocaml
[itchyjunk] has quit [Remote host closed the connection]
damien3 has quit [Quit: WeeChat 1.9.1]
shawnw__ has quit [Ping timeout: 268 seconds]
olle has joined #ocaml
bartholin has quit [Ping timeout: 245 seconds]
bartholin has joined #ocaml
cedric has joined #ocaml
olle has quit [Ping timeout: 252 seconds]
bartholin has quit [Quit: Leaving]
[itchyjunk] has joined #ocaml
olle has joined #ocaml
shawnw__ has joined #ocaml
shawnw__ has quit [Remote host closed the connection]
olle has quit [Ping timeout: 252 seconds]
Tuplanolla has quit [Quit: Leaving.]
hendursa1 has quit [Quit: hendursa1]
hendursaga has joined #ocaml
cedric has quit [Quit: Konversation terminated!]
Haudegen has quit [Ping timeout: 252 seconds]
v0idpwn_ is now known as v0idpwn