adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
richi235 has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
ziyourenxiang has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
jack5638 has quit [Ping timeout: 252 seconds]
copy` has quit [Quit: Connection closed for inactivity]
chatter29 has joined #ocaml
jack5638 has joined #ocaml
chatter29 has quit [K-Lined]
nicoo has quit [Remote host closed the connection]
fold4 has quit [Read error: Connection reset by peer]
troydm has quit [Read error: Connection reset by peer]
reynir has quit [Remote host closed the connection]
pmetzger has quit []
zv has quit [Remote host closed the connection]
cartwright has quit [Read error: Connection reset by peer]
Madars_ has quit [Read error: Connection reset by peer]
asm89 has quit [Ping timeout: 264 seconds]
dmbaturin has quit [Ping timeout: 258 seconds]
nicoo has joined #ocaml
nicoo has quit [Remote host closed the connection]
jao has joined #ocaml
nicoo has joined #ocaml
mrvn has quit [Ping timeout: 245 seconds]
mrvn has joined #ocaml
mfp has quit [Ping timeout: 245 seconds]
rom1504 has quit [Read error: Connection reset by peer]
sh0t has joined #ocaml
tobiasBora has quit [Read error: Connection reset by peer]
_whitelogger has joined #ocaml
mengu has quit [Quit: Leaving...]
p_nathan has joined #ocaml
mengu has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
zv has joined #ocaml
sh0t has quit [Remote host closed the connection]
infinity0 has joined #ocaml
nomicflux has joined #ocaml
kamog has joined #ocaml
nomicflux has quit [Client Quit]
shinnya has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
fraggle_ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
mengu has quit [Remote host closed the connection]
pyx has joined #ocaml
pyx has quit [Client Quit]
Simn has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
kakadu has joined #ocaml
AlexDenisov has joined #ocaml
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 240 seconds]
jabesed has joined #ocaml
slash^ has joined #ocaml
jnavila has joined #ocaml
kamog has quit [Remote host closed the connection]
richi235 has joined #ocaml
_whitelogger has joined #ocaml
argent_smith has joined #ocaml
jabesed has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
<kakadu> Folks, I have an issue with dynamic linking of plugins and I don't know here to seek the error. https://paste.in.ua/2722/#11
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
mfp has joined #ocaml
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
TheLemonMan has joined #ocaml
argent_smith has quit [Ping timeout: 268 seconds]
AlexDenisov has joined #ocaml
cbot_ has quit [Quit: Leaving]
fatboyzz has joined #ocaml
fatboyzz has quit [Client Quit]
mengu has joined #ocaml
zv has quit [Remote host closed the connection]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jnavila has quit [Ping timeout: 252 seconds]
maker has quit [Remote host closed the connection]
SkeThuVe has quit [Read error: Connection reset by peer]
vishesh has quit [Remote host closed the connection]
emily1 has quit [Read error: Connection reset by peer]
leah2 has quit [Read error: Connection reset by peer]
AlexRussia has quit [Read error: Connection reset by peer]
mengu has quit [Ping timeout: 268 seconds]
AlexRussia has joined #ocaml
kyod has joined #ocaml
dmbaturin has joined #ocaml
slash^ has quit [Ping timeout: 260 seconds]
MercurialAlchemi has joined #ocaml
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
rpg has joined #ocaml
littleli has joined #ocaml
rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
sveit has quit [Ping timeout: 246 seconds]
jnavila has joined #ocaml
sveit has joined #ocaml
leah2 has joined #ocaml
Cheery has joined #ocaml
troydm has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
adi_____ has quit [Remote host closed the connection]
mankyKitty has quit [Remote host closed the connection]
jeffmo has quit [Remote host closed the connection]
sspi has quit [Remote host closed the connection]
menasw has quit [Remote host closed the connection]
ggherdov has quit [Remote host closed the connection]
mengu has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
<Cheery> The cons has type of StateSet.t TypeLat.t
mengu has quit [Ping timeout: 246 seconds]
<Drup> Cheery: seem to just be the join operator on the latice of types (as described in the thesis/paper)
<Drup> _y: very late :p
<_y> :-(((
<Cheery> Drup: I'm trying to figure out what does it do if it faces something like: merge(<f1>, <f2>)
<Cheery> what does it do for the 'r' and 'd' edges that appear in the both types?
<Drup> I feel like it would be better to read the thesis :)
<Cheery> I've read it and it doesn't explain this.
jeffmo has joined #ocaml
<Drup> Right, guess you can ask stephen :p
ggherdov has joined #ocaml
<Cheery> already asked. I guess he doesn't check his email on the weekends
mankyKitty has joined #ocaml
sspi has joined #ocaml
adi_____ has joined #ocaml
<Cheery> one thing I could try would be to install ocaml and try compile this program.
<mrvn> one has to love types like val h : [< `Foo of string & int ] -> unit = <fun>
maker has joined #ocaml
<Cheery> wot. I already got ocaml installed.
rgrinberg has joined #ocaml
<Cheery> 4.02.3
<Cheery> goddammit if it requires a version 5
<Cheery> ocamlfind: Package `menhirLib' not found
menasw has joined #ocaml
<Cheery> the nice thing in older languages is that the software versions aren't usually too old.
<kakadu> Folks, I have an issue with dynamic linking of plugins and I don't know here to seek the error. https://paste.in.ua/2722/#11
jao has joined #ocaml
<Cheery> yay!
spew has joined #ocaml
jao has quit [Ping timeout: 268 seconds]
<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
shinnya has quit [Ping timeout: 240 seconds]
nomicflux has joined #ocaml
spew has quit [Ping timeout: 252 seconds]
nomicflux has quit [Quit: nomicflux]
Madars has joined #ocaml
spew has joined #ocaml
TheLemonMan has quit [Remote host closed the connection]
maattdd has quit [Remote host closed the connection]
AlexRussia has quit [Read error: Connection reset by peer]
leah2 has quit [Remote host closed the connection]
Johann has quit [Read error: Connection reset by peer]
lapinot has quit [Remote host closed the connection]
tobast has quit [Ping timeout: 240 seconds]
<Cheery> or hmm.. it appears to do something very much different with the merge.
tobast has joined #ocaml
leah2 has joined #ocaml
<Cheery> now it's very clear. :x
leah2 has quit [Quit: trotz alledem!]
<Cheery> okay so my assumption that state machine has just single transition from each state was incorrect.
<Cheery> n120 -> n115 [label="res"];
<Cheery> n120 -> n122 [label="res"];
tobast has quit [Ping timeout: 240 seconds]
<Cheery> of course it has not trouble in unifying them.
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
leah2 has joined #ocaml
leah2 has quit [Client Quit]
leah2 has joined #ocaml
rpg has joined #ocaml
spew has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
jnavila has joined #ocaml
Madars has quit [Read error: Connection reset by peer]
struk|desk has joined #ocaml
nightmared has quit [Quit: WeeChat 1.7.1]
nightmared has joined #ocaml
nightmared has quit [Client Quit]
richi235 has quit [Ping timeout: 245 seconds]
nightmared has joined #ocaml
richi235 has joined #ocaml
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]
troydm has joined #ocaml
TheLemonMan has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
sh0t has joined #ocaml
nomicflux has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
copy` has joined #ocaml
jnavila has quit [Ping timeout: 255 seconds]
Simn has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
maarhart has joined #ocaml
mengu has quit [Ping timeout: 260 seconds]
maarhart has quit [Quit: Mutter: www.mutterirc.com]
Simn has joined #ocaml
chetshah has joined #ocaml
chetshah has quit [Client Quit]
maarhart has joined #ocaml
maarhart has quit [Client Quit]
spew has joined #ocaml
spew has quit [Ping timeout: 246 seconds]
sillyotter has joined #ocaml
MercurialAlchemi has joined #ocaml
mengu has joined #ocaml
sillyotter has quit [Client Quit]
mengu has quit [Ping timeout: 260 seconds]
Madars has joined #ocaml
mal``` has quit [Quit: Leaving]
jnavila has joined #ocaml
mal`` has joined #ocaml
nightmared has quit [Quit: WeeChat 1.7.1]
nightmared has joined #ocaml
spew has joined #ocaml
_whitelogger has joined #ocaml
AlexDenisov has joined #ocaml
nomicflux has quit [Quit: nomicflux]
mengu has joined #ocaml
foo30303 has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
Madars has quit [Read error: Connection reset by peer]
mengu has joined #ocaml
mengu has quit [Ping timeout: 255 seconds]
rpg has quit [Quit: Textual IRC Client: www.textualapp.com]
Mercuria1Alchemi has joined #ocaml
mengu has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
ryanartecona has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hashpuppy has joined #ocaml
cbot has joined #ocaml
foo30303 has quit [Ping timeout: 240 seconds]
foo30303 has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
asm89 has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
kamog has joined #ocaml
mengu has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
kyod has quit [Remote host closed the connection]
joncfoo has quit [Read error: Connection reset by peer]
MasseR has quit [Read error: Connection reset by peer]
AlexDenisov has quit [Ping timeout: 240 seconds]
fluter has quit [Read error: Connection reset by peer]
dmiller has quit [Read error: Connection reset by peer]
tobast has joined #ocaml
average has quit [Ping timeout: 245 seconds]
kakadu has quit [Read error: Connection reset by peer]
average has joined #ocaml
strykerkkd has joined #ocaml
ryanartecona has joined #ocaml
Simn has quit [Quit: Leaving]
average has quit [Ping timeout: 245 seconds]
average has joined #ocaml
tane has quit [Quit: Leaving]
strykerkkd has quit [Quit: Leaving]
richi235 has quit [Ping timeout: 260 seconds]
lpaste has quit [Ping timeout: 246 seconds]
lpaste has joined #ocaml
miggsd has joined #ocaml
tobiasBora has joined #ocaml
trevorriles_ has quit [Ping timeout: 240 seconds]
trevorriles_ has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has quit [Killed (cherryh.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]