00:00
Birdface has quit [Ping timeout: 252 seconds]
00:33
jacobian_ has joined #ocaml
00:33
eskatrem has joined #ocaml
00:35
<
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?
00:36
<
lyxia >
#require "core";; ?
00:37
<
eskatrem >
let metry
00:37
<
eskatrem >
"No such package: core " :(
00:39
<
eskatrem >
oh that's strange, if I run #require "core";; from ocaml it works, but not from utop
00:40
pera has quit [Ping timeout: 246 seconds]
01:15
AtumT has quit [Quit: AtumT]
01:15
[rg] has joined #ocaml
01:20
oni-on-ion has joined #ocaml
01:45
silver has quit [Read error: Connection reset by peer]
01:53
ihavelotsoffries has joined #ocaml
02:07
mfp has quit [Ping timeout: 255 seconds]
02:09
<
ihavelotsoffries >
Hello
02:09
<
ihavelotsoffries >
can someone please explain this type for me:
02:09
<
ihavelotsoffries >
and ('a, 'kind) structured = { structured : ('a, 'kind) structured ptr }
02:10
pera has joined #ocaml
02:10
<
ihavelotsoffries >
How does it works? structured is a record with a field called structrued which is a pointer to a structured record? :thinking:
02:10
<
oni-on-ion >
a record i think
02:10
<
ihavelotsoffries >
Yeah, it is a record but it hurts my head.
02:11
<
oni-on-ion >
recursive ?
02:11
<
ihavelotsoffries >
If it is a structure with a field of structure, wouldn't that be inifinitely recursive?
02:11
<
oni-on-ion >
perhaps stuffing it into a record allows that more so
02:11
<
oni-on-ion >
well its a ptr too
02:11
<
oni-on-ion >
ocaml is happy with recursive types or it should be
02:12
<
oni-on-ion >
and because 'a and 'kind arent resolved quite yet, the compiler wont get stuck forever on it =P
02:12
<
ihavelotsoffries >
yeah but how could it ever encode any information other than a null pointer?
02:12
<
oni-on-ion >
pointer is a pointer i suppose ?
02:13
<
ihavelotsoffries >
and 'a ptr = ('a, [`C]) pointer
02:13
<
oni-on-ion >
the 'type' decl right where that 'and' continues from, explicitly refers to itself doesnt it
02:13
<
ihavelotsoffries >
that is the pointer type.
02:13
<
ihavelotsoffries >
So nothing special either.
02:13
<
ihavelotsoffries >
yeah, I sort of understand what the type describes.
02:13
<
ihavelotsoffries >
But I am struggling to understand how could it container anything meaningful?
02:14
<
ihavelotsoffries >
s/container/contain/
02:14
<
oni-on-ion >
the point (pun) of 'structured' is that its a structure [by record] (pun2) ?
02:14
ale64bit has joined #ocaml
02:15
<
ihavelotsoffries >
Thanks, but I am none the wiser.
02:16
<
oni-on-ion >
i am though. thank you =) [my mind just boxes things until it figures em out when i need it, sorry]
02:16
<
ihavelotsoffries >
Can you please explain it like I am a fool? :P
02:17
<
ihavelotsoffries >
what I fail to see is, how could I define a structued val?
02:20
<
oni-on-ion >
its used right below it: union, structure, etc
02:29
<
ihavelotsoffries >
still makes little sense to me.
02:29
<
ihavelotsoffries >
I think I am missing something.
02:29
[rg] has quit [Quit: Konversation terminated!]
02:29
<
oni-on-ion >
what kind of sense are you looking for ?
02:29
<
oni-on-ion >
try some things out on the repl/utop
02:30
<
ihavelotsoffries >
I am trying to understand what a 'structured' value would look like?
02:49
<
oni-on-ion >
look at the line right after that one.
02:50
<
oni-on-ion >
it is used right below where it is defined.
03:06
kotrcka has quit [Ping timeout: 255 seconds]
03:15
eskatrem has quit [Ping timeout: 255 seconds]
03:18
ale64bit has quit [Ping timeout: 252 seconds]
03:58
gravicappa has joined #ocaml
04:00
<
ihavelotsoffries >
I think that is another typed defined in relation to structured, right?
04:00
<
ihavelotsoffries >
I am struggling to think of the value that it can hold.
04:00
ihavelot1offries has joined #ocaml
04:00
ihavelotsoffries has quit [Read error: Connection reset by peer]
04:09
pera has quit [Ping timeout: 258 seconds]
04:17
ygrek has quit [Ping timeout: 258 seconds]
04:21
Birdface has joined #ocaml
04:28
<
xvilka >
anyone knows when 4.08 release is planned?
04:32
pera has joined #ocaml
04:50
<
xvilka >
oni-on-ion: yeah, I am following the OCaml github repos
04:50
<
xvilka >
oni-on-ion: was curious if some date is set
05:04
<
oni-on-ion >
i read that ocaml generally has releases every 6 months
05:04
<
oni-on-ion >
something of 4.08 is interesting ?
05:06
<
xvilka >
oni-on-ion: a lot in fact
05:07
<
xvilka >
oni-on-ion: it is kind of a big release
05:08
<
xvilka >
including more useful error messages
05:08
<
xvilka >
except DWARF/debugging - is not ready (yet)
05:08
<
oni-on-ion >
i just read this now, seems interesting =)
05:09
<
oni-on-ion >
tried latest/nightly in opam switch ?
05:09
* oni-on-ion
is allergic to 'end end end'..
05:12
<
xvilka >
oni-on-ion: yes, beta3
05:30
pera has quit [Quit: leaving]
05:32
pierpal has quit [Ping timeout: 252 seconds]
06:27
ziyourenxiang has quit [Ping timeout: 250 seconds]
06:42
govg has quit [Ping timeout: 245 seconds]
06:43
xuib has quit [Quit: xuib]
06:57
freyr69 has joined #ocaml
07:20
Haudegen has joined #ocaml
07:31
pierpal has joined #ocaml
07:35
pierpal has quit [Ping timeout: 248 seconds]
07:44
mildtaste has left #ocaml [#ocaml]
07:45
mildtaste has joined #ocaml
07:50
dmiles has quit [Ping timeout: 252 seconds]
08:01
<
Leonidas >
it is up (at time of writing)
08:04
<
xvilka >
Leonidas: yeah, now it is up again, probably an update or something like that
08:08
wklm_ has joined #ocaml
08:23
ziyourenxiang has joined #ocaml
08:46
notnotdan has quit [Ping timeout: 250 seconds]
09:03
ShalokShalom has joined #ocaml
09:33
pierpal has joined #ocaml
09:37
dhil has joined #ocaml
09:37
pierpal has quit [Ping timeout: 245 seconds]
09:39
<
Armael >
oui oui oui
09:45
pierpal has joined #ocaml
09:54
_whitelogger has joined #ocaml
09:55
Birdface has quit [Ping timeout: 252 seconds]
10:03
mfp has joined #ocaml
10:21
dmiles has joined #ocaml
10:28
oni-on-ion has quit [Ping timeout: 250 seconds]
10:38
sz0 has joined #ocaml
10:39
zolk3ri has joined #ocaml
10:39
ihavelot1offries has quit [Quit: Lost terminal]
10:44
mk270 has joined #ocaml
10:44
<
mk270 >
hi - is there a decent example anywhere of using sexplib in a dune file? hard to google
10:49
jacobian_ is now known as jacobian
11:17
silver has joined #ocaml
11:20
zolk3ri has quit [Ping timeout: 256 seconds]
11:22
ggole has joined #ocaml
11:24
zolk3ri has joined #ocaml
11:33
Haudegen has quit [Remote host closed the connection]
12:02
freyr69 has quit [Remote host closed the connection]
12:19
dhil has quit [Ping timeout: 244 seconds]
12:34
Haudegen has joined #ocaml
12:35
ShalokShalom has quit [Read error: Connection reset by peer]
12:35
ShalokShalom has joined #ocaml
12:37
jnavila has joined #ocaml
12:42
jnavila has quit [Ping timeout: 248 seconds]
12:46
jnavila has joined #ocaml
12:48
jnavila_ has joined #ocaml
12:48
jnavila has quit [Read error: No route to host]
12:52
picolino has quit [Ping timeout: 248 seconds]
12:54
picolino has joined #ocaml
13:01
Birdface has joined #ocaml
13:07
dhil has joined #ocaml
13:42
jnavila_ has quit [Ping timeout: 246 seconds]
13:50
mooooooooo has joined #ocaml
13:50
mooooooooo has left #ocaml [#ocaml]
14:04
jnavila_ has joined #ocaml
14:14
jnavila_ has quit [Ping timeout: 246 seconds]
15:02
spew has joined #ocaml
15:08
ale64bit has joined #ocaml
15:17
ggole has quit [Quit: Leaving]
15:33
FreeBirdLjj has joined #ocaml
15:38
ale64bit has quit [Ping timeout: 246 seconds]
15:43
Haudegen has quit [Remote host closed the connection]
16:00
FreeBirdLjj has quit [Remote host closed the connection]
16:01
FreeBirdLjj has joined #ocaml
16:15
picolino has quit [Ping timeout: 248 seconds]
16:26
picolino has joined #ocaml
16:29
ziyourenxiang has quit [Ping timeout: 255 seconds]
16:34
tarptaeya has quit [Ping timeout: 246 seconds]
16:49
oni-on-ion has joined #ocaml
16:50
Serpent7776 has joined #ocaml
16:59
Guest80369 has joined #ocaml
17:00
FreeBirdLjj has quit [Remote host closed the connection]
17:00
FreeBirdLjj has joined #ocaml
17:01
AtumT has joined #ocaml
17:04
FreeBirdLjj has quit [Ping timeout: 248 seconds]
17:12
ale64bit has joined #ocaml
17:30
pierpal has quit [Read error: Connection reset by peer]
17:35
oni-on-ion has quit [Remote host closed the connection]
17:44
ale64bit has quit [Ping timeout: 248 seconds]
17:45
mojo has joined #ocaml
17:50
ale64bit has joined #ocaml
17:50
dhil has quit [Ping timeout: 245 seconds]
17:58
pierpal has joined #ocaml
17:59
mojo has left #ocaml [#ocaml]
18:06
ale64bit has quit [Ping timeout: 255 seconds]
18:11
wklm_ has quit [Ping timeout: 258 seconds]
18:31
kakadu has quit [Remote host closed the connection]
18:38
dhil has joined #ocaml
18:41
Guest80369 has quit [Read error: Connection reset by peer]
18:46
dhil has quit [Ping timeout: 250 seconds]
18:50
tane has joined #ocaml
18:53
nullifidian has quit [Ping timeout: 248 seconds]
18:56
gravicappa has quit [Ping timeout: 248 seconds]
19:01
FreeBirdLjj has joined #ocaml
19:05
FreeBirdLjj has quit [Ping timeout: 246 seconds]
19:25
jnavila_ has joined #ocaml
19:27
wklm_ has joined #ocaml
19:38
kakadu has joined #ocaml
19:53
wagle has joined #ocaml
19:53
<
ShalokShalom >
The intended way to install esy is via npm
19:54
<
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
19:54
<
ShalokShalom >
Which is a package manager
19:54
<
ShalokShalom >
*means
19:55
<
companion_cube >
mk270: (libraries sexplib) ?
19:58
tane has quit [Quit: Leaving]
20:11
jao has joined #ocaml
20:13
interrup- has joined #ocaml
20:13
picolino has quit [Ping timeout: 250 seconds]
20:14
jave has quit [Ping timeout: 250 seconds]
20:14
Mayoi has joined #ocaml
20:14
kakadu_ has joined #ocaml
20:14
kakadu has quit [Ping timeout: 250 seconds]
20:14
niceplace has quit [Ping timeout: 250 seconds]
20:14
ocabot has quit [Ping timeout: 250 seconds]
20:15
srax has quit [Ping timeout: 250 seconds]
20:15
xorpse_ has quit [Ping timeout: 250 seconds]
20:15
erkin has quit [Ping timeout: 250 seconds]
20:15
mk270 has quit [Ping timeout: 250 seconds]
20:15
philtor has quit [Ping timeout: 250 seconds]
20:15
interruptinuse has quit [Ping timeout: 250 seconds]
20:15
mk270 has joined #ocaml
20:15
ocabot has joined #ocaml
20:19
ale64bit has joined #ocaml
20:20
jave has joined #ocaml
20:20
xorpse has joined #ocaml
20:20
picolino has joined #ocaml
20:20
Serpent7776 has quit [Quit: leaving]
20:22
Mayoi is now known as erkin
20:22
niceplace has joined #ocaml
20:26
ygrek has joined #ocaml
20:27
srax has joined #ocaml
20:28
philtor has joined #ocaml
20:37
ale64bit has quit [Ping timeout: 248 seconds]
20:38
ale64bit has joined #ocaml
20:42
interruptinuse has joined #ocaml
20:51
Haudegen has joined #ocaml
21:12
ale64bit has quit [Ping timeout: 268 seconds]
21:22
oni-on-ion has joined #ocaml
21:30
jnavila_ has quit [Quit: Konversation terminated!]
21:38
wklm_ has quit [Ping timeout: 246 seconds]
21:47
wklm has joined #ocaml
22:05
zolk3ri has quit [Quit: Lost terminal]
22:09
ale64bit has joined #ocaml
22:18
wklm has quit [Ping timeout: 258 seconds]
22:19
wklm has joined #ocaml
22:40
spew has quit [Quit: Connection closed for inactivity]
22:41
Birdface has quit [Ping timeout: 248 seconds]
22:41
Haudegen has quit [Remote host closed the connection]
22:45
Jesin has quit [Quit: Leaving]
22:48
ale64bit has quit [Ping timeout: 252 seconds]
23:01
wklm has quit [Ping timeout: 258 seconds]
23:02
kakadu_ has quit [Remote host closed the connection]
23:06
wklm has joined #ocaml
23:06
Jesin has joined #ocaml
23:10
ygrek has quit [Ping timeout: 245 seconds]
23:11
wklm has quit [Ping timeout: 258 seconds]
23:11
wklm has joined #ocaml
23:26
ziyourenxiang has joined #ocaml
23:34
weird_error has joined #ocaml
23:35
weird_error has quit [Client Quit]