adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
ziyourenxiang has joined #ocaml
argent_smith has quit [Quit: Leaving.]
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
nullifidian has quit [Ping timeout: 252 seconds]
FreeBirdLjj has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
nullifidian has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
orbifx has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
spew has quit [Ping timeout: 256 seconds]
xfbs has quit []
jimmyrcom has quit [Ping timeout: 256 seconds]
jimmyrcom has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
pierpa has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
Algebr has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 260 seconds]
cbot has joined #ocaml
spew has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
ziyourenxiang has quit [Ping timeout: 248 seconds]
Guest51114 has quit [Ping timeout: 245 seconds]
chat_ has joined #ocaml
sh0t has quit [Remote host closed the connection]
mfp has quit [Ping timeout: 240 seconds]
spew has quit [Ping timeout: 256 seconds]
Khady_ is now known as Khady
sh0t has joined #ocaml
Guest68064 has quit [Quit: Lost terminal]
sh0t has quit [Remote host closed the connection]
govg has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
moei has quit [Quit: Leaving...]
al-damiri has joined #ocaml
keep_learning has quit [Ping timeout: 245 seconds]
mbuf has joined #ocaml
maattdd_ has joined #ocaml
maattdd_ has quit [Ping timeout: 248 seconds]
<rgr[m]> Is opam 2.0 really broken for other people? I get random downgrades, I don't see all packages in opam-repository as available, etc.
pierpa has quit [Quit: Page closed]
jao has quit [Ping timeout: 256 seconds]
remexre has quit [Quit: WeeChat 2.0.1]
Jesin has quit [Quit: Leaving]
<companion_cube> I'm mostly fine
<dh_work> I stick to my OS packaging system
<dh_work> (never really entirely understood what use an additional language-level packaging system is)
<companion_cube> it has many more libraries in the language it focuses on, and they are more up to date
<companion_cube> that's the point
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 245 seconds]
<dh_work> I guess
<dh_work> my os packaging system has everything I need (and I also have commit access to it, so should I need something else i can just add it)
mk9 has joined #ocaml
<dh_work> I suppose this does not work as well in other people's worlds
<companion_cube> ah, well, I don't have commit access to my distro's repo
<companion_cube> also, most things my code depends on are on opam, not so much in my distro
<companion_cube> (also, opam lets you pin dev versions of libraries really easily, it's super convenient)
hnrgrgr has joined #ocaml
MercurialAlchemi has joined #ocaml
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
cbot has quit [Quit: Leaving]
zpe has joined #ocaml
dtornabene has quit [Remote host closed the connection]
zpe has quit [Remote host closed the connection]
dedgrant has quit [Ping timeout: 256 seconds]
Newyorkadam has joined #ocaml
<Newyorkadam> why does this evaluate to 1?
<Newyorkadam> let rec x y = y in 1
<Newyorkadam> is it because x doesn’t need a value?
<Newyorkadam> nvm i’m an idiot
<Newyorkadam> the function is named x
orbifx has joined #ocaml
mengu has joined #ocaml
argent_smith has joined #ocaml
iZsh has quit [Excess Flood]
wagle_ is now known as wagle
iZsh has joined #ocaml
Haudegen has joined #ocaml
harmathy has joined #ocaml
AltGr has joined #ocaml
Newyorkadam has quit [Quit: Newyorkadam]
bartholin has quit [Ping timeout: 245 seconds]
Newyorkadam has joined #ocaml
<flux[m]> :)
reynir is now known as notreynir
notreynir is now known as reynir
<flux[m]> dh_work: I think it's fine to stick to operating system packages, that's what I did for a long time. buut then someone comes in and posts to the mailing list "here's a cool library, you can install it either manually or just type opam install dimdamdom", and you can then easily update packages installed in such way, so finally you will convert ;).
bartholin has joined #ocaml
moei has joined #ocaml
soummyaah has joined #ocaml
soummyaah64 has joined #ocaml
soummyaah64 has quit [Remote host closed the connection]
zpe has joined #ocaml
<remix2000> companion_cube: Do containers include support for Unicode strings?
<remix2000> Unicode escapes to be precise...
infinity0_ has joined #ocaml
infinity0 is now known as Guest72458
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0_ is now known as infinity0
Guest72458 has quit [Killed (verne.freenode.net (Nickname regained by services))]
soummyaah has quit [Quit: Page closed]
mengu has quit [Remote host closed the connection]
<octachron> remix2000, OCaml ≥ 4.06 comes with support for unicode escape, e.g. "\u{1F3BC}"
<remix2000> octachron: I know, but it`s problematic to download :P https://ocaml.org/releases/4.06.1.html
<remix2000> plus Fedora has 4.05 in repo and OBS is dead too: https://software.opensuse.org/download.html?project=home%3Aocaml&package=opam
zpe has quit [Remote host closed the connection]
<octachron> Why not use opam?
<remix2000> How so?
<octachron> you can install opam, and then install the 4.06.1 compiler with it
<remix2000> I should remove OCaml-related packages from system and then install opam from binaries?
<Fardale> remix2000: you can keep the system package
<Fardale> opam allow you to have multiple version of the compiler on the system
<octachron> remix2000, it is at least a better option than downloading it the compiler directly
zpe has joined #ocaml
kakadu has joined #ocaml
TheLemonMan has joined #ocaml
jimmyrcom has quit [Ping timeout: 245 seconds]
mengu has joined #ocaml
mk9 has quit [Quit: mk9]
mengu has quit [Ping timeout: 252 seconds]
mk9 has joined #ocaml
mfp has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 256 seconds]
zolk3ri has joined #ocaml
harmathy has left #ocaml ["Auf Wiedersehen"]
mengu has joined #ocaml
xfbs has joined #ocaml
mengu has quit [Ping timeout: 245 seconds]
orbifx1 has joined #ocaml
dhil has joined #ocaml
ziyourenxiang has joined #ocaml
nicoo has quit [Ping timeout: 255 seconds]
dhil has quit [Ping timeout: 256 seconds]
Newyorkadam has quit [Quit: Newyorkadam]
mengu has joined #ocaml
Newyorkadam has joined #ocaml
maattdd_ has joined #ocaml
<remix2000> How can I use jbuilder in new project? Docs are not clear at all..
<Armael> look at the "quickstart" section of the docs?
nicoo has joined #ocaml
<orbifx1> remix2000: or look at examples (http://cgit.orbitalfox.eu/logarion/tree/src/jbuild)
<remix2000> orbifx1: Thank you. These examples clarified everything :>
MercurialAlchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
shinnya has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
Denommus` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
xfbs has quit []
mbuf has quit [Quit: Leaving]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
jbrown has quit [Ping timeout: 256 seconds]
orbifx has quit [Ping timeout: 252 seconds]
orbifx1 is now known as orbifx
spew has joined #ocaml
spew has quit [Read error: Connection reset by peer]
jrslepak has joined #ocaml
jbrown has joined #ocaml
jrslepak has quit [Quit: leaving]
jrslepak has joined #ocaml
_andre has joined #ocaml
Newyorkadam has quit [Quit: Newyorkadam]
jao has joined #ocaml
spew has joined #ocaml
Newyorkadam has joined #ocaml
tane has joined #ocaml
Haudegen has joined #ocaml
kuwze has joined #ocaml
johnelse has quit [Ping timeout: 256 seconds]
kuwze has left #ocaml [#ocaml]
kuwze has joined #ocaml
johnelse has joined #ocaml
<ELLIOTTCABLE> Anybody have a moment to help me make heads or tails of this error message?
<ELLIOTTCABLE> File "lib/Parser.ml", line 10, characters 5-13:
<ELLIOTTCABLE> Error: This variant pattern is expected to have type exn; The constructor LexError does not belong to type exn
<Drup> ELLIOTTCABLE: can you pastebin the code in question ?
<ELLIOTTCABLE> there's an `exception LexError` line in a different file — the relevant RWO pages tries to explain that exception types are basically an open variant …
<ELLIOTTCABLE> so I wouldn't think I'd get an error? meanwhile, trying to use ThatFile.LexError to disambiguate is a syntax error …
<ELLIOTTCABLE> Drup: it's spread across a few files, but I'll try. It doesn't work, I have no idea what I'm doing, etc, don't judge too hard 🤣
<Drup> ELLIOTTCABLE: just pastebin the function around the error
jrslepak has quit [Quit: Lost terminal]
<ELLIOTTCABLE> oops, too late — well, it's all alone in the last file there, Parser.ml; and it's referencing the two exception types at the top of the first file
<Drup> ELLIOTTCABLE: you loaded that in the toplevel, I presume ?
<ELLIOTTCABLE> No idea how to do that, no — just `jbuilder build`, right now, slash reading Merlin's errors in my editor
<ELLIOTTCABLE> haven't gotten to any coherent point where any combination of this code will compile and run, so it's a bit premature to be integrating it into my executable or anything :x
<Drup> right
<ELLIOTTCABLE> but presumably the same sorts of error would appear if I were using utop etc?
<Drup> ELLIOTTCABLE: so first, rename your "Lexer" file so that it's a valid module name (you should have seen a warning about that, actually)
<Drup> that means no dots
<ELLIOTTCABLE> basically: I'm not sure where to put `exception` declarations, or how to reference them from other modules.
<ELLIOTTCABLE> that's part of the build-system; the final product is a Lexer.ml
<ELLIOTTCABLE> it's … complicated. /=
<ELLIOTTCABLE> following @smolkaj's ocaml-parsing boilerplate, for context. http://github.com/smolkaj/ocaml-parsing
<Drup> and then, you need to refer properly to it, with Lexer.LexError for example, or an open
<ELLIOTTCABLE> that's what I'd have expected, but I get “Error: Unbound constructor Lexer.LexError” … hmm
<ELLIOTTCABLE> well, glad to know my intuition was right. must be something else going on — I'll keep investigating. thanks, Drup!
<Drup> ELLIOTTCABLE: do you have an .mli file ?
silver has joined #ocaml
zolk3ri has quit [Ping timeout: 248 seconds]
zolk3ri has joined #ocaml
gtrak has joined #ocaml
<ELLIOTTCABLE> I need to get desktop notifications for IRC working again — that was exactly it, Drup; I found out the hard way, after you'd already suggested that.
<ELLIOTTCABLE> thx again.
<companion_cube> remix2000: not yet
<companion_cube> there are good libraries for unicode though, such as uutf
mengu has quit [Remote host closed the connection]
sh0t has joined #ocaml
jao has quit [Ping timeout: 276 seconds]
Newyorkadam has quit [Quit: Newyorkadam]
zpe has quit [Remote host closed the connection]
Newyorkadam has joined #ocaml
Newyorkadam has joined #ocaml
Newyorkadam has quit [Ping timeout: 265 seconds]
argent_smith has quit [Quit: Leaving.]
johnelse_ has joined #ocaml
johnelse has quit [Ping timeout: 240 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
gtrak has quit [Ping timeout: 252 seconds]
gtrak has joined #ocaml
mk9 has quit [Ping timeout: 256 seconds]
tane has quit [Remote host closed the connection]
zpe has joined #ocaml
Newyorkadam has joined #ocaml
Newyorkadam has quit [Ping timeout: 252 seconds]
zpe has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
jrslepak has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
mengu has quit [Remote host closed the connection]
al-damiri has joined #ocaml
dedgrant has joined #ocaml
zpe has joined #ocaml
Newyorkadam has joined #ocaml
Newyorkadam has quit [Ping timeout: 248 seconds]
zpe has quit [Read error: No route to host]
IbnFirnas has quit [Quit: Updating details, brb]
jao has joined #ocaml
IbnFirnas has joined #ocaml
maattdd_ has quit [Ping timeout: 252 seconds]
IbnFirnas has quit [Client Quit]
IbnFirnas has joined #ocaml
Newyorkadam has joined #ocaml
pierpa has joined #ocaml
Newyorkadam has quit [Ping timeout: 245 seconds]
maattdd_ has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
kuwze has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
Newyorkadam has joined #ocaml
Newyorkadam has quit [Client Quit]
cbot has joined #ocaml
AltGr has left #ocaml [#ocaml]
pierpa has quit [Ping timeout: 260 seconds]
orbifx has joined #ocaml
Anarchos has joined #ocaml
maattdd_ has quit [Ping timeout: 256 seconds]
johnelse_ has quit [Read error: Connection reset by peer]
sz0 has joined #ocaml
johnelse has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
kuwze has joined #ocaml
<kuwze> hey how do I run ocp-indent when I am saving a file? something that is equivalent to this (which uses refmt for reasonml code):
<kuwze> (add-hook 'reason-mode-hook (lambda () (add-hook 'before-save-hook 'refmt-before-save) (merlin-mode)))
<orbifx> kuwze: have you checdecked discuss.ocaml.org?
<zolk3ri> chechckecdhecked
jack5638 has quit [Ping timeout: 276 seconds]
<kuwze> orbifx: nothing seems to pop out to me https://discuss.ocaml.org/search?q=ocp-indent
<orbifx> zolk3ri: lol, I don't know what happened there :P
<orbifx> kuwze: best ask there, cause it will probably get askd again, plus no one seems to be about for the moment to answer.
<orbifx> I haven't used it
<orbifx> Although I'd suspect this might be documented somewhere
<orbifx> in ocp-indent's page
demonimin_ has quit [Remote host closed the connection]
<kuwze> orbifx: I checked the github page and didn't see anything (in fact I also reinstalled ocp-indent just so I could copy the emacs suggested code again)
<kuwze> orbifx: and thanks for suggesting posting a topic on discuss.ocaml.org, I would have posted on stackoverflow instead
<kuwze> does the ocaml community prefer that discourse site over stackoverflow?
<orbifx> kuwze: can't speak about the "community". I think most camlers are checking that. I don't search stackoverflow for OCaml personally, but I do visit discourse.
<orbifx> There is also a mailing list, but for some fetish most people prefer their browser :P
<orbifx> ^most camlers are checking discuss.ocaml...
<orbifx> kuwze: so you copied some recommended code and it hasn't worked?
jrslepak has quit [Remote host closed the connection]
IbnFirnas has quit []
<orbifx> kuwze: some quick thoughts, have you restarted Emacs after running the recommended command <https://www.typerex.org/ocp-indent.html#emacs>
<reynir> kuwze: maybe you can suggest it as an issue on ocp-indent https://github.com/OCamlPro/ocp-indent
<orbifx> kuwze: also, is your $(opam config var prefix) correct?
<kuwze> orbifx: this is the suggested code: https://gist.github.com/kuwze/c8262e2a57a63933f474a9ca7626fced
<kuwze> reynir: I should do that? I feel like that would be double posting my stupid problem
<TheLemonMan> merlin is quite useless when working on the compiler, 9 times out of 10 it errors out with 'abnormal termination'
jrslepak has joined #ocaml
<Drup> kuwze: ocp-indent doesn't provide that feature by default. It shouldn't be difficult to cobble up some emacs code to do it, but asking on the bug tracker is never a bad idea, since it could be added to the documentation
<reynir> kuwze: well, if it's a missing feature then yea why not. I skimmed the .el file and I didn't see anything that suggests it's implemented (tho not an emacs user) https://github.com/OCamlPro/ocp-indent/blob/rewind/tools/ocp-indent.el
<reynir> ^ also that
<orbifx> kuwze: if it's a missing feature, then their issue tracker is the best place. Asking on discuss.ocaml.org could maybe help you find an alternative or interim solution
<kuwze> well it looks like it is automatically applied I guess: https://github.com/OCamlPro/ocp-indent/issues/200
<kuwze> TheLemonMan: I was hoping to actually work on the compiler someday and I was imagining how easy it would be with merlin... is your experience normal or is it perhaps specific to your setup?
<Drup> It's probably just (add-hook 'tuareg-hook (lambda () (add-hook 'before-save-hook 'ocp-indent-buffer))) or something like that
<Drup> (my elisp is not very fluent though)
<kuwze> Drup: I tried something similar and it didn't work... let me try your code
jrslepak has quit [Quit: leaving]
jrslepak has joined #ocaml
<Drup> (I don't think it's necessary, given that tuareg has electric indentation)
orbifx has quit [Ping timeout: 240 seconds]
Haudegen has quit [Read error: Connection reset by peer]
<Drup> kuwze: as for the compiler, it depends. If merlin is up-to-date with trunk (or not too far behind) and what you are doing does not require a bootstrap, it's fairly okay
<Drup> if you are modifying the compiled objects, in particular the typing ones, then yeah, it just explodes
<Drup> (or, more accurately: refuses to load them)
buyfn has joined #ocaml
Cheery has joined #ocaml
<kuwze> Drup: your suggestion worked! thank you!
<kuwze> for some reason I thought I had tried code that was just like that... guess I am bit more of an idiot than usual today
<Drup> really ? That was written completely on the fly
<Drup> well, I can write elisp code blindly, it seems :|
Haudegen has joined #ocaml
kakadu has joined #ocaml
<Drup> reynir: I'm keeping that :D
Cheery has left #ocaml [#ocaml]
johnelse has quit [Ping timeout: 248 seconds]
zpe has quit [Remote host closed the connection]
johnelse has joined #ocaml
zpe has joined #ocaml
<Anarchos> reynir nice :)
zpe has quit [Remote host closed the connection]
sapristi has joined #ocaml
buyfn has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
sapristi has quit [Quit: Leaving]
orbifx has joined #ocaml
IbnFirnas has joined #ocaml
jrslepak has quit [Quit: Lost terminal]
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
sz0 has quit [Quit: Connection closed for inactivity]
jimmyrcom has joined #ocaml
Anarchos has quit [Ping timeout: 240 seconds]
snhmib has joined #ocaml
jnavila has joined #ocaml
zpe has joined #ocaml
jimmyrcom has quit [Remote host closed the connection]
buyfn has joined #ocaml
snhmib has quit [Quit: WeeChat 1.6]
snhmib has joined #ocaml
maattdd_ has joined #ocaml
rwmjones|AFK is now known as rwmjones
maattdd_ has quit [Ping timeout: 240 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
mengu has joined #ocaml
argent_smith has joined #ocaml
jrslepak has joined #ocaml
gtrak has quit [Ping timeout: 240 seconds]
_andre has quit [Quit: leaving]
gtrak has joined #ocaml
bartholin has quit [Read error: Connection reset by peer]
zolk3ri has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
zolk3ri has joined #ocaml
mengu has quit [Quit: Leaving...]
cbot has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
jrslepak has quit [Quit: Lost terminal]
Jesin has joined #ocaml
gtrak has quit [Ping timeout: 252 seconds]
Jesin has quit [Remote host closed the connection]
gtrak has joined #ocaml
SpaceSheep has quit [Quit: WeeChat 1.6]
jnavila has quit [Remote host closed the connection]
jimmyrcom has joined #ocaml
jimmyrcom has quit [Max SendQ exceeded]
Jesin has joined #ocaml
jimmyrcom has joined #ocaml
gtrak has quit [Ping timeout: 260 seconds]
argent_smith has quit [Quit: Leaving.]
zlsyx has joined #ocaml
isd has joined #ocaml
dtornabene has joined #ocaml
buyfn has quit [Quit: Textual IRC Client: www.textualapp.com]
profan has quit [Ping timeout: 256 seconds]
aubian has joined #ocaml
aubian is now known as Fistine
orbifx has quit [Ping timeout: 240 seconds]
isd has quit [Ping timeout: 240 seconds]
IbnFirnas has quit [Ping timeout: 268 seconds]
isd has joined #ocaml
zpe has quit [Remote host closed the connection]
profan has joined #ocaml
kakadu has quit [Remote host closed the connection]
Jesin has quit [Quit: Leaving]