00:06
tlockney is now known as tlockney_away
00:30
thomasga has quit [Quit: Leaving.]
01:27
philtor_ has quit [Ping timeout: 264 seconds]
04:55
philtor has joined #mirage
05:42
tlockney_away is now known as tlockney
06:18
philtor has quit [Ping timeout: 272 seconds]
07:10
tlockney is now known as tlockney_away
08:16
djs55 has joined #mirage
08:45
thomasga has joined #mirage
08:58
mort___ has joined #mirage
09:01
jludlam has joined #mirage
09:02
AltGr has joined #mirage
09:02
djs55 has quit [Quit: Leaving.]
09:19
jludlam is now known as jonludlam
09:39
djs55 has joined #mirage
09:39
djs55 has quit [Client Quit]
09:39
djs55 has joined #mirage
09:43
avsm has joined #mirage
09:45
avsm has quit [Client Quit]
10:02
avsm has joined #mirage
10:19
noddy has quit [Ping timeout: 240 seconds]
10:20
noddy has joined #mirage
10:26
thomasga has quit [Quit: Leaving.]
10:39
thomasga has joined #mirage
11:21
dsheets_ has joined #mirage
11:32
mort___ has quit [Ping timeout: 260 seconds]
11:44
avsm has quit [Quit: Leaving.]
11:56
avsm has joined #mirage
11:58
<
avsm >
thomasga: in lab?
11:59
<
thomasga >
avsm: you ?
11:59
<
avsm >
yep, np, just a quick q on mirage frontend
12:02
<
thomasga >
cycling to the lab now
12:18
avsm has quit [Quit: Leaving.]
12:26
thomasga has quit [Quit: Leaving.]
12:47
thomasga has joined #mirage
12:56
avsm has joined #mirage
13:08
thomasga has quit [Quit: Leaving.]
13:09
thomasga has joined #mirage
13:20
thomasga has quit [Quit: Leaving.]
14:05
avsm has quit [Quit: Leaving.]
15:02
thomasga has joined #mirage
15:12
philtor_ has joined #mirage
15:30
philtor_ has quit [Ping timeout: 240 seconds]
15:32
philtor has joined #mirage
15:34
thomasga has quit [Ping timeout: 240 seconds]
15:53
avsm has joined #mirage
16:25
philtor has quit [Ping timeout: 255 seconds]
16:48
avsm has quit [Quit: Leaving.]
16:49
avsm has joined #mirage
16:52
tlockney_away is now known as tlockney
16:55
AltGr has left #mirage [#mirage]
17:17
philtor has joined #mirage
17:35
philtor has quit [Ping timeout: 272 seconds]
17:38
avsm has quit [Quit: Leaving.]
17:44
tlockney is now known as tlockney_away
18:06
djs55 has quit [Ping timeout: 252 seconds]
18:08
dsheets_ has quit [Ping timeout: 252 seconds]
19:45
djs55 has joined #mirage
20:38
<
IbnFirnas >
Hi guys, I'm checking-out the Uri module and am wondering why parsing is done as tests for individual components (and thus accepting any string at all) rather than trying to determine the scheme and the valid format (and thus rejecting invalid strings).
20:39
<
IbnFirnas >
intuitively, I'd expect something like: val of_string : string -> [`Ok of t | `Error of parsing_error]
21:04
philtor has joined #mirage
21:10
philtor has quit [Ping timeout: 272 seconds]
21:33
djs55 has quit [Quit: Leaving.]
23:11
jonludlam has quit [Remote host closed the connection]