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
<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
<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?
<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]