adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.02.3 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
zpe has joined #ocaml
sillyotter has quit [Quit: leaving]
pierpa has joined #ocaml
zpe has quit [Ping timeout: 255 seconds]
Stalkr_ has quit [Ping timeout: 240 seconds]
<kakadu> Oh, this modular implicits are tough
<def`> why ?
<kakadu> originally they were on 4.02.0 and I rebased them for 4.02.3
<kakadu> And I want to rebase them for trunk but I can't find good common ancestor
<def`> kakadu: don't worry
<def`> Or more precisely, don't bother.
<kakadu> ?
<def`> The modular implicits 2016 developement season started this morning (it is 09:30)
<kakadu> hmm, curious about your time zone....
<def`> Your help is welcome, but there might be some breaking changes in the implementation coming soon.
<def`> GMT+9
<kakadu> Oh, I thought that Japan is further...
<def`> Same as Yakutsk :D, what is your timezone ?
<kakadu> Moscow
<def`> Where you working on implicits out of curiosity or do you have specific needs?
<kakadu> I would like a generic printer
esad has joined #ocaml
<kakadu> for minikanren deduction log (more precisely a tree)
<def`> Yeah, you are not the first :/. If the current version is ok for you, maybe sticking to your 4.02.3 rebase will be fine.
<kakadu> Yeah, maybe
<def`> The short terms plans are not yet devised, I can't promise anything yet :)
<kakadu> I just need some dependencies like ppx_tools. And we need to patch it becase mi change some types. But 4.03.0 also changes some types and I thought that it will be easier to rebase for trunk. But I run into problems....
<def`> I would go with 4.02.3 ppx+tools patched for implicits if I were you.
lokien_ has quit [Quit: Connection closed for inactivity]
<kakadu> because of something concrete or intuition?
<def`> to mininize the amount of changes
<def`> minimize*
<def`> Current state of implicits is known to be "ok-ish" (for an alpha) on 4.02.3 and there are not too many changes to add to ppx_tools for basic support.
<kakadu> Did you rebase independently from me?
<def`> On 4.03.0, many things changed and implicits implementation will also receive a lot of changes.
<def`> I did not, I wonder if Jeremy or Leo did...
<Drup> hum, jeremy has at least a 4.02.1+implicits
<Drup> (there is an opam switch with 4.02.1 + implicits + metaocaml)
<Drup> (yes, you can do very very fun stuff with the combination)
<kakadu> Well, if my rebasing will not be needed I'm at least more experienced in the rebasing now....
<def`> Don't worry, help is welcome :P
kakadu has quit [Remote host closed the connection]
kakadu has joined #ocaml
kakadu has quit [Remote host closed the connection]
esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mcmillhj has quit [Quit: Lost terminal]
Knuth has joined #ocaml
badon has quit [Ping timeout: 260 seconds]
<Knuth> Hy The art of computer programming worth to read for a cs student ? Im cs student and I m curious about discret math
Knuth has quit [Quit: Page closed]
badon has joined #ocaml
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
ygrek_ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
ygrek_ has joined #ocaml
pyon has joined #ocaml
ril has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ril has joined #ocaml
shinnya has quit [Ping timeout: 276 seconds]
struk|desk has quit [Remote host closed the connection]
lopex has quit [Quit: Connection closed for inactivity]
badon has quit [Quit: Leaving]
struk|desk has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ril has joined #ocaml
drmem has quit [Ping timeout: 256 seconds]
ril has quit [Ping timeout: 265 seconds]
drmem has joined #ocaml
damason has joined #ocaml
struk|desk is now known as struk|desk|away
struk|desk|away is now known as struk|desk
mac10688 has quit [Ping timeout: 250 seconds]
kushal has joined #ocaml
d0nn1e has quit [Ping timeout: 240 seconds]
d0nn1e has joined #ocaml
badon has joined #ocaml
tmtwd has joined #ocaml
rossberg has quit [Ping timeout: 264 seconds]
struk|desk is now known as struk|desk|away
struk|desk|away is now known as struk|desk
rossberg has joined #ocaml
groovy2shoes has quit [Ping timeout: 245 seconds]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
JacobEdelman has quit [Quit: Connection closed for inactivity]
struk|desk2 has joined #ocaml
struk|desk has quit [Ping timeout: 256 seconds]
aantron has quit [Remote host closed the connection]
struk|desk2 is now known as struk|desk|away
darkf has joined #ocaml
tmtwd has quit [Ping timeout: 256 seconds]
troydm has joined #ocaml
emias has joined #ocaml
tmtwd has joined #ocaml
MercurialAlchemi has joined #ocaml
struk|desk|away is now known as struk|desk2
badon has quit [Quit: Leaving]
larhat1 has quit [Quit: Leaving.]
badon has joined #ocaml
thesnowdog1 has quit [Read error: Connection reset by peer]
thesnowdog1 has joined #ocaml
tmtwd has quit [Ping timeout: 255 seconds]
badon has quit [Ping timeout: 255 seconds]
kushal has quit [Quit: Leaving]
kushal has joined #ocaml
zpe has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
zpe has quit [Ping timeout: 265 seconds]
ggole has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
esad has joined #ocaml
octachron has joined #ocaml
pierpa has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
Haudegen has joined #ocaml
Simn has joined #ocaml
troydm has quit [Ping timeout: 248 seconds]
zpe has joined #ocaml
rand has joined #ocaml
rand is now known as Guest21967
ontologiae has joined #ocaml
FreeBirdLjj has joined #ocaml
ygrek_ has quit [Ping timeout: 260 seconds]
demonimin has joined #ocaml
lopex has joined #ocaml
struk|desk2 is now known as struk|desk|away
xyh has joined #ocaml
sz0 has joined #ocaml
jwatzman|work has joined #ocaml
esad has quit [Quit: Textual IRC Client: www.textualapp.com]
rks`_ is now known as rks
freehck has joined #ocaml
kakadu has joined #ocaml
_andre has joined #ocaml
sepp2k has joined #ocaml
AltGr has joined #ocaml
kaustuv has joined #ocaml
AltGr has left #ocaml [#ocaml]
nicoo has quit [Ping timeout: 260 seconds]
nicoo has joined #ocaml
accname has joined #ocaml
troydm has joined #ocaml
Guest21967 has quit [Ping timeout: 256 seconds]
rand has joined #ocaml
rand is now known as Guest22159
accname has quit [Ping timeout: 250 seconds]
Guest22159 has quit [Ping timeout: 276 seconds]
Haudegen has quit [Ping timeout: 256 seconds]
hunteriam has joined #ocaml
AltGr has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
Haudegen has joined #ocaml
mort___ has joined #ocaml
JacobEdelman has joined #ocaml
lokien_ has joined #ocaml
zpe_ has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
ontologiae has quit [Ping timeout: 264 seconds]
zpe_ has quit [Ping timeout: 264 seconds]
AltGr has left #ocaml [#ocaml]
rand has joined #ocaml
rand is now known as Guest48993
AltGr has joined #ocaml
shinnya has joined #ocaml
mort___ has quit [Ping timeout: 250 seconds]
mort___ has joined #ocaml
accname has joined #ocaml
mort___ has left #ocaml [#ocaml]
accname has quit [Ping timeout: 260 seconds]
freehck has quit [Remote host closed the connection]
sh0t has joined #ocaml
sh0t has quit [Client Quit]
govg has joined #ocaml
musha68k has joined #ocaml
xyh has quit [Ping timeout: 260 seconds]
mort___ has joined #ocaml
Sorella has joined #ocaml
zpe has quit [Read error: No route to host]
struk|desk|away is now known as struk|desk2
FreeBirdLjj has quit [Remote host closed the connection]
zpe has joined #ocaml
aantron has joined #ocaml
lokien_ has quit [Quit: Connection closed for inactivity]
<kakadu> Folks, how opam knows contents of variable `ocaml-version`/
<kakadu> ?
xyh has joined #ocaml
jwatzman2 has joined #ocaml
<kakadu> I think that it should be 4.02.3+modular-implicits
kakadu has quit [Quit: Page closed]
jwatzman|work has quit [Ping timeout: 250 seconds]
kakadu has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 252 seconds]
jwatzman2 is now known as jwatzman
jwatzman has quit [Changing host]
jwatzman has joined #ocaml
xyh has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.39/20151206235742]]
xyh has joined #ocaml
Snark has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
struk|desk2 is now known as struk|desk|away
Snark has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
lokien_ has joined #ocaml
<kakadu_> okay, the plus character should not be in the version string
struk|desk|away is now known as struk|desk2
struk|desk2 has quit [Ping timeout: 260 seconds]
struk|desk2 has joined #ocaml
hunteriam has quit [Quit: Connection closed for inactivity]
JacobEdelman has quit [Quit: Connection closed for inactivity]
BitPuffin has joined #ocaml
ontologiae has joined #ocaml
shinnya has quit [Ping timeout: 245 seconds]
Guest48993 has quit [Quit: leaving]
kakadu_ has quit [Quit: Page closed]
hunteriam has joined #ocaml
govg_ has joined #ocaml
psy_ has joined #ocaml
govg_ has quit [Quit: leaving]
MercurialAlchemi has joined #ocaml
martintrojer has quit [Ping timeout: 265 seconds]
ontologiae has quit [Ping timeout: 250 seconds]
kaustuv has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
govg has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
govg has joined #ocaml
zpe has quit [Remote host closed the connection]
martintrojer has joined #ocaml
mort___ has left #ocaml [#ocaml]
octachron has quit [Quit: Leaving]
sepp2k has quit [Quit: Leaving.]
slash^ has joined #ocaml
kakadu has joined #ocaml
JacobEdelman has joined #ocaml
ontologiae has quit [Ping timeout: 260 seconds]
tmtwd has joined #ocaml
jwatzman has quit [Quit: jwatzman]
ygrek_ has joined #ocaml
tmtwd has quit [Ping timeout: 272 seconds]
AltGr has left #ocaml [#ocaml]
BitPuffin has quit [Ping timeout: 265 seconds]
xyh is now known as xyh-sleeping
<aantron> Drup: whats with the comments being inaccessible in GH?
larhat1 has joined #ocaml
<aantron> oh well, looks like a known issue with GH. lesson learned :)
<aantron> dont delete those notification emails.. fortunately there is also the feed
govg has quit [Ping timeout: 264 seconds]
<Drup> aantron: yeah, it's when you comment on a patch
<Drup> if you comment on the diff in the PR directly, it's fine
cody` has joined #ocaml
ely-se has joined #ocaml
d0nn1e has quit [Ping timeout: 240 seconds]
d0nn1e has joined #ocaml
lokien_ has quit [Quit: Connection closed for inactivity]
lokien_ has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
<aantron> yeah. thats pretty lame
ygrek_ has quit [Quit: ygrek_]
sbrouf has joined #ocaml
ygrek has joined #ocaml
_andre has quit [Quit: leaving]
Haudegen has joined #ocaml
octachron has joined #ocaml
zpe has joined #ocaml
ggole has quit []
struk|desk2 is now known as struk|desk|away
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
ely-se has quit [Quit: Leaving...]
jeffmo has joined #ocaml
hnrgrgr has quit [Ping timeout: 240 seconds]
xyh-sleeping is now known as xyh
slash^ has quit [Read error: Connection reset by peer]
octachron has quit [Quit: Leaving]
darkf has quit [Quit: Leaving]
BitPuffin has joined #ocaml
BitPuffin has quit [Read error: Connection reset by peer]
Haudegen has quit [Ping timeout: 276 seconds]
jeffmo has quit [Quit: jeffmo]
AltGr has joined #ocaml
hunteriam has quit [Quit: Connection closed for inactivity]
shinnya has joined #ocaml
zpe has quit [Remote host closed the connection]
jeffmo has joined #ocaml
Haudegen has joined #ocaml
nicholasf has joined #ocaml
jeffmo has quit [Quit: jeffmo]
AltGr has left #ocaml [#ocaml]
hunteriam has joined #ocaml
groovy2shoes has joined #ocaml
icicled has joined #ocaml
mort___ has joined #ocaml
demonimin has quit [Ping timeout: 256 seconds]
MercurialAlchemi has quit [Ping timeout: 276 seconds]
fantasticsid has joined #ocaml
luzie has joined #ocaml
sillyotter has joined #ocaml
sh0t has joined #ocaml
cody` has quit [Quit: Connection closed for inactivity]
gdrooid has joined #ocaml
demonimin has joined #ocaml
demonimin has joined #ocaml
tane has quit [Quit: Verlassend]
fantasticsid has quit [Quit: ERC (IRC client for Emacs 25.1.50.1)]
fantasticsid has joined #ocaml
groovy2shoes has quit [Quit: Leaving]
<tizoc> is the only way to get a definition like this one to repeat t2 inside t2 instead of referencing it by name?
<tizoc> type t1 = [`A | t2] and t2 = [`B of t1]
<tizoc> I meant "to inline the body of t2 inside t1"
<tizoc> (so, repeating `B of t1)
mac10688 has joined #ocaml
<zozozo> tizoc: depends, do you want to actually have a t2 as a case in your type t1 ? or do you want to have in t1 all the cases there are in t2 ?
<zozozo> something like "type t1 = [ `A | `T of t2 ] and t2 = [ `B of t1 ]' should work
<tizoc> zozozo: yes, t2 would be a subset of t1, and t1 references itself
<def`> tizoc: what you wrote is correct no?!
<Drup> No it isn't, for annoying reasons
<tizoc> def`: I expected it to work, but doesn't in at least 4.02.3
<def`> ok
<zozozo> it works for non mutually recursive types, :p
<Drup> yeah, you can't use a poly variant type in a recursive type like that because it has to be "closed" before you can use it
<tizoc> Drup: ok, just wanted to be sure, thank you
<tizoc> for the record, this is the error message: "Error: The type constructor t2 is not yet completely defined"
<def`> type 'a t2 = [`B of 'a]
Simn has quit [Quit: Leaving]
<def`> type t1 = [`A | t1 t2]
<Drup> def`: I was going to propose precisely that.
<def`> that's worth reporting on mantis
<Drup> I don't think it's a big, it's a limitation on purpose
<Drup> bug*
<def`> there is a correct meaning to that
struk|desk|away is now known as struk|desk2
sbrouf has quit [Quit: Quitte]
enquora has joined #ocaml
groovy2shoes has joined #ocaml
sillyotter has quit [Quit: leaving]
enquora has quit [Client Quit]
enquora has joined #ocaml
enquora has quit [Client Quit]
enquora has joined #ocaml
lokien_ has quit [Quit: Connection closed for inactivity]
groovy2shoes has quit [Quit: Leaving]
kolko has joined #ocaml
kakadu has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
mort___ has left #ocaml [#ocaml]
enquora has quit [Quit: enquora]
struk|desk2 is now known as struk|desk|away
fraggle__ has quit [Ping timeout: 255 seconds]
kakadu_ has joined #ocaml
fraggle__ has joined #ocaml
kakadu has quit [Ping timeout: 256 seconds]
gdrooid has quit [Quit: WeeChat 1.1.1]