adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
Birdface has quit [Ping timeout: 252 seconds]
jacobian_ has joined #ocaml
eskatrem has joined #ocaml
<eskatrem> hello, I installed Core with opam (I see it when I do `opam list`) but running `open Core;;` in the REPL (both utop and ocaml) tells me "Error: Unbound module Core", can someone give me some hints?
<lyxia> #require "core";; ?
<eskatrem> let metry
<eskatrem> "No such package: core " :(
<eskatrem> oh that's strange, if I run #require "core";; from ocaml it works, but not from utop
pera has quit [Ping timeout: 246 seconds]
AtumT has quit [Quit: AtumT]
[rg] has joined #ocaml
oni-on-ion has joined #ocaml
silver has quit [Read error: Connection reset by peer]
ihavelotsoffries has joined #ocaml
mfp has quit [Ping timeout: 255 seconds]
<ihavelotsoffries> Hello
<ihavelotsoffries> can someone please explain this type for me:
<ihavelotsoffries> and ('a, 'kind) structured = { structured : ('a, 'kind) structured ptr }
pera has joined #ocaml
<ihavelotsoffries> How does it works? structured is a record with a field called structrued which is a pointer to a structured record? :thinking:
<oni-on-ion> a record i think
<oni-on-ion> er
<oni-on-ion> yes
<ihavelotsoffries> Yeah, it is a record but it hurts my head.
<oni-on-ion> recursive ?
<ihavelotsoffries> If it is a structure with a field of structure, wouldn't that be inifinitely recursive?
<oni-on-ion> perhaps stuffing it into a record allows that more so
<oni-on-ion> well its a ptr too
<oni-on-ion> ocaml is happy with recursive types or it should be
<oni-on-ion> and because 'a and 'kind arent resolved quite yet, the compiler wont get stuck forever on it =P
<ihavelotsoffries> yeah but how could it ever encode any information other than a null pointer?
<oni-on-ion> pointer is a pointer i suppose ?
<ihavelotsoffries> and 'a ptr = ('a, [`C]) pointer
<oni-on-ion> the 'type' decl right where that 'and' continues from, explicitly refers to itself doesnt it
<ihavelotsoffries> that is the pointer type.
<ihavelotsoffries> So nothing special either.
<ihavelotsoffries> yeah, I sort of understand what the type describes.
<ihavelotsoffries> But I am struggling to understand how could it container anything meaningful?
<ihavelotsoffries> s/container/contain/
<oni-on-ion> the point (pun) of 'structured' is that its a structure [by record] (pun2) ?
ale64bit has joined #ocaml
<ihavelotsoffries> Thanks, but I am none the wiser.
<oni-on-ion> i am though. thank you =) [my mind just boxes things until it figures em out when i need it, sorry]
<ihavelotsoffries> Can you please explain it like I am a fool? :P
<ihavelotsoffries> what I fail to see is, how could I define a structued val?
<oni-on-ion> its used right below it: union, structure, etc
<ihavelotsoffries> still makes little sense to me.
<ihavelotsoffries> I think I am missing something.
[rg] has quit [Quit: Konversation terminated!]
<oni-on-ion> what kind of sense are you looking for ?
<oni-on-ion> try some things out on the repl/utop
<ihavelotsoffries> I am trying to understand what a 'structured' value would look like?
<oni-on-ion> look at the line right after that one.
<oni-on-ion> it is used right below where it is defined.
kotrcka has quit [Ping timeout: 255 seconds]
eskatrem has quit [Ping timeout: 255 seconds]
ale64bit has quit [Ping timeout: 252 seconds]
gravicappa has joined #ocaml
<ihavelotsoffries> I think that is another typed defined in relation to structured, right?
<ihavelotsoffries> I am struggling to think of the value that it can hold.
ihavelot1offries has joined #ocaml
ihavelotsoffries has quit [Read error: Connection reset by peer]
pera has quit [Ping timeout: 258 seconds]
ygrek has quit [Ping timeout: 258 seconds]
Birdface has joined #ocaml
<xvilka> anyone knows when 4.08 release is planned?
<oni-on-ion> hmmm beta1 was released in feb. also : https://github.com/ocaml/ocaml/milestones
pera has joined #ocaml
<xvilka> oni-on-ion: yeah, I am following the OCaml github repos
<xvilka> oni-on-ion: was curious if some date is set
<oni-on-ion> i read that ocaml generally has releases every 6 months
<oni-on-ion> something of 4.08 is interesting ?
<xvilka> oni-on-ion: a lot in fact
<xvilka> oni-on-ion: it is kind of a big release
<xvilka> including more useful error messages
<xvilka> except DWARF/debugging - is not ready (yet)
<oni-on-ion> i just read this now, seems interesting =)
<oni-on-ion> tried latest/nightly in opam switch ?
* oni-on-ion is allergic to 'end end end'..
<xvilka> oni-on-ion: yes, beta3
<oni-on-ion> cool
pera has quit [Quit: leaving]
pierpal has quit [Ping timeout: 252 seconds]
ziyourenxiang has quit [Ping timeout: 250 seconds]
govg has quit [Ping timeout: 245 seconds]
xuib has quit [Quit: xuib]
freyr69 has joined #ocaml
Haudegen has joined #ocaml
<xvilka> hmm, https://discuss.ocaml.org seems to be down
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 248 seconds]
mildtaste has left #ocaml [#ocaml]
mildtaste has joined #ocaml
dmiles has quit [Ping timeout: 252 seconds]
<Leonidas> it is up (at time of writing)
<xvilka> Leonidas: yeah, now it is up again, probably an update or something like that
wklm_ has joined #ocaml
ziyourenxiang has joined #ocaml
notnotdan has quit [Ping timeout: 250 seconds]
ShalokShalom has joined #ocaml
<rks`> h oui, ça
pierpal has joined #ocaml
dhil has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
<Armael> oui oui oui
pierpal has joined #ocaml
_whitelogger has joined #ocaml
Birdface has quit [Ping timeout: 252 seconds]
mfp has joined #ocaml
dmiles has joined #ocaml
oni-on-ion has quit [Ping timeout: 250 seconds]
sz0 has joined #ocaml
zolk3ri has joined #ocaml
ihavelot1offries has quit [Quit: Lost terminal]
mk270 has joined #ocaml
<mk270> hi - is there a decent example anywhere of using sexplib in a dune file? hard to google
jacobian_ is now known as jacobian
silver has joined #ocaml
zolk3ri has quit [Ping timeout: 256 seconds]
ggole has joined #ocaml
zolk3ri has joined #ocaml
Haudegen has quit [Remote host closed the connection]
freyr69 has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
ShalokShalom has quit [Read error: Connection reset by peer]
ShalokShalom has joined #ocaml
jnavila has joined #ocaml
jnavila has quit [Ping timeout: 248 seconds]
jnavila has joined #ocaml
jnavila_ has joined #ocaml
jnavila has quit [Read error: No route to host]
picolino has quit [Ping timeout: 248 seconds]
picolino has joined #ocaml
Birdface has joined #ocaml
dhil has joined #ocaml
jnavila_ has quit [Ping timeout: 246 seconds]
mooooooooo has joined #ocaml
mooooooooo has left #ocaml [#ocaml]
jnavila_ has joined #ocaml
jnavila_ has quit [Ping timeout: 246 seconds]
spew has joined #ocaml
ale64bit has joined #ocaml
ggole has quit [Quit: Leaving]
FreeBirdLjj has joined #ocaml
ale64bit has quit [Ping timeout: 246 seconds]
Haudegen has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
picolino has quit [Ping timeout: 248 seconds]
picolino has joined #ocaml
ziyourenxiang has quit [Ping timeout: 255 seconds]
tarptaeya has quit [Ping timeout: 246 seconds]
oni-on-ion has joined #ocaml
Serpent7776 has joined #ocaml
Guest80369 has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
AtumT has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
ale64bit has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
oni-on-ion has quit [Remote host closed the connection]
ale64bit has quit [Ping timeout: 248 seconds]
mojo has joined #ocaml
ale64bit has joined #ocaml
dhil has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
mojo has left #ocaml [#ocaml]
ale64bit has quit [Ping timeout: 255 seconds]
wklm_ has quit [Ping timeout: 258 seconds]
kakadu has quit [Remote host closed the connection]
dhil has joined #ocaml
Guest80369 has quit [Read error: Connection reset by peer]
dhil has quit [Ping timeout: 250 seconds]
tane has joined #ocaml
nullifidian has quit [Ping timeout: 248 seconds]
gravicappa has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
jnavila_ has joined #ocaml
wklm_ has joined #ocaml
kakadu has joined #ocaml
wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
wagle has joined #ocaml
<ShalokShalom> The intended way to install esy is via npm
<ShalokShalom> Which mean, I am now supposed to use my build in package manager of the distribution in order to use another package manager, in order to install esy
<ShalokShalom> Which is a package manager
<ShalokShalom> *means
<companion_cube> mk270: (libraries sexplib) ?
<ShalokShalom> xD
tane has quit [Quit: Leaving]
jao has joined #ocaml
interrup- has joined #ocaml
picolino has quit [Ping timeout: 250 seconds]
jave has quit [Ping timeout: 250 seconds]
Mayoi has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 250 seconds]
niceplace has quit [Ping timeout: 250 seconds]
ocabot has quit [Ping timeout: 250 seconds]
srax has quit [Ping timeout: 250 seconds]
xorpse_ has quit [Ping timeout: 250 seconds]
erkin has quit [Ping timeout: 250 seconds]
mk270 has quit [Ping timeout: 250 seconds]
philtor has quit [Ping timeout: 250 seconds]
interruptinuse has quit [Ping timeout: 250 seconds]
mk270 has joined #ocaml
ocabot has joined #ocaml
ale64bit has joined #ocaml
jave has joined #ocaml
xorpse has joined #ocaml
picolino has joined #ocaml
Serpent7776 has quit [Quit: leaving]
Mayoi is now known as erkin
niceplace has joined #ocaml
ygrek has joined #ocaml
srax has joined #ocaml
philtor has joined #ocaml
ale64bit has quit [Ping timeout: 248 seconds]
ale64bit has joined #ocaml
interrup- has quit [Quit: ZNC - https://znc.in -- bye bye!]
interruptinuse has joined #ocaml
Haudegen has joined #ocaml
ale64bit has quit [Ping timeout: 268 seconds]
oni-on-ion has joined #ocaml
jnavila_ has quit [Quit: Konversation terminated!]
wklm_ has quit [Ping timeout: 246 seconds]
wklm has joined #ocaml
zolk3ri has quit [Quit: Lost terminal]
ale64bit has joined #ocaml
wklm has quit [Ping timeout: 258 seconds]
wklm has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]
Birdface has quit [Ping timeout: 248 seconds]
Haudegen has quit [Remote host closed the connection]
Jesin has quit [Quit: Leaving]
ale64bit has quit [Ping timeout: 252 seconds]
wklm has quit [Ping timeout: 258 seconds]
kakadu_ has quit [Remote host closed the connection]
wklm has joined #ocaml
Jesin has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
wklm has quit [Ping timeout: 258 seconds]
wklm has joined #ocaml
ziyourenxiang has joined #ocaml
weird_error has joined #ocaml
weird_error has quit [Client Quit]