00:00
Haudegen has quit [Ping timeout: 255 seconds]
00:00
alexherbo2 has quit [Remote host closed the connection]
00:08
Serpent7776 has quit [Ping timeout: 268 seconds]
00:21
<
discocaml >
<leviroth> Not the most authoritative answer, but I do think OCaml understands that `data` is no longer reachable and collects it.
00:39
<
companion_cube >
Yeah, the gc is a runtime property, it doesn't depend on the accuracy of some scope analysis line recounting might
00:39
<
companion_cube >
Like*
00:48
emp_ has joined #ocaml
00:48
emp has quit [Ping timeout: 260 seconds]
00:54
<
discocaml >
<lagarto> I don't think that quite made sense cube ... a naive compiler w/o any smart lifetime analysis would very probably store that value on the stack, where the GC can see it at runtime
00:58
<
discocaml >
<lagarto> (and I think refcount-based GC has the same issue here too)
01:03
Soni has quit [Ping timeout: 252 seconds]
01:14
<
companion_cube >
Well as much stuff as possible is put in registers, which are reused, so it should be erased in that case. If it's spilled I think you must be right, the pointer will outlive the value's actual death
02:02
sagax has quit [Quit: Konversation terminated!]
02:18
spip has quit [Quit: Konversation terminated!]
02:21
azimut has joined #ocaml
02:34
chrisz has quit [Ping timeout: 268 seconds]
02:35
chrisz has joined #ocaml
02:36
tizoc has quit [Quit: Coyote finally caught me]
02:42
Soni has joined #ocaml
02:43
tizoc has joined #ocaml
02:48
rf has quit [Quit: Leaving]
03:07
rf has joined #ocaml
03:14
rf has quit [Quit: Leaving]
03:37
chrisz has quit [Ping timeout: 252 seconds]
03:38
chrisz has joined #ocaml
04:01
count3rmeasure has joined #ocaml
04:04
mbuf has joined #ocaml
04:17
trev has joined #ocaml
04:29
count3rmeasure has quit [Read error: Connection reset by peer]
04:42
waleee has quit [Ping timeout: 248 seconds]
05:03
Serpent7776 has joined #ocaml
05:09
Serpent7776 has quit [Ping timeout: 255 seconds]
05:31
adanwan_ has quit [Ping timeout: 255 seconds]
05:32
adanwan has joined #ocaml
06:11
bgs has joined #ocaml
06:32
Haudegen has joined #ocaml
06:39
bartholin has joined #ocaml
07:08
wingsorc has quit [Ping timeout: 246 seconds]
07:14
Serpent7776 has joined #ocaml
07:57
adanwan has quit [Remote host closed the connection]
07:57
adanwan has joined #ocaml
07:59
random-jellyfish has joined #ocaml
08:22
szkl has quit [Quit: Connection closed for inactivity]
08:25
azimut has joined #ocaml
08:30
bartholin has quit [Quit: Leaving]
08:49
olle has joined #ocaml
08:59
kakadu has joined #ocaml
09:01
azimut has quit [Ping timeout: 255 seconds]
09:34
spip has joined #ocaml
10:09
adanwan has quit [Ping timeout: 255 seconds]
10:13
mro has joined #ocaml
11:33
mro has quit [Remote host closed the connection]
11:38
Haudegen has quit [Quit: Bin weg.]
11:46
mro has joined #ocaml
11:51
random-jellyfish has quit [Quit: Client closed]
12:21
szkl has joined #ocaml
12:35
Serpent7776 has quit [Ping timeout: 256 seconds]
12:45
Haudegen has joined #ocaml
12:52
adanwan has joined #ocaml
13:10
rf has joined #ocaml
15:08
spip has quit [Ping timeout: 264 seconds]
15:20
szkl has quit [Quit: Connection closed for inactivity]
15:20
mro has quit [Remote host closed the connection]
15:21
mro has joined #ocaml
15:21
waleee has joined #ocaml
15:26
mro has quit [Remote host closed the connection]
15:28
mro has joined #ocaml
15:34
mro_ has joined #ocaml
15:38
mro has quit [Ping timeout: 268 seconds]
15:44
waleee has quit [Ping timeout: 255 seconds]
15:53
mro_ has quit [Quit: Leaving...]
16:08
mbuf has quit [Quit: Leaving]
16:39
Haudegen has quit [Quit: Bin weg.]
17:00
olle has quit [Ping timeout: 264 seconds]
17:28
spip has joined #ocaml
17:37
dnh has joined #ocaml
17:41
Serpent7776 has joined #ocaml
17:51
Serpent7776 has quit [Ping timeout: 260 seconds]
18:12
azimut has joined #ocaml
18:13
Haudegen has joined #ocaml
18:17
bartholin has joined #ocaml
18:19
olle has joined #ocaml
18:22
mro has joined #ocaml
18:23
mro has quit [Remote host closed the connection]
18:35
adanwan has quit [Quit: _]
18:36
adanwan has joined #ocaml
18:59
Serpent7776 has joined #ocaml
19:07
alexherbo2 has joined #ocaml
19:33
gahr_ has joined #ocaml
19:34
terrorjack8 has joined #ocaml
19:35
mro has joined #ocaml
19:35
mro has quit [Remote host closed the connection]
19:35
mal``` has joined #ocaml
19:36
Serpent7776 has quit [Ping timeout: 260 seconds]
19:36
fds_ has joined #ocaml
19:37
farn__ has joined #ocaml
19:37
gahr has quit [Ping timeout: 248 seconds]
19:37
dnh has quit [Ping timeout: 248 seconds]
19:37
fds has quit [Ping timeout: 248 seconds]
19:37
terrorjack has quit [Ping timeout: 248 seconds]
19:37
mal`` has quit [Ping timeout: 248 seconds]
19:37
farn_ has quit [Ping timeout: 248 seconds]
19:37
terrorjack8 is now known as terrorjack
20:06
jumpnbrownweasel has quit [Remote host closed the connection]
20:07
jumpnbrownweasel has joined #ocaml
20:11
waleee has joined #ocaml
20:25
Stumpfenstiel has joined #ocaml
20:35
mro has joined #ocaml
20:47
alexherbo2 has quit [Remote host closed the connection]
20:48
mro has quit [Read error: Connection reset by peer]
20:48
mro has joined #ocaml
21:26
olle has quit [Ping timeout: 255 seconds]
21:36
trev has quit [Remote host closed the connection]
21:47
xgqt has quit [Remote host closed the connection]
21:48
xgqt has joined #ocaml
21:53
bgs has quit [Remote host closed the connection]
21:57
mro has quit [Remote host closed the connection]
21:57
mro has joined #ocaml
22:09
mro_ has joined #ocaml
22:18
mro has quit [*.net *.split]
22:44
mro_ has quit [Quit: Leaving...]
23:01
quernd has quit [Quit: Ping timeout (120 seconds)]
23:01
quernd has joined #ocaml
23:19
bartholin has quit [Quit: Leaving]
23:26
wingsorc has joined #ocaml
23:35
wingsorc has quit [Remote host closed the connection]
23:37
wingsorc has joined #ocaml
23:45
Stumpfenstiel has quit [Ping timeout: 248 seconds]
23:51
Tuplanolla has joined #ocaml