00:02
zpe has joined #ocaml
00:05
sillyotter has quit [Quit: leaving]
00:06
pierpa has joined #ocaml
00:06
zpe has quit [Ping timeout: 255 seconds]
00:18
Stalkr_ has quit [Ping timeout: 240 seconds]
00:26
<
kakadu >
Oh, this modular implicits are tough
00:27
<
kakadu >
originally they were on 4.02.0 and I rebased them for 4.02.3
00:27
<
kakadu >
And I want to rebase them for trunk but I can't find good common ancestor
00:27
<
def` >
kakadu: don't worry
00:28
<
def` >
Or more precisely, don't bother.
00:28
<
def` >
The modular implicits 2016 developement season started this morning (it is 09:30)
00:29
<
kakadu >
hmm, curious about your time zone....
00:29
<
def` >
Your help is welcome, but there might be some breaking changes in the implementation coming soon.
00:30
<
kakadu >
Oh, I thought that Japan is further...
00:33
<
def` >
Same as Yakutsk :D, what is your timezone ?
00:34
<
def` >
Where you working on implicits out of curiosity or do you have specific needs?
00:35
<
kakadu >
I would like a generic printer
00:35
esad has joined #ocaml
00:35
<
kakadu >
for minikanren deduction log (more precisely a tree)
00:36
<
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.
00:36
<
kakadu >
Yeah, maybe
00:37
<
def` >
The short terms plans are not yet devised, I can't promise anything yet :)
00:38
<
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....
00:39
<
def` >
I would go with 4.02.3 ppx+tools patched for implicits if I were you.
00:39
lokien_ has quit [Quit: Connection closed for inactivity]
00:40
<
kakadu >
because of something concrete or intuition?
00:41
<
def` >
to mininize the amount of changes
00:41
<
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.
00:42
<
kakadu >
Did you rebase independently from me?
00:43
<
def` >
On 4.03.0, many things changed and implicits implementation will also receive a lot of changes.
00:44
<
def` >
I did not, I wonder if Jeremy or Leo did...
00:45
<
Drup >
hum, jeremy has at least a 4.02.1+implicits
00:46
<
Drup >
(there is an opam switch with 4.02.1 + implicits + metaocaml)
00:46
<
Drup >
(yes, you can do very very fun stuff with the combination)
00:49
<
kakadu >
Well, if my rebasing will not be needed I'm at least more experienced in the rebasing now....
00:50
<
def` >
Don't worry, help is welcome :P
00:54
kakadu has quit [Remote host closed the connection]
01:01
kakadu has joined #ocaml
01:02
kakadu has quit [Remote host closed the connection]
01:04
esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
01:05
mcmillhj has quit [Quit: Lost terminal]
01:09
Knuth has joined #ocaml
01:10
badon has quit [Ping timeout: 260 seconds]
01:10
<
Knuth >
Hy The art of computer programming worth to read for a cs student ? Im cs student and I m curious about discret math
01:17
Knuth has quit [Quit: Page closed]
01:30
badon has joined #ocaml
01:34
ygrek_ has joined #ocaml
01:37
ygrek has quit [Ping timeout: 264 seconds]
01:41
ygrek_ has quit [Ping timeout: 240 seconds]
01:47
FreeBirdLjj has joined #ocaml
01:49
ygrek_ has joined #ocaml
01:53
pyon has joined #ocaml
02:12
ril has joined #ocaml
02:29
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
02:33
ril has joined #ocaml
02:34
shinnya has quit [Ping timeout: 276 seconds]
03:00
struk|desk has quit [Remote host closed the connection]
03:02
lopex has quit [Quit: Connection closed for inactivity]
03:02
badon has quit [Quit: Leaving]
03:14
struk|desk has joined #ocaml
03:16
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
03:17
ril has joined #ocaml
03:20
drmem has quit [Ping timeout: 256 seconds]
03:21
ril has quit [Ping timeout: 265 seconds]
03:25
drmem has joined #ocaml
03:36
damason has joined #ocaml
03:43
struk|desk is now known as struk|desk|away
03:58
struk|desk|away is now known as struk|desk
04:01
mac10688 has quit [Ping timeout: 250 seconds]
04:08
kushal has joined #ocaml
04:10
d0nn1e has quit [Ping timeout: 240 seconds]
04:12
d0nn1e has joined #ocaml
04:51
badon has joined #ocaml
04:55
tmtwd has joined #ocaml
05:09
rossberg has quit [Ping timeout: 264 seconds]
05:16
struk|desk is now known as struk|desk|away
05:17
struk|desk|away is now known as struk|desk
05:21
rossberg has joined #ocaml
05:27
groovy2shoes has quit [Ping timeout: 245 seconds]
05:44
MercurialAlchemi has joined #ocaml
05:56
MercurialAlchemi has quit [Ping timeout: 240 seconds]
06:04
JacobEdelman has quit [Quit: Connection closed for inactivity]
06:08
struk|desk2 has joined #ocaml
06:10
struk|desk has quit [Ping timeout: 256 seconds]
06:22
aantron has quit [Remote host closed the connection]
06:35
struk|desk2 is now known as struk|desk|away
06:39
darkf has joined #ocaml
06:40
tmtwd has quit [Ping timeout: 256 seconds]
06:42
troydm has joined #ocaml
06:42
emias has joined #ocaml
06:45
tmtwd has joined #ocaml
06:46
MercurialAlchemi has joined #ocaml
06:47
struk|desk|away is now known as struk|desk2
06:49
badon has quit [Quit: Leaving]
06:53
larhat1 has quit [Quit: Leaving.]
06:55
badon has joined #ocaml
06:59
thesnowdog1 has quit [Read error: Connection reset by peer]
07:04
thesnowdog1 has joined #ocaml
07:08
tmtwd has quit [Ping timeout: 255 seconds]
07:09
badon has quit [Ping timeout: 255 seconds]
07:26
kushal has quit [Quit: Leaving]
07:29
kushal has joined #ocaml
07:43
zpe has joined #ocaml
07:44
FreeBirdLjj has quit [Ping timeout: 255 seconds]
07:47
zpe has quit [Ping timeout: 265 seconds]
07:48
ggole has joined #ocaml
07:51
Haudegen has quit [Ping timeout: 264 seconds]
08:03
esad has joined #ocaml
08:10
octachron has joined #ocaml
08:11
pierpa has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
08:14
Haudegen has joined #ocaml
08:20
Simn has joined #ocaml
08:20
troydm has quit [Ping timeout: 248 seconds]
08:22
zpe has joined #ocaml
08:27
rand has joined #ocaml
08:27
rand is now known as Guest21967
08:49
ontologiae has joined #ocaml
09:11
FreeBirdLjj has joined #ocaml
09:14
ygrek_ has quit [Ping timeout: 260 seconds]
09:18
demonimin has joined #ocaml
09:23
lopex has joined #ocaml
09:23
struk|desk2 is now known as struk|desk|away
09:27
xyh has joined #ocaml
09:37
sz0 has joined #ocaml
09:51
jwatzman|work has joined #ocaml
09:56
rks`_ is now known as rks
10:05
freehck has joined #ocaml
10:08
kakadu has joined #ocaml
10:11
_andre has joined #ocaml
10:13
sepp2k has joined #ocaml
10:20
AltGr has joined #ocaml
10:24
kaustuv has joined #ocaml
11:00
AltGr has left #ocaml [#ocaml]
11:00
nicoo has quit [Ping timeout: 260 seconds]
11:03
nicoo has joined #ocaml
11:13
accname has joined #ocaml
11:21
troydm has joined #ocaml
11:22
Guest21967 has quit [Ping timeout: 256 seconds]
11:23
rand has joined #ocaml
11:23
rand is now known as Guest22159
11:25
accname has quit [Ping timeout: 250 seconds]
11:42
Guest22159 has quit [Ping timeout: 276 seconds]
11:54
Haudegen has quit [Ping timeout: 256 seconds]
11:58
hunteriam has joined #ocaml
12:04
AltGr has joined #ocaml
12:14
Sorella has quit [Quit: Connection closed for inactivity]
12:19
Haudegen has joined #ocaml
12:24
mort___ has joined #ocaml
12:25
JacobEdelman has joined #ocaml
12:25
lokien_ has joined #ocaml
12:32
zpe_ has joined #ocaml
12:32
zpe has quit [Read error: Connection reset by peer]
12:33
zpe has joined #ocaml
12:36
ontologiae has quit [Ping timeout: 264 seconds]
12:37
zpe_ has quit [Ping timeout: 264 seconds]
12:42
AltGr has left #ocaml [#ocaml]
12:42
rand has joined #ocaml
12:43
rand is now known as Guest48993
12:44
AltGr has joined #ocaml
12:56
shinnya has joined #ocaml
13:00
mort___ has quit [Ping timeout: 250 seconds]
13:01
mort___ has joined #ocaml
13:07
accname has joined #ocaml
13:07
mort___ has left #ocaml [#ocaml]
13:11
accname has quit [Ping timeout: 260 seconds]
13:17
freehck has quit [Remote host closed the connection]
13:23
sh0t has joined #ocaml
13:25
sh0t has quit [Client Quit]
13:25
govg has joined #ocaml
13:39
musha68k has joined #ocaml
13:56
xyh has quit [Ping timeout: 260 seconds]
14:01
mort___ has joined #ocaml
14:05
Sorella has joined #ocaml
14:12
zpe has quit [Read error: No route to host]
14:18
struk|desk|away is now known as struk|desk2
14:23
FreeBirdLjj has quit [Remote host closed the connection]
14:24
zpe has joined #ocaml
14:28
aantron has joined #ocaml
14:29
lokien_ has quit [Quit: Connection closed for inactivity]
14:30
<
kakadu >
Folks, how opam knows contents of variable `ocaml-version`/
14:30
xyh has joined #ocaml
14:30
jwatzman2 has joined #ocaml
14:31
<
kakadu >
I think that it should be 4.02.3+modular-implicits
14:34
kakadu has quit [Quit: Page closed]
14:34
jwatzman|work has quit [Ping timeout: 250 seconds]
14:35
kakadu has joined #ocaml
14:41
kakadu_ has joined #ocaml
14:41
kakadu has quit [Ping timeout: 252 seconds]
14:42
jwatzman2 is now known as jwatzman
14:42
jwatzman has quit [Changing host]
14:42
jwatzman has joined #ocaml
14:45
xyh has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.39/20151206235742]]
14:45
xyh has joined #ocaml
14:46
Snark has quit [Ping timeout: 260 seconds]
14:49
tane has joined #ocaml
14:51
struk|desk2 is now known as struk|desk|away
14:53
Snark has joined #ocaml
15:02
MercurialAlchemi has quit [Ping timeout: 260 seconds]
15:02
lokien_ has joined #ocaml
15:11
<
kakadu_ >
okay, the plus character should not be in the version string
15:25
struk|desk|away is now known as struk|desk2
15:32
struk|desk2 has quit [Ping timeout: 260 seconds]
15:35
struk|desk2 has joined #ocaml
15:41
hunteriam has quit [Quit: Connection closed for inactivity]
15:44
JacobEdelman has quit [Quit: Connection closed for inactivity]
15:51
BitPuffin has joined #ocaml
15:55
ontologiae has joined #ocaml
15:56
shinnya has quit [Ping timeout: 245 seconds]
16:06
Guest48993 has quit [Quit: leaving]
16:14
kakadu_ has quit [Quit: Page closed]
16:16
hunteriam has joined #ocaml
16:20
govg_ has joined #ocaml
16:23
psy_ has joined #ocaml
16:34
govg_ has quit [Quit: leaving]
16:35
MercurialAlchemi has joined #ocaml
16:38
martintrojer has quit [Ping timeout: 265 seconds]
16:45
ontologiae has quit [Ping timeout: 250 seconds]
16:46
kaustuv has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
16:53
govg has quit [Ping timeout: 240 seconds]
16:58
ontologiae has joined #ocaml
17:00
govg has joined #ocaml
17:02
zpe has quit [Remote host closed the connection]
17:02
martintrojer has joined #ocaml
17:07
mort___ has left #ocaml [#ocaml]
17:08
octachron has quit [Quit: Leaving]
17:21
sepp2k has quit [Quit: Leaving.]
17:22
slash^ has joined #ocaml
17:23
kakadu has joined #ocaml
17:24
JacobEdelman has joined #ocaml
17:24
ontologiae has quit [Ping timeout: 260 seconds]
17:30
tmtwd has joined #ocaml
17:48
jwatzman has quit [Quit: jwatzman]
18:05
ygrek_ has joined #ocaml
18:06
tmtwd has quit [Ping timeout: 272 seconds]
18:09
AltGr has left #ocaml [#ocaml]
18:13
BitPuffin has quit [Ping timeout: 265 seconds]
18:21
xyh is now known as xyh-sleeping
18:23
<
aantron >
Drup: whats with the comments being inaccessible in GH?
18:27
larhat1 has joined #ocaml
18:28
<
aantron >
oh well, looks like a known issue with GH. lesson learned :)
18:29
<
aantron >
dont delete those notification emails.. fortunately there is also the feed
18:31
govg has quit [Ping timeout: 264 seconds]
18:46
<
Drup >
aantron: yeah, it's when you comment on a patch
18:46
<
Drup >
if you comment on the diff in the PR directly, it's fine
18:54
cody` has joined #ocaml
18:57
ely-se has joined #ocaml
18:58
d0nn1e has quit [Ping timeout: 240 seconds]
18:59
d0nn1e has joined #ocaml
18:59
lokien_ has quit [Quit: Connection closed for inactivity]
19:07
lokien_ has joined #ocaml
19:07
Haudegen has quit [Ping timeout: 260 seconds]
19:07
<
aantron >
yeah. thats pretty lame
19:11
ygrek_ has quit [Quit: ygrek_]
19:20
sbrouf has joined #ocaml
19:22
ygrek has joined #ocaml
19:23
_andre has quit [Quit: leaving]
19:33
Haudegen has joined #ocaml
19:44
octachron has joined #ocaml
19:51
zpe has joined #ocaml
20:03
struk|desk2 is now known as struk|desk|away
20:04
zpe has quit [Remote host closed the connection]
20:05
zpe has joined #ocaml
20:11
ely-se has quit [Quit: Leaving...]
20:11
jeffmo has joined #ocaml
20:13
hnrgrgr has quit [Ping timeout: 240 seconds]
20:18
xyh-sleeping is now known as xyh
20:28
slash^ has quit [Read error: Connection reset by peer]
20:31
octachron has quit [Quit: Leaving]
20:37
darkf has quit [Quit: Leaving]
20:37
BitPuffin has joined #ocaml
20:38
BitPuffin has quit [Read error: Connection reset by peer]
20:44
Haudegen has quit [Ping timeout: 276 seconds]
20:44
jeffmo has quit [Quit: jeffmo]
20:49
AltGr has joined #ocaml
20:51
hunteriam has quit [Quit: Connection closed for inactivity]
21:09
shinnya has joined #ocaml
21:10
zpe has quit [Remote host closed the connection]
21:10
jeffmo has joined #ocaml
21:14
Haudegen has joined #ocaml
21:18
nicholasf has joined #ocaml
21:19
jeffmo has quit [Quit: jeffmo]
21:21
AltGr has left #ocaml [#ocaml]
21:24
hunteriam has joined #ocaml
21:24
groovy2shoes has joined #ocaml
21:26
icicled has joined #ocaml
21:27
mort___ has joined #ocaml
21:27
demonimin has quit [Ping timeout: 256 seconds]
21:28
MercurialAlchemi has quit [Ping timeout: 276 seconds]
21:32
fantasticsid has joined #ocaml
21:42
luzie has joined #ocaml
21:44
sillyotter has joined #ocaml
21:45
sh0t has joined #ocaml
21:52
cody` has quit [Quit: Connection closed for inactivity]
21:54
gdrooid has joined #ocaml
21:56
demonimin has joined #ocaml
21:56
demonimin has joined #ocaml
22:05
tane has quit [Quit: Verlassend]
22:10
fantasticsid has quit [Quit: ERC (IRC client for Emacs 25.1.50.1)]
22:11
fantasticsid has joined #ocaml
22:23
groovy2shoes has quit [Quit: Leaving]
22:26
<
tizoc >
is the only way to get a definition like this one to repeat t2 inside t2 instead of referencing it by name?
22:27
<
tizoc >
type t1 = [`A | t2] and t2 = [`B of t1]
22:27
<
tizoc >
I meant "to inline the body of t2 inside t1"
22:27
<
tizoc >
(so, repeating `B of t1)
22:28
mac10688 has joined #ocaml
22:28
<
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 ?
22:29
<
zozozo >
something like "type t1 = [ `A | `T of t2 ] and t2 = [ `B of t1 ]' should work
22:29
<
tizoc >
zozozo: yes, t2 would be a subset of t1, and t1 references itself
22:29
<
def` >
tizoc: what you wrote is correct no?!
22:29
<
Drup >
No it isn't, for annoying reasons
22:29
<
tizoc >
def`: I expected it to work, but doesn't in at least 4.02.3
22:30
<
zozozo >
it works for non mutually recursive types, :p
22:30
<
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
22:31
<
tizoc >
Drup: ok, just wanted to be sure, thank you
22:31
<
tizoc >
for the record, this is the error message: "Error: The type constructor t2 is not yet completely defined"
22:31
<
def` >
type 'a t2 = [`B of 'a]
22:32
Simn has quit [Quit: Leaving]
22:32
<
def` >
type t1 = [`A | t1 t2]
22:32
<
Drup >
def`: I was going to propose precisely that.
22:32
<
def` >
that's worth reporting on mantis
22:33
<
Drup >
I don't think it's a big, it's a limitation on purpose
22:34
<
def` >
there is a correct meaning to that
22:35
struk|desk|away is now known as struk|desk2
22:50
sbrouf has quit [Quit: Quitte]
22:50
enquora has joined #ocaml
22:50
groovy2shoes has joined #ocaml
22:54
sillyotter has quit [Quit: leaving]
22:54
enquora has quit [Client Quit]
22:55
enquora has joined #ocaml
22:56
enquora has quit [Client Quit]
22:56
enquora has joined #ocaml
22:59
lokien_ has quit [Quit: Connection closed for inactivity]
23:06
groovy2shoes has quit [Quit: Leaving]
23:10
kolko has joined #ocaml
23:13
kakadu has quit [Ping timeout: 240 seconds]
23:13
kakadu has joined #ocaml
23:19
mort___ has left #ocaml [#ocaml]
23:23
enquora has quit [Quit: enquora]
23:27
struk|desk2 is now known as struk|desk|away
23:27
fraggle__ has quit [Ping timeout: 255 seconds]
23:31
kakadu_ has joined #ocaml
23:32
fraggle__ has joined #ocaml
23:36
kakadu has quit [Ping timeout: 256 seconds]
23:39
gdrooid has quit [Quit: WeeChat 1.1.1]