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
iovec has quit [Quit: Connection closed for inactivity]
oni-on-ion has quit [Ping timeout: 245 seconds]
oni-on-ion has joined #ocaml
ygrek__ has joined #ocaml
mfp has quit [Read error: Connection reset by peer]
oni-on-ion has quit [Ping timeout: 250 seconds]
vicfred has quit [Quit: Leaving]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Ping timeout: 250 seconds]
oni-on-ion has joined #ocaml
jao has quit [Remote host closed the connection]
oni-on-ion has quit [Ping timeout: 250 seconds]
dborisog has joined #ocaml
oni-on-ion has joined #ocaml
williewillus has joined #ocaml
<williewillus> hi all, aoc participant here. I updated the packages in my opam switch today and things broke really badly for some reason...links coming
<williewillus> https://github.com/williewillus/advent_of_code_2019/blob/master/aoc_2019/day6.ml#L19. for some reason I'm getting an error that "COM" is passing a string where an int is expected. using merlin-lsp shows that the inference thinks path_to/dist_to/height all take ints as their src/dest parameters
<williewillus> it seems really busted, especially since I was compiling and running this code just fine 2 days ago before an `opam upgrade`
<williewillus> anyone have ideas what's going on?
oni-on-ion has quit [Ping timeout: 250 seconds]
oni-on-ion has joined #ocaml
<williewillus> just tried reinstalling the switch and it's still broken
<williewillus> so it looks like an actual regression somewhere, which is very yikes. how does a package bump break this badly?
<oni-on-ion> im having similar problem with merlin, its all upgraded, but fails with "wrong version" to ocaml =/
<oni-on-ion> i will try reinstall everything tomorrow perhaps.
<williewillus> but how does a merlin bug prevent the entire project from compiling?
<oni-on-ion> i mean because i upgraded the package so i thought its a similar problem
ygrek__ has quit [Remote host closed the connection]
<williewillus> for me it seems like `=` is busted
<williewillus> it keeps thinking everything is an int
<williewillus> instead of being polymorphic
<oni-on-ion> ah well check higher up on the line of type inference
ygrek__ has joined #ocaml
<williewillus> points at d and says "expected int" like wtf
<williewillus> even if I annotate the parameter it still does that
tormen_ has joined #ocaml
<williewillus> okay yeah it's `core`, something is up with it
<williewillus> a file with just `let test = "a" = "a"` fails to compile with Core opened and is fine otherwise
tormen has quit [Ping timeout: 250 seconds]
<williewillus> looks like it's core's polymorphic compare ban, but I'm really curious why it started to show up now
gravicappa has joined #ocaml
tg has quit [Ping timeout: 276 seconds]
williewillus has quit [Remote host closed the connection]
vicfred has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
tg has joined #ocaml
ziyourenxiang has joined #ocaml
oni-on-ion has quit [Ping timeout: 250 seconds]
narimiran has joined #ocaml
vicfred has quit [Quit: Leaving]
<xvilka> I am killing the polymorphic comparison and equation from my code. While it is obvious in case of the standard (or library) modules, what is the recommended way to do that for the custom types?
<xvilka> Or something like Bigarray.Array1.t ('a 'b 'c)?
<xvilka> (for Core/Base 0.13 update)
mbuf has joined #ocaml
<xvilka> or for something like that: "if Sys.file_exists file = `Yes then ..."
_whitelogger has joined #ocaml
<sarna> hi, does ocaml have something similar to interfaces in other languages?
<sarna> I mean specifying argument's type based on its behavior rather than specific type
<xvilka> sarna: you can use either algebraic types, e.g. "sum types" or GADT, depending on your needs
<sarna> xvilka: but then I'd have to include all the types that implement a behavior in the sum type, and choose them by hand.. right?
<sarna> oh, I searched a bit more and it seems like functors are a good fit
<xvilka> sarna: ah, now I understand your question. If you want to provide the common functions and types between different modules, then indeed functors or typeclasses are a good fit
barockobamo has joined #ocaml
<narimiran> silly question: is there a command in utop which would restart it (remove all variables/functions)? currently i'm doing `#quit` then invoking it again
Serpent7776 has joined #ocaml
Haudegen has joined #ocaml
bartholin has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
<thizanne> xvilka: you can define equality functions for your custom types
<thizanne> and match Sys.files_exists file with `Yes -> ...
octachron_ is now known as octachron
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
<Leonidas> do you even need functors? to me it seems like module types should be enough
_whitelogger has joined #ocaml
carlosdagos has joined #ocaml
stux|RC has quit [Ping timeout: 265 seconds]
bglm[m] has quit [Quit: killed]
smondet[m] has quit [Quit: killed]
Haudegen[m] has quit [Quit: killed]
zwindl[m] has quit [Quit: killed]
peddie has quit [Quit: killed]
otini has quit [Quit: killed]
sepp2k has quit [Quit: killed]
pc9801[m] has quit [Quit: killed]
copy` has quit [Quit: killed]
aspiwack[m] has quit [Quit: killed]
aecepoglu[m] has quit [Quit: killed]
zapashcanon[m] has quit [Quit: killed]
jimt[m] has quit [Quit: killed]
hdurer[m] has quit [Quit: killed]
stan[m] has quit [Quit: killed]
isaachodes[m] has quit [Quit: killed]
Virgile[m] has quit [Read error: Connection reset by peer]
dl3br[m] has quit [Read error: Connection reset by peer]
cgenie[m] has quit [Quit: killed]
flux1 has quit [Quit: killed]
regnat[m] has quit [Quit: killed]
rgr[m] has quit [Quit: killed]
prsafont[m] has quit [Quit: killed]
kleisli has quit [Ping timeout: 252 seconds]
stux|RC has joined #ocaml
flux1 has joined #ocaml
barockobamo has quit [Remote host closed the connection]
copy` has joined #ocaml
smondet[m] has joined #ocaml
Haudegen[m] has joined #ocaml
otini has joined #ocaml
zapashcanon[m] has joined #ocaml
peddie has joined #ocaml
hdurer[m] has joined #ocaml
aspiwack[m] has joined #ocaml
zwindl[m] has joined #ocaml
jimt[m] has joined #ocaml
bglm[m] has joined #ocaml
aecepoglu[m] has joined #ocaml
dl3br[m] has joined #ocaml
Virgile[m] has joined #ocaml
isaachodes[m] has joined #ocaml
prsafont[m] has joined #ocaml
rgr[m] has joined #ocaml
stan[m] has joined #ocaml
regnat[m] has joined #ocaml
sepp2k has joined #ocaml
pc9801[m] has joined #ocaml
cgenie[m] has joined #ocaml
GreyFaceNoSpace has quit [Quit: Ex-Chat]
kakadu has joined #ocaml
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
ygrek__ has quit [Ping timeout: 268 seconds]
carlosdagos has quit [Ping timeout: 250 seconds]
Nikkel has joined #ocaml
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
ggole has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
Haudegen has quit [Quit: Bin weg.]
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
leah2 has quit [Remote host closed the connection]
leah2 has joined #ocaml
ziyourenxiang has joined #ocaml
zmt00 has joined #ocaml
zmt01 has quit [Ping timeout: 245 seconds]
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
Haudegen has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
mononote has left #ocaml ["Disconnected: Replaced by new connection"]
mononote has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
<Nikkel> Have any of you ever tried using something like select2 or bootstrap-select with elioms Html.R.select?
<Drup> hmm, what's the issue ?
<Nikkel> My model has a list of entries, which is either added to or removed from frequently
<Nikkel> I need my selection picker to reflect the current list of entries, instead of just how it look when the page was loaded
<Nikkel> But I don't really know what's the best way of tying such a select plugin to the react model
mbuf has quit [Quit: Leaving]
<Drup> it depends a bit on the API for the "augmented" selects
<Drup> do they have APIs to change the list of entries, or do they work like a regular select ?
free_beard has joined #ocaml
<Nikkel> bootstrap-select seems to be able to hook into whether the select menu changes
<Nikkel> But that one is if individual options are selected/deselected
<Drup> if it changes with the content of the select, then a regular Html.R.select (or whatever combination of div they require) will do
<Drup> otherwise, I can't really give a good answer without seeing the API, you might need to compute diffs with reactiveData to insert/remove entries :/
kleisli has joined #ocaml
mfp has joined #ocaml
<Nikkel> I think I can do a really hacky thing by calling the selects destroy-method before updating the model, and then reinitializing it after the model has been updated
<Drup> that seems a bit extreme and probably a bit flickery
vicfred has joined #ocaml
<Nikkel> I don't see that many other options though. As soon as the model updates, the html select object is a different one than the one before, so the select picker is essentially tied to objects that have been overwritten
<Nikkel> (although I'm talking out of my ass now because I don't really know how DOM works)
<Drup> That's not necessarely a problem with R.select. The select itself will stay the same, the content will change.
<Nikkel> you're right, it's the option list inside that changes
<Drup> (that's not true anymore if you put that select in another reactive element, obviously)
tane has joined #ocaml
kleisli has quit [Ping timeout: 250 seconds]
barockobamo has joined #ocaml
oni-on-ion has joined #ocaml
kleisli has joined #ocaml
spew has joined #ocaml
klntsky has quit [Ping timeout: 260 seconds]
klntsky has joined #ocaml
aciniglio has joined #ocaml
carlosdagos has joined #ocaml
jao has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
mfp has quit [Ping timeout: 246 seconds]
Serpent7776 has quit [Quit: Leaving]
carlosdagos has quit [Ping timeout: 276 seconds]
kleisli has quit [Ping timeout: 245 seconds]
smazga has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
free_beard has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
mononote has left #ocaml ["Disconnected: closed"]
mononote has joined #ocaml
ziyourenxiang has quit [Ping timeout: 276 seconds]
mononote has left #ocaml ["Disconnected: closed"]
mononote has joined #ocaml
mononote has left #ocaml ["Disconnected: closed"]
mononote has joined #ocaml
mfp has joined #ocaml
mononote has left #ocaml ["Disconnected: closed"]
mononote has joined #ocaml
mononote has left #ocaml ["Disconnected: closed"]
mononote has joined #ocaml
dborisog has quit [Ping timeout: 265 seconds]
pgiarrusso has joined #ocaml
Haudegen has joined #ocaml
oni-on-ion has quit [Ping timeout: 250 seconds]
oni-on-ion has joined #ocaml
unyu has quit [Read error: Connection reset by peer]
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
bartholin has joined #ocaml
tane has quit [Quit: Leaving]
zmt00 has quit [Quit: Leaving]
aciniglio has quit [Ping timeout: 250 seconds]
zmt00 has joined #ocaml
Nahra has joined #ocaml
Nahra has quit [Changing host]
Nahra has joined #ocaml
madroach has quit [Quit: leaving]
mfp has quit [Ping timeout: 265 seconds]
mfp has joined #ocaml
ggole has quit [Quit: Leaving]
barockobamo has quit [Quit: Leaving]
kleisli has joined #ocaml
kakadu_ has joined #ocaml
gareppa has joined #ocaml
jnavila has joined #ocaml
gravicappa has quit [Ping timeout: 250 seconds]
unyu has joined #ocaml
brettgilio has joined #ocaml
kleisli has quit [Ping timeout: 240 seconds]
narimiran has quit [Ping timeout: 252 seconds]
sagax has joined #ocaml
gravicappa has joined #ocaml
gareppa has quit [Quit: Leaving]
mononote has left #ocaml ["Disconnected: closed"]
mononote has joined #ocaml
jnavila has quit [Remote host closed the connection]
mononote has left #ocaml ["Disconnected: closed"]
mononote has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
smazga has quit [Quit: leaving]
brettgilio has quit [Ping timeout: 250 seconds]
kleisli has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
Hrundi_V_Bakshi has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
Haudegen has quit [Ping timeout: 268 seconds]
unyu has quit [Quit: Reboot.]