adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
jack5638 has quit [Remote host closed the connection]
jack5638 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
jack5638 has quit [Client Quit]
jack5638 has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
jack5638 has quit [Client Quit]
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
<orbifx> what is Tbl?
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
yomimono has quit [Ping timeout: 268 seconds]
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
orbifx has quit [Ping timeout: 240 seconds]
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
jack5638 has joined #ocaml
jack5638 has quit [Client Quit]
jack5638 has joined #ocaml
jack5638 has quit [Remote host closed the connection]
Muzer has quit [Ping timeout: 262 seconds]
eh_eff has quit [Ping timeout: 240 seconds]
Muzer has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
kolko_ has quit [Quit: ZNC - http://znc.in]
richi235 has quit [Quit: No Ping reply in 180 seconds.]
ousado has quit [Remote host closed the connection]
wagle has quit [Quit: No Ping reply in 180 seconds.]
ousado_ has joined #ocaml
kolko has joined #ocaml
lukky513 has quit [Ping timeout: 260 seconds]
richi235 has joined #ocaml
wagle has joined #ocaml
_habnabit has quit [Ping timeout: 260 seconds]
theblatte has quit [Ping timeout: 260 seconds]
_habnabit has joined #ocaml
theblatte has joined #ocaml
mengu has quit [Quit: Leaving...]
spew has quit [Ping timeout: 240 seconds]
nomicflux has joined #ocaml
inr_ has quit [Ping timeout: 260 seconds]
Muzer has quit [Ping timeout: 240 seconds]
moei has joined #ocaml
jack5638 has joined #ocaml
lukky513 has joined #ocaml
jack5638 has quit [Ping timeout: 240 seconds]
manizzle has joined #ocaml
jao has joined #ocaml
jack5638 has joined #ocaml
inr_ has joined #ocaml
jack5638 has quit [Ping timeout: 245 seconds]
Muzer has joined #ocaml
jack5638 has joined #ocaml
manizzle has quit [Remote host closed the connection]
jack5638 has quit [Remote host closed the connection]
jack5638 has joined #ocaml
jack5638 has quit [Remote host closed the connection]
jack5638 has joined #ocaml
richi235 has quit [Ping timeout: 258 seconds]
eh_eff has joined #ocaml
jack5638 has quit [Ping timeout: 240 seconds]
jack5638 has joined #ocaml
eh_eff has quit [Ping timeout: 260 seconds]
fraggle_ has quit [Ping timeout: 255 seconds]
Onemorenickname has joined #ocaml
<Onemorenickname> Hello
<Onemorenickname> I'm using an abstract module
<Onemorenickname> (Well, a parametrized module)
<Onemorenickname> And I'm doing some debugging
<Onemorenickname> As such, I'm wondering if there was some of the following utilities to debug :
<Onemorenickname> - A function with type ('a -> string) outputing some human-readable representation of any (most) values
<Onemorenickname> - An unsafe coercion function : I know the module I instanciated the parametrized module with, so I'd like to be able to coerce types
<Onemorenickname> - A "break" function, such that if I use utop, utop stops the execution at that point and captures the scope
<Onemorenickname> Any of these 3 would greatly help me
<Onemorenickname> I basically need to inspect the state of my program at some point
<Onemorenickname> And I can't use the abstract signature of the module to put a "to_string" function : I'm debugging the to_string function :'(
nomicflux has quit [Quit: nomicflux]
MercurialAlchemi has joined #ocaml
<Canaimero-15d3> HOLA
Canaimero-15d3 has left #ocaml [#ocaml]
infinity0 has joined #ocaml
zv has quit [Quit: WeeChat 1.6]
vicfred has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
<lyxia> Onemorenickname: Obj.magic : 'a -> 'b
<Onemorenickname> lyxia, didn't work : the instanciated type was a string, I didn't get the content of the string using Obj.magic
<lyxia> Obj.magic is the unsafe coercion of OCaml.
<mars0i[m]> Both utop and vanilla ocaml (e.g. run with rlwrap) read .ocamlinit, but the vanilla ocaml doesn't know about UTop or its directives. Is there a way to make utop and non-utop ocaml use different config files, or only read appropriate parts of .ocamlinit? i.e. other than just renaming the file when I run with/without utop?
<Onemorenickname> lyxia, I know, that's why I used it. But apparently, module abstract values have more complex representation.
<Onemorenickname> That's my hypothesis, I don't know the workings of Obj.magic nor the internal representation of ocaml
Mercuria1Alchemi has joined #ocaml
ollehar has joined #ocaml
artart78 has quit [Read error: Connection reset by peer]
larhat has joined #ocaml
spew has joined #ocaml
spew has quit [Quit: foobar]
larhat has quit [Quit: Leaving.]
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 260 seconds]
Simn has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
Onemorenickname has quit [Read error: Connection reset by peer]
<reynir> mars0i[m]: you could maybe do »alias utop="utop -init $HOME/.utopinit"
<reynir> though that would break .ocamlinit-in-CWD
richi235 has joined #ocaml
beginner has joined #ocaml
<beginner> is it possible with the arg module to pass a file in before the options?
alfredo has joined #ocaml
<adrien> I'm not sure you can do it directly but you can definitely do it manually if you recreate an array with the element 1 (not 0) removed
<beginner> the problem is if i put the file first i get an issue with multiple printed usage_msg
vicfred has quit [Quit: Leaving]
<beginner> or can i somehow access all the anonymous arguments?
<companion_cube> the callback that is called on anonymous arguments can be used to store them in a list
<companion_cube> then, you process the list
artart78 has joined #ocaml
artart78 has joined #ocaml
artart78 has quit [Changing host]
<beginner> i have it similar to this, but when i call bin file -option (which expects an argument, but is not provided one) i get multiple times the usage msg
maattdd has joined #ocaml
<companion_cube> is it 2 times, or many times?
<beginner> companion_cube: 3 times
<companion_cube> interesting… can I see your code?
<beginner> its proprietary, but i could try if i can come up with an reproducer
<beginner> you have an idea, what the problem might be?
<companion_cube> I can reproduce
<companion_cube> well, a bug in Arg, I suppose
<beginner> You already did reproduce it?
<companion_cube> yeah
<companion_cube> it's quite easy to trigger indeed
freusque has joined #ocaml
<companion_cube> seems it was introduced in 4.03
<beginner> 4.02 doesnt have it?
<companion_cube> no
alfredo has quit [Ping timeout: 255 seconds]
<beginner> arg is part of the stdlib? So its worth filling a bug report?
<companion_cube> yes
<companion_cube> I'm looking into it
<beginner> thanks :)
artart78 has quit [Quit: Changing server]
artart78 has joined #ocaml
artart78 has joined #ocaml
artart78 has quit [Changing host]
alfredo has joined #ocaml
mfp has joined #ocaml
<companion_cube> beginner: I can cite you in the bug report if you give me your name
<companion_cube> or pseudonym or whatever, of course
<beginner> florian pichlmeier
<companion_cube> thanks!
<companion_cube> my test case is: http://vrac.cedeela.fr/foo.ml
<companion_cube> ocaml foo.ml --option
osa1 has joined #ocaml
<osa1> what's the status of modular implicits in OCaml? is there an official release with it? google only returns old papers, wiki pages, prototype implementations etc.
richi235 has quit [Ping timeout: 260 seconds]
<companion_cube> the theory is not ready yet, and it won't be merged without a proper proof of soundness, as far as I know
zpe has joined #ocaml
<osa1> OK, thanks. I see a release in opam switch so maybe I can try that (4.02.0+modular-implicits)
octachron has joined #ocaml
<octachron> companion_cube, beginner, the Arg repetition bug has been fixed in 4.05; but unfortunately not backported in 4.04
<companion_cube> oh!
<companion_cube> I couldn't find it with the search box
<companion_cube> but I'm not that surprised, it did ring a bell
<beginner> is 4.05 already released?
<reynir> I think not
<companion_cube> it's in beta, isn't it?
<beginner> are there some major improvements after 4.03?
<octachron> companion_cube, it is one of the problem with github PR with no corresponding mantis ticket
<companion_cube> depends what you call "major" :D
<companion_cube> octachron: oh! ok
<beginner> companion_cube: flambda performance gain for example :)
<theblatte> spacetime :)
<companion_cube> hard to tell, really
<companion_cube> 4.04.0+flambda is quite nice indeed
<octachron> 4.05 release is still a work in progress, there is at least one item left on the list of bug that would be very nice to fix before release
<companion_cube> which one?
<octachron> the [@@unboxed] crash one
<octachron> in short the [@@unboxed] attribute for types and the float array trick does not mix well, and it can be quite tricky to safely isolate the two
<companion_cube> ffs why do we still have the float array trick? :/
<companion_cube> it's clear that anyone doing serious numerical computation will be using bigarrays anyway
<octachron> beginner, on the performance front, there was at least some flambda *compilation* performance fix in 4.04 and 4.05
<beginner> so its worth switching to the new compiler version. thanks for the input
zpe has quit [Remote host closed the connection]
argent_smith has joined #ocaml
zpe has joined #ocaml
orbifx[m] has joined #ocaml
<orbifx[m]> Heh.. Riot is not bad!
octachron has quit [Ping timeout: 240 seconds]
maattdd has quit [Ping timeout: 260 seconds]
vbmithr has joined #ocaml
osa1 has left #ocaml [#ocaml]
inr_ is now known as inr
AlexRussia has quit [Ping timeout: 260 seconds]
kakadu has joined #ocaml
richi235 has joined #ocaml
sepp2k has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
alfredo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Fistine has quit [Ping timeout: 240 seconds]
richi235 has quit [Ping timeout: 255 seconds]
tobiasBora has quit [Ping timeout: 240 seconds]
_y has quit [Ping timeout: 260 seconds]
zpe has quit [Remote host closed the connection]
mengu has joined #ocaml
richi235 has joined #ocaml
tobiasBora has joined #ocaml
_y has joined #ocaml
Fistine has joined #ocaml
<Simn> If I use BatText in place of string, what do I use in place of Buffer?
richi235 has quit [Ping timeout: 252 seconds]
Fistine has quit [Ping timeout: 260 seconds]
_y has quit [Ping timeout: 260 seconds]
tobiasBora has quit [Ping timeout: 260 seconds]
nomicflux has joined #ocaml
alfredo has joined #ocaml
alfredo has quit [Ping timeout: 258 seconds]
Fistine has joined #ocaml
tobiasBora has joined #ocaml
_y has joined #ocaml
AlexRussia has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
nomicflux has quit [Quit: nomicflux]
tormen has joined #ocaml
_y has quit [Ping timeout: 240 seconds]
tobiasBora has quit [Ping timeout: 240 seconds]
Fistine has quit [Ping timeout: 240 seconds]
tormen has quit [Client Quit]
tormen has joined #ocaml
_andre has joined #ocaml
mengu has quit [Quit: Leaving...]
<orbifx[m]> What operations?
<orbifx[m]> Simn: ?
alfredo has joined #ocaml
yomimono has joined #ocaml
zpe has joined #ocaml
_y has joined #ocaml
Fistine has joined #ocaml
tobiasBora has joined #ocaml
richi235 has joined #ocaml
spew has joined #ocaml
alfredo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
richi235 has quit [Ping timeout: 252 seconds]
sh0t has joined #ocaml
tobiasBora has quit [Ping timeout: 240 seconds]
Fistine has quit [Ping timeout: 255 seconds]
_y has quit [Ping timeout: 260 seconds]
infinity0 has quit [Remote host closed the connection]
Mercuria1Alchemi has quit [Ping timeout: 245 seconds]
shinnya has joined #ocaml
infinity0 has joined #ocaml
_y has joined #ocaml
spew has quit [Ping timeout: 252 seconds]
Fistine has joined #ocaml
tobiasBora has joined #ocaml
beginner has quit [Remote host closed the connection]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
Nazzr has joined #ocaml
Nazzr has quit [Quit: Page closed]
richi235 has joined #ocaml
alfredo has joined #ocaml
ciniglio has joined #ocaml
Fistine has quit [Ping timeout: 252 seconds]
_y has quit [Ping timeout: 260 seconds]
tobiasBora has quit [Ping timeout: 252 seconds]
spew has joined #ocaml
seangrove has joined #ocaml
al-damiri has joined #ocaml
_y has joined #ocaml
Fistine has joined #ocaml
tobiasBora has joined #ocaml
govg has joined #ocaml
richi235 has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
ryanartecona has joined #ocaml
sz0 has joined #ocaml
copy` has joined #ocaml
richi235 has joined #ocaml
freyr has joined #ocaml
<freyr> As far as OCaml file describes a module, is there any way to specify type of the file module?
<Drup> freyr: I don't understand the question
ollehar has joined #ocaml
<freyr> I want to make an implementation of a module type. Could the file module be an implementation of a module type or it should be a structure?
<Drup> ah, I see
<Drup> No, a module is necessarily a structure.
<freyr> Drup: or shoud I just add Make functor?
<freyr> thanx
<Drup> yes, you need a Make functor
freyr has quit [Quit: Lost terminal]
tobiasBora has quit [Ping timeout: 255 seconds]
Fistine has quit [Ping timeout: 260 seconds]
_y has quit [Ping timeout: 260 seconds]
zpe has quit [Remote host closed the connection]
tobiasBora has joined #ocaml
Fistine has joined #ocaml
_y has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]
sh0t has quit [Ping timeout: 260 seconds]
freusque has quit [Quit: WeeChat 1.7]
sh0t has joined #ocaml
Muzer has quit [Ping timeout: 260 seconds]
ryanartecona has joined #ocaml
yomimono has quit [Ping timeout: 268 seconds]
octachron has joined #ocaml
TheLemonMan has joined #ocaml
richi235 has quit [Ping timeout: 260 seconds]
eh_eff has joined #ocaml
Mercuria1Alchemi has joined #ocaml
jabroney has joined #ocaml
<Leonidas> jerith: wrote you some comments, and merged one PR already. Thank you! :)
<jerith> :-)
sh0t has quit [Ping timeout: 255 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
<jerith> Leonidas: SHENZHEN I/O is probably getting all my coding time this evening, but I'll take a look tomorrow if I don't get to it today.
<Leonidas> This week I'm in a team using OCaml. It is funny how much more confident I feel digging into their code than the JS code from the other teams :)
<Leonidas> jerith: No worries, enjoy the game :) I got TIS-100 but never got around to play it, is Shenzen (bu the same developer I believe) better?
Muzer has joined #ocaml
<jerith> Same developer, yes.
<jerith> I prefer it to TIS-100. The puzzles are "engineering" than "computer science", if that makes sense.
<jerith> Also, it has a really good solitaire game built into it. :-)
mfp has quit [Quit: Leaving]
mfp has joined #ocaml
sh0t has joined #ocaml
<Leonidas> I only play the Microsoft Office flipper and flight simulator, sorry ;)
ryanartecona has quit [Quit: ryanartecona]
richi235 has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
richi235 has quit [Ping timeout: 260 seconds]
ryanartecona has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
sepp2k has quit [Quit: Leaving.]
sepp2k has joined #ocaml
sepp2k has quit [Client Quit]
yomimono has joined #ocaml
zv has joined #ocaml
spew has joined #ocaml
rpg has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
richi235 has joined #ocaml
balod has quit [Remote host closed the connection]
balod has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
ryanartecona has joined #ocaml
tane has joined #ocaml
eh_eff has quit [Ping timeout: 240 seconds]
cml has joined #ocaml
kakadu has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
shinnya has joined #ocaml
yegods has joined #ocaml
AlexDenisov has joined #ocaml
maattdd has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
zaquest has quit [Quit: Leaving]
eh_eff has joined #ocaml
shinnya has quit [Ping timeout: 258 seconds]
zaquest has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Ping timeout: 252 seconds]
yegods has quit [Remote host closed the connection]
mengu has joined #ocaml
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
_andre has quit [Quit: leaving]
spew has quit [Quit: foobar]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
strykerkkd has joined #ocaml
yegods has joined #ocaml
orbifx has joined #ocaml
aristarchus has joined #ocaml
aristarchus has left #ocaml [#ocaml]
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
tane has quit [Quit: Leaving]
seangrove has quit [Ping timeout: 245 seconds]
octachron has quit [Quit: Leaving]
cml has quit [Quit: Page closed]
ollehar has quit [Quit: ollehar]
sz0 has quit [Quit: Connection closed for inactivity]
maattdd has quit [Ping timeout: 240 seconds]
kakadu has quit [Remote host closed the connection]
spew has joined #ocaml
argent_smith has quit [Quit: Leaving.]
strykerkkd has quit [Quit: Leaving]
orbifx has quit [Quit: WeeChat 1.7]
richi235 has quit [Ping timeout: 245 seconds]
sh0t has quit [Remote host closed the connection]
yegods has quit [Remote host closed the connection]
infinity0 has quit [Ping timeout: 252 seconds]
Simn has quit [Quit: Leaving]
infinity0 has joined #ocaml