#pypy on 2017-04-29 — irc logs at freenode.irclog.whitequark.org

09:31 <kenaan> tobweber stmgc[c8-long-transactions] e2d2d2abc99c /c8/stm/core.c: Make single thread mode transactions inevitable only if there are less than two segments in use

09:49 <Cheery> arigato: In short, someone implemented subtyping for ML, it seems to work pretty neat.

09:50 <Cheery> arigato: it's converting the types into a state graph and defines a subtyping-equivalent for unification in that context.

09:56 Tiberium has joined #pypy

10:19 Taggnostr has quit [Quit: No Ping reply in 180 seconds.]

10:21 antocuni has quit [Ping timeout: 268 seconds]

10:23 Taggnostr has joined #pypy

10:26 Taggnostr has quit [Excess Flood]

10:29 Taggnostr has joined #pypy

10:54 tifo has joined #pypy

11:00 ramonvg has quit [Remote host closed the connection]

11:22 Taggnostr has quit [Quit: No Ping reply in 180 seconds.]

11:24 Demeisen has quit [Remote host closed the connection]

11:26 Demeisen has joined #pypy

11:30 Taggnostr has joined #pypy

11:37 lritter has joined #pypy

11:47 Taggnostr has quit [Ping timeout: 246 seconds]

11:49 Taggnostr has joined #pypy

11:53 Taggnostr has quit [Excess Flood]

11:55 Taggnostr has joined #pypy

12:06 antocuni has joined #pypy

12:24 tifo has quit [Quit: tifo]

12:36 Taggnostr has quit [Read error: Connection reset by peer]

12:36 Taggnostr has joined #pypy

12:43 <bbot2> Success: http://buildbot.pypy.org/builders/jit-benchmark-linux-x86-64/builds/2192

12:54 Taggnostr has quit [Ping timeout: 246 seconds]

12:57 Taggnostr has joined #pypy

13:10 Taggnostr has quit [Quit: No Ping reply in 180 seconds.]

13:17 Taggnostr has joined #pypy

13:39 Taggnostr has quit [Quit: No Ping reply in 180 seconds.]

13:40 Samureus has joined #pypy

13:43 Taggnostr has joined #pypy

13:43 Samureus has quit [Client Quit]

13:48 forgottenone has quit [Ping timeout: 260 seconds]

13:48 forgottenone has joined #pypy

13:49 arigato has quit [Quit: Leaving]

13:56 oberstet3 has joined #pypy

13:59 oberstet2 has quit [Ping timeout: 268 seconds]

14:24 antocuni has quit [Ping timeout: 245 seconds]

14:26 <LarstiQ> snow! snow!

14:27 <LarstiQ> Cheery: for someone who is not so well versed in type theory, how big is that?

14:27 pilne has joined #pypy

14:28 <Cheery> LarstiQ: I'm neither an expert, but I tried that thing and it seemed to work really well.

14:28 <Cheery> so going to implement it as a library and try it out on extended basic blocks.

14:30 lritter has quit [Ping timeout: 260 seconds]

14:51 cstratak has joined #pypy

14:51 cstratak has quit [Remote host closed the connection]

14:52 cstratak has joined #pypy

14:53 cstratak has quit [Max SendQ exceeded]

14:54 cstratak has joined #pypy

14:55 cstratak has quit [Max SendQ exceeded]

14:55 cstratak has joined #pypy

14:57 cstratak has quit [Remote host closed the connection]

14:58 cstratak has joined #pypy

14:59 cstratak has quit [Max SendQ exceeded]

15:15 Tiberium has quit [Remote host closed the connection]

15:16 Tiberium has joined #pypy

15:32 <bbot2> Failure: http://buildbot.pypy.org/builders/pypy-c-jit-linux-armhf-raspbian/builds/1293

15:34 antocuni has joined #pypy

15:41 marr has quit [Remote host closed the connection]

15:44 antocuni has quit [Ping timeout: 260 seconds]

16:00 Taggnostr has quit [Quit: No Ping reply in 210 seconds.]

16:03 Taggnostr has joined #pypy

16:11 arigato has joined #pypy

16:13 Taggnostr has quit [Read error: Connection reset by peer]

16:15 Taggnostr has joined #pypy

16:29 tormoz has joined #pypy

17:00 asmeurer_ has joined #pypy

17:01 asmeurer_ has quit [Client Quit]

17:05 xorAxAx has joined #pypy

17:05 xorAxAx has quit [Changing host]

17:05 Taggnostr has quit [Ping timeout: 252 seconds]

17:07 Taggnostr has joined #pypy

17:08 arigato has quit [Ping timeout: 252 seconds]

17:12 arigato has joined #pypy

17:16 ramonvg has joined #pypy

17:17 kushal has quit [Quit: ZNC 1.6.3 - http://znc.in]

17:17 kushal has joined #pypy

17:18 kushal is now known as Guest55159

17:24 Guest55159 is now known as kushal

17:24 kushal has quit [Changing host]

17:24 kushal has joined #pypy

17:30 hawkowl has quit [Quit: ZNC 1.6.3+deb1 - http://znc.in]

17:37 nimaje has quit [Quit: WeeChat 1.7.1]

17:37 nimaje has joined #pypy

17:38 mattip has joined #pypy

17:53 tbodt has joined #pypy

18:01 FASDFSF has joined #pypy

18:14 forgottenone has quit [Quit: Konversation terminated!]

18:19 <fijal> arigato: ping

18:19 <fijal> arigato: cffi tries to compile stuff with x86, as opposed to x86_64 (despite sys.maxint being 64bit)

18:20 <arigato> details?

18:20 <fijal> how can I see the command how ld is invoked?

18:20 <fijal> I'm trying to run the benchmarks of fast-utf8-methods

18:22 <fijal> it's the general "cffi uses distutils, how do I find out what's happening?"

18:22 <arigato> try ffi.compile(verbose=True)

18:24 <fijal> plan_rich: you forgot to commit tests to github?

18:25 <fijal> arigato: ok, got it

18:27 yuyichao has quit [Ping timeout: 260 seconds]

18:27 tormoz has quit [Ping timeout: 268 seconds]

18:29 <fijal> arigato: ok, so the current status is, even after fixing OS X issues that tests fail and benchmarks are missing files

18:29 <fijal> the OS X issue here is that OS X tries to build universal libraries

18:42 yuyichao has joined #pypy

18:52 tormoz has joined #pypy

19:00 arigato has quit [Quit: Leaving]

19:07 altendky has quit [Quit: Connection closed for inactivity]

19:24 asmeurer_ has joined #pypy

19:26 asmeurer_ has quit [Client Quit]

19:27 asmeurer has joined #pypy

19:36 Taggnostr has quit [Ping timeout: 260 seconds]

19:39 Taggnostr has joined #pypy

19:48 _whitelogger has joined #pypy

19:48 ramonvg has quit [Quit: Lost terminal]

20:08 Taggnostr has quit [Quit: No Ping reply in 180 seconds.]

20:12 Taggnostr has joined #pypy

20:14 jamesaxl has quit [Read error: Connection reset by peer]

20:15 jamesaxl has joined #pypy

20:19 <kenaan> mattip cpyext-obj-stealing a69664247db2 /pypy/module/cpyext/test/test_listobject.py: fix test

20:19 <kenaan> mattip cpyext-obj-stealing e26ee9fcd87e /pypy/module/cpyext/test/test_listobject.py: check return values

20:19 <kenaan> mattip cpyext-obj-stealing d0e8878705c8 /pypy/module/cpyext/test/test_listobject.py: fix test to not use cached object

20:19 asmeurer has quit [Quit: asmeurer]

20:19 <kenaan> mattip cpyext-obj-stealing d8750637a6f7 /pypy/module/cpyext/: rework refcounting to pass tests, use fresh object in test_list_macros

20:21 FASDFSF has quit [Read error: Connection reset by peer]

20:22 <mattip> hmm, test_arraymodule now complains about decref() on an already deleted object in CPyListStrorage.__del__

20:35 asmeurer_ has joined #pypy

20:37 kipras`away is now known as kipras

20:39 mattip has left #pypy ["bye"]

21:01 Taggnostr has quit [Ping timeout: 240 seconds]

21:01 Tiberium has quit [Remote host closed the connection]

21:03 Taggnostr has joined #pypy

21:17 nimaje1 has joined #pypy

21:17 nimaje1 is now known as nimaje

21:17 nimaje is now known as Guest60372

21:18 asmeurer_ has quit [Quit: asmeurer_]

21:37 kipras is now known as kipras`away

21:45 Taggnostr has quit [Quit: No Ping reply in 180 seconds.]

21:48 Taggnostr has joined #pypy

21:52 yuyichao has quit [Ping timeout: 245 seconds]

22:00 <bbot2> Started: http://buildbot.pypy.org/builders/pypy-c-jit-macosx-x86-64/builds/2994 [default]

22:00 <bbot2> Started: http://buildbot.pypy.org/builders/pypy-c-jit-linux-x86-64/builds/4574 [default]

22:00 <bbot2> Started: http://buildbot.pypy.org/builders/own-linux-x86-64/builds/5899 [default]

22:00 <bbot2> Started: http://buildbot.pypy.org/builders/own-linux-s390x/builds/557 [default]

22:00 <bbot2> Started: http://buildbot.pypy.org/builders/own-linux-x86-32/builds/5152 [default]

22:00 <bbot2> Started: http://buildbot.pypy.org/builders/pypy-c-jit-linux-x86-32/builds/3913 [default]

22:00 <bbot2> Started: http://buildbot.pypy.org/builders/jitbackendonly-own-linux-armhf/builds/1452

22:00 <bbot2> Started: http://buildbot.pypy.org/builders/build-pypy-c-jit-linux-armel/builds/1787

22:00 <bbot2> Started: http://buildbot.pypy.org/builders/build-pypy-c-jit-linux-armhf-raring/builds/1538

22:00 <bbot2> Started: http://buildbot.pypy.org/builders/build-pypy-c-linux-armhf-raspbian/builds/1418

22:00 <bbot2> Started: http://buildbot.pypy.org/builders/build-pypy-c-linux-armel/builds/1677

22:00 <bbot2> Started: http://buildbot.pypy.org/builders/build-pypy-c-jit-linux-armhf-raspbian/builds/1541

22:05 Taggnostr has quit [Ping timeout: 240 seconds]

22:08 Taggnostr has joined #pypy

22:19 jamesaxl has quit [Read error: Connection reset by peer]

22:20 jamesaxl has joined #pypy

22:36 Taggnostr has quit [Quit: No Ping reply in 180 seconds.]

22:40 Taggnostr has joined #pypy

22:45 Taggnostr has quit [Ping timeout: 260 seconds]

22:54 yuyichao has joined #pypy

22:56 Taggnostr has joined #pypy

22:57 chaoflow has quit [Ping timeout: 240 seconds]

22:57 panni_ has quit [Ping timeout: 240 seconds]

23:00 panni_ has joined #pypy

23:01 chaoflow has joined #pypy

23:16 rubdos has quit [Read error: Connection reset by peer]

23:21 Taggnostr has quit [Quit: No Ping reply in 180 seconds.]

23:22 <bbot2> Success: http://buildbot.pypy.org/builders/pypy-c-jit-linux-x86-64/builds/4574 [default]

23:25 Taggnostr has joined #pypy

23:30 <bbot2> Success: http://buildbot.pypy.org/builders/own-linux-x86-64/builds/5899 [default]

23:32 <bbot2> Success: http://buildbot.pypy.org/builders/build-pypy-c-jit-linux-armel/builds/1787

23:34 tbodt has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

23:44 <bbot2> Success: http://buildbot.pypy.org/builders/pypy-c-jit-linux-x86-32/builds/3913 [default]

23:47 <bbot2> Failure: http://buildbot.pypy.org/builders/own-linux-x86-32/builds/5152 [default]

23:53 hawkowl has joined #pypy