00:00
infinity0 has quit [Remote host closed the connection]
00:02
infinity0 has joined #ocaml
00:03
infinity0 has quit [Remote host closed the connection]
00:05
infinity0 has joined #ocaml
00:05
infinity0 has quit [Remote host closed the connection]
00:08
infinity0 has joined #ocaml
00:08
infinity0 has quit [Remote host closed the connection]
00:11
infinity0 has joined #ocaml
00:11
infinity0 has quit [Remote host closed the connection]
00:15
richi235 has quit [Ping timeout: 245 seconds]
00:27
jao has joined #ocaml
00:52
ziyourenxiang has joined #ocaml
01:00
jao has quit [Ping timeout: 240 seconds]
01:03
jack5638 has quit [Ping timeout: 252 seconds]
01:10
copy` has quit [Quit: Connection closed for inactivity]
01:10
chatter29 has joined #ocaml
01:11
jack5638 has joined #ocaml
01:11
chatter29 has quit [K-Lined]
01:17
nicoo has quit [Remote host closed the connection]
01:23
fold4 has quit [Read error: Connection reset by peer]
01:23
troydm has quit [Read error: Connection reset by peer]
01:23
reynir has quit [Remote host closed the connection]
01:23
pmetzger has quit []
01:23
zv has quit [Remote host closed the connection]
01:24
cartwright has quit [Read error: Connection reset by peer]
01:25
Madars_ has quit [Read error: Connection reset by peer]
01:27
asm89 has quit [Ping timeout: 264 seconds]
01:34
dmbaturin has quit [Ping timeout: 258 seconds]
01:44
nicoo has joined #ocaml
01:45
nicoo has quit [Remote host closed the connection]
01:46
jao has joined #ocaml
01:46
nicoo has joined #ocaml
02:05
mrvn has quit [Ping timeout: 245 seconds]
02:05
mrvn has joined #ocaml
02:20
mfp has quit [Ping timeout: 245 seconds]
02:21
rom1504 has quit [Read error: Connection reset by peer]
02:22
sh0t has joined #ocaml
02:23
tobiasBora has quit [Read error: Connection reset by peer]
03:33
_whitelogger has joined #ocaml
03:33
mengu has quit [Quit: Leaving...]
03:48
p_nathan has joined #ocaml
03:54
mengu has joined #ocaml
03:57
jao has quit [Ping timeout: 240 seconds]
03:57
zv has joined #ocaml
04:10
sh0t has quit [Remote host closed the connection]
04:14
infinity0 has joined #ocaml
04:31
nomicflux has joined #ocaml
04:34
kamog has joined #ocaml
04:35
nomicflux has quit [Client Quit]
05:02
shinnya has joined #ocaml
05:06
nomicflux has joined #ocaml
05:08
nomicflux has quit [Client Quit]
05:28
FreeBirdLjj has quit [Remote host closed the connection]
05:29
FreeBirdLjj has joined #ocaml
05:29
fraggle_ has quit [Ping timeout: 240 seconds]
05:53
FreeBirdLjj has quit [Remote host closed the connection]
06:19
MercurialAlchemi has joined #ocaml
07:03
mengu has quit [Remote host closed the connection]
07:10
pyx has joined #ocaml
07:10
pyx has quit [Client Quit]
07:20
Simn has joined #ocaml
07:46
jnavila has quit [Ping timeout: 240 seconds]
07:48
fraggle_ has joined #ocaml
07:51
kakadu has joined #ocaml
08:02
AlexDenisov has joined #ocaml
08:18
cbot_ has joined #ocaml
08:20
cbot has quit [Ping timeout: 240 seconds]
08:51
jabesed has joined #ocaml
08:54
slash^ has joined #ocaml
09:06
jnavila has joined #ocaml
09:11
kamog has quit [Remote host closed the connection]
09:22
richi235 has joined #ocaml
09:30
_whitelogger has joined #ocaml
09:32
argent_smith has joined #ocaml
09:38
jabesed has quit [Ping timeout: 260 seconds]
09:42
MercurialAlchemi has quit [Ping timeout: 240 seconds]
09:47
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
09:48
AlexDenisov has joined #ocaml
09:48
AlexDenisov has quit [Client Quit]
09:49
AlexDenisov has joined #ocaml
09:49
AlexDenisov has quit [Client Quit]
09:49
mfp has joined #ocaml
09:49
AlexDenisov has joined #ocaml
09:50
AlexDenisov has quit [Client Quit]
09:50
AlexDenisov has joined #ocaml
09:51
AlexDenisov has quit [Client Quit]
09:51
AlexDenisov has joined #ocaml
09:51
AlexDenisov has quit [Client Quit]
09:54
TheLemonMan has joined #ocaml
09:57
argent_smith has quit [Ping timeout: 268 seconds]
10:00
AlexDenisov has joined #ocaml
10:02
cbot_ has quit [Quit: Leaving]
10:16
fatboyzz has joined #ocaml
10:17
fatboyzz has quit [Client Quit]
10:26
mengu has joined #ocaml
10:27
zv has quit [Remote host closed the connection]
10:31
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
10:31
jnavila has quit [Ping timeout: 252 seconds]
10:31
maker has quit [Remote host closed the connection]
10:31
SkeThuVe has quit [Read error: Connection reset by peer]
10:31
vishesh has quit [Remote host closed the connection]
10:31
emily1 has quit [Read error: Connection reset by peer]
10:31
leah2 has quit [Read error: Connection reset by peer]
10:31
AlexRussia has quit [Read error: Connection reset by peer]
10:32
mengu has quit [Ping timeout: 268 seconds]
10:42
AlexRussia has joined #ocaml
10:52
kyod has joined #ocaml
10:56
dmbaturin has joined #ocaml
11:26
slash^ has quit [Ping timeout: 260 seconds]
11:37
MercurialAlchemi has joined #ocaml
11:43
Mercuria1Alchemi has joined #ocaml
11:43
MercurialAlchemi has quit [Ping timeout: 240 seconds]
12:00
rpg has joined #ocaml
12:02
littleli has joined #ocaml
12:05
rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
12:14
sveit has quit [Ping timeout: 246 seconds]
12:20
jnavila has joined #ocaml
12:20
sveit has joined #ocaml
12:25
leah2 has joined #ocaml
12:25
Cheery has joined #ocaml
12:26
troydm has joined #ocaml
12:29
rgrinberg has quit [Remote host closed the connection]
12:29
adi_____ has quit [Remote host closed the connection]
12:29
mankyKitty has quit [Remote host closed the connection]
12:29
jeffmo has quit [Remote host closed the connection]
12:29
sspi has quit [Remote host closed the connection]
12:29
menasw has quit [Remote host closed the connection]
12:29
ggherdov has quit [Remote host closed the connection]
12:29
mengu has joined #ocaml
12:29
jnavila has quit [Ping timeout: 240 seconds]
12:32
<
Cheery >
The cons has type of StateSet.t TypeLat.t
12:34
mengu has quit [Ping timeout: 246 seconds]
12:35
<
Drup >
Cheery: seem to just be the join operator on the latice of types (as described in the thesis/paper)
12:36
<
Drup >
_y: very late :p
12:38
<
Cheery >
Drup: I'm trying to figure out what does it do if it faces something like: merge(<f1>, <f2>)
12:39
<
Cheery >
what does it do for the 'r' and 'd' edges that appear in the both types?
12:39
<
Drup >
I feel like it would be better to read the thesis :)
12:39
<
Cheery >
I've read it and it doesn't explain this.
12:40
jeffmo has joined #ocaml
12:40
<
Drup >
Right, guess you can ask stephen :p
12:41
ggherdov has joined #ocaml
12:41
<
Cheery >
already asked. I guess he doesn't check his email on the weekends
12:43
mankyKitty has joined #ocaml
12:44
sspi has joined #ocaml
12:46
adi_____ has joined #ocaml
12:48
<
Cheery >
one thing I could try would be to install ocaml and try compile this program.
12:48
<
mrvn >
one has to love types like val h : [< `Foo of string & int ] -> unit = <fun>
12:49
maker has joined #ocaml
12:50
<
Cheery >
wot. I already got ocaml installed.
12:51
rgrinberg has joined #ocaml
12:51
<
Cheery >
goddammit if it requires a version 5
12:52
<
Cheery >
ocamlfind: Package `menhirLib' not found
12:53
menasw has joined #ocaml
12:53
<
Cheery >
the nice thing in older languages is that the software versions aren't usually too old.
13:01
jao has joined #ocaml
13:37
spew has joined #ocaml
13:39
jao has quit [Ping timeout: 268 seconds]
13:44
<
Cheery >
setting on a debug variable stephen has left there and studying the output, it'd seem that the engine avoids cases where q1 has the transforms of q2
13:46
shinnya has quit [Ping timeout: 240 seconds]
13:56
nomicflux has joined #ocaml
14:04
spew has quit [Ping timeout: 252 seconds]
14:09
nomicflux has quit [Quit: nomicflux]
14:14
Madars has joined #ocaml
14:16
spew has joined #ocaml
14:17
TheLemonMan has quit [Remote host closed the connection]
14:18
maattdd has quit [Remote host closed the connection]
14:18
AlexRussia has quit [Read error: Connection reset by peer]
14:18
leah2 has quit [Remote host closed the connection]
14:18
Johann has quit [Read error: Connection reset by peer]
14:20
lapinot has quit [Remote host closed the connection]
14:30
tobast has quit [Ping timeout: 240 seconds]
14:30
<
Cheery >
or hmm.. it appears to do something very much different with the merge.
14:38
tobast has joined #ocaml
14:41
leah2 has joined #ocaml
15:02
<
Cheery >
now it's very clear. :x
15:02
leah2 has quit [Quit: trotz alledem!]
15:02
<
Cheery >
okay so my assumption that state machine has just single transition from each state was incorrect.
15:04
<
Cheery >
n120 -> n115 [label="res"];
15:04
<
Cheery >
n120 -> n122 [label="res"];
15:04
tobast has quit [Ping timeout: 240 seconds]
15:04
<
Cheery >
of course it has not trouble in unifying them.
15:06
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
15:10
leah2 has joined #ocaml
15:10
leah2 has quit [Client Quit]
15:11
leah2 has joined #ocaml
15:30
rpg has joined #ocaml
15:37
spew has quit [Ping timeout: 260 seconds]
15:47
tane has joined #ocaml
15:59
jnavila has joined #ocaml
16:02
Madars has quit [Read error: Connection reset by peer]
16:04
struk|desk has joined #ocaml
16:13
nightmared has quit [Quit: WeeChat 1.7.1]
16:16
nightmared has joined #ocaml
16:16
nightmared has quit [Client Quit]
16:19
richi235 has quit [Ping timeout: 245 seconds]
16:21
nightmared has joined #ocaml
16:21
richi235 has joined #ocaml
16:23
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
16:24
troydm has joined #ocaml
16:34
TheLemonMan has joined #ocaml
16:40
nomicflux has joined #ocaml
16:44
nomicflux has quit [Client Quit]
16:46
sh0t has joined #ocaml
16:52
nomicflux has joined #ocaml
17:08
ziyourenxiang has quit [Quit: Leaving]
17:08
copy` has joined #ocaml
17:20
jnavila has quit [Ping timeout: 255 seconds]
17:21
Simn has quit [Ping timeout: 240 seconds]
17:26
mengu has joined #ocaml
17:27
maarhart has joined #ocaml
17:30
mengu has quit [Ping timeout: 260 seconds]
17:39
Simn has joined #ocaml
17:49
chetshah has joined #ocaml
17:51
chetshah has quit [Client Quit]
18:00
maarhart has joined #ocaml
18:03
maarhart has quit [Client Quit]
18:21
spew has joined #ocaml
18:27
spew has quit [Ping timeout: 246 seconds]
18:42
sillyotter has joined #ocaml
18:42
MercurialAlchemi has joined #ocaml
18:45
mengu has joined #ocaml
18:46
sillyotter has quit [Client Quit]
18:49
mengu has quit [Ping timeout: 260 seconds]
19:01
Madars has joined #ocaml
19:02
mal``` has quit [Quit: Leaving]
19:05
jnavila has joined #ocaml
19:12
mal`` has joined #ocaml
19:22
nightmared has quit [Quit: WeeChat 1.7.1]
19:22
nightmared has joined #ocaml
19:23
spew has joined #ocaml
19:30
_whitelogger has joined #ocaml
19:35
AlexDenisov has joined #ocaml
19:37
nomicflux has quit [Quit: nomicflux]
19:46
mengu has joined #ocaml
19:50
foo30303 has joined #ocaml
19:50
mengu has quit [Ping timeout: 240 seconds]
20:00
Madars has quit [Read error: Connection reset by peer]
20:05
mengu has joined #ocaml
20:11
mengu has quit [Ping timeout: 255 seconds]
20:21
Mercuria1Alchemi has joined #ocaml
20:22
mengu has joined #ocaml
20:39
MercurialAlchemi has quit [Ping timeout: 240 seconds]
20:41
ryanartecona has joined #ocaml
20:58
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
21:04
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
21:06
hashpuppy has joined #ocaml
21:16
cbot has joined #ocaml
21:22
foo30303 has quit [Ping timeout: 240 seconds]
21:24
foo30303 has joined #ocaml
21:34
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
21:37
asm89 has joined #ocaml
21:46
jnavila has quit [Ping timeout: 240 seconds]
21:51
kamog has joined #ocaml
22:07
mengu has quit [Remote host closed the connection]
22:08
AlexDenisov has joined #ocaml
22:10
ryanartecona has quit [Quit: ryanartecona]
22:10
kyod has quit [Remote host closed the connection]
22:10
joncfoo has quit [Read error: Connection reset by peer]
22:10
MasseR has quit [Read error: Connection reset by peer]
22:12
AlexDenisov has quit [Ping timeout: 240 seconds]
22:13
fluter has quit [Read error: Connection reset by peer]
22:14
dmiller has quit [Read error: Connection reset by peer]
22:34
tobast has joined #ocaml
22:37
average has quit [Ping timeout: 245 seconds]
22:37
kakadu has quit [Read error: Connection reset by peer]
22:38
average has joined #ocaml
22:40
strykerkkd has joined #ocaml
22:41
ryanartecona has joined #ocaml
22:44
Simn has quit [Quit: Leaving]
22:45
average has quit [Ping timeout: 245 seconds]
22:47
average has joined #ocaml
22:48
tane has quit [Quit: Leaving]
23:04
strykerkkd has quit [Quit: Leaving]
23:05
richi235 has quit [Ping timeout: 260 seconds]
23:35
lpaste has quit [Ping timeout: 246 seconds]
23:37
lpaste has joined #ocaml
23:38
miggsd has joined #ocaml
23:42
tobiasBora has joined #ocaml
23:47
trevorriles_ has quit [Ping timeout: 240 seconds]
23:51
trevorriles_ has joined #ocaml
23:56
infinity0_ has joined #ocaml
23:56
infinity0_ has quit [Changing host]
23:56
infinity0 has quit [Killed (cherryh.freenode.net (Nickname regained by services))]
23:56
infinity0 has joined #ocaml
23:58
infinity0 has quit [Remote host closed the connection]