01:18
harrow joined
05:27
ssutch joined
|
|||
[Coke] | updated gist.github.com/coke/8250608 | 05:32 | |
FROGGS: is your stuff committed now? | |||
06:24
ssutch joined
|
|||
diakopter | hi:-) | 06:34 | |
FROGGS[mobile] | [Coke]: yes | 07:35 | |
09:01
FROGGS[mobile] joined
09:42
hoelzro joined
|
|||
hoelzro | morning #moarvm | 09:42 | |
anyone awake? | |||
FROGGS | I am, but almost afk | ||
hoelzro | mkay | 09:43 | |
I found a segfault in Moar, but I'm not sure how to proceed | |||
I went through a backtrace and found the routine in question being called by the compiler | |||
and I know it occurs at a particular bytecode offset | |||
FROGGS | well, build MoarVM with --debug and run that piece of code in gdb | ||
hoelzro | but beyond that, I'm kinda stumped | ||
that's what I did =) | |||
FROGGS | next step: post it :o) | 09:44 | |
hoelzro | heh | 09:49 | |
momentje | |||
pastebin.com/iggHGhRM | 09:50 | ||
FROGGS: ^ | |||
FROGGS | umm, the key is already NULL | 09:53 | |
hoelzro: btw, you pull in MoarVM and nqp? | 09:54 | ||
hoelzro | yes | ||
NQP = 876d500 | |||
MoarVM = 4e2fe17 | |||
the key's NULL, but it's because sv->value is NULL in compiler.c on line 400 | 09:55 | ||
FROGGS | nqp's rev is 2013.12.1-27-gfdc0be3 | 09:56 | |
you moarvm is up to date | 09:57 | ||
but please pull nqp before you proceed | |||
because we got a new stage0 yesterday | |||
hoelzro | hmm | 09:59 | |
hoelzro wonders if the remote is ok | |||
oh, I see | |||
I'm dumb. | |||
hmm | 10:02 | ||
FROGGS[mobile] | hoelzro: did that work out? | 11:04 | |
hoelzro | yeah, thanks! | 11:05 | |
running spec tests now | |||
FROGGS[mobile] | good, so we don't have to hunt such a weird Bug :o) | ||
hoelzro | =) | 11:07 | |
11:13
ingy joined
11:14
wsri joined
11:47
colomon joined
11:51
[Coke] joined,
masak joined
|
|||
timotimo | o/ | 13:02 | |
FROGGS | o/ | 13:15 | |
moritz | \o | 13:16 | |
hoelzro | o/ | 13:21 | |
13:54
FROGGS[mobile] joined
14:44
FROGGS[mobile] joined
|
|||
diakopter | FROGGS: what's wrong with the "worse than worse" thing | 14:55 | |
FROGGS | diakopter: that it is hardcoded, and only covers the failing tests that I have spotted | 14:59 | |
diakopter | o | 15:06 | |
FROGGS: why not use the block stuff I had it emit | 15:07 | ||
15:17
cognominal joined
|
|||
diakopter | FROGGS: I mean, I thought I had it emit the stuff | 15:21 | |
(maybe I didn't?) | |||
15:21
FROGGS[mobile] joined
|
|||
jnthn | yay, we broke 95% :) | 15:26 | |
15:32
FROGGS[mobile] joined
|
|||
[Coke] | jnthn: \Ć/ | 15:41 | |
jnthn | Ć. NĆGNE Ć! | ||
ooh, I see FROGGS++ has been doing more on unicode things too :) | 15:43 | ||
[Coke]: Did yesterday's run not get pushed yet? | |||
[Coke] | nuuuuthin'. | 15:53 | |
(just pushed) | |||
jnthn | ;) | 15:54 | |
S05 is by far the failest, but maybe that's better after FROGGS++ recent work, which I guess didn't make it into yesterday's run? | 16:10 | ||
FROGGS | diakopter: I dunno what you mean... can you point me at code and give concrete advices? | 16:12 | |
diakopter ponders | 16:14 | ||
FROGGS | jnthn: we should be at 96.5% next time | ||
jnthn | \o/ | ||
FROGGS | (at least) | ||
jnthn | FROGGS: If you fancy another thing to explore, fixing wordcaes probably gets us a handful more passes | 16:16 | |
FROGGS | jnthn: I will look into that | ||
(besides doing v5 stuff) | |||
jnthn | When I get a moment, I can take a look at why we abort 300 typed exceptions tests too | 16:17 | |
moritz compiles MoarVM on his raspberry pi | 17:11 | ||
\o/ success! | 17:14 | ||
jnthn | woo | 17:15 | |
Can you get NQP to build on it? :) | |||
17:19
_ilbot joined
|
|||
[Coke] | r: say 27507 - 27135 # moar tests today. | 17:21 | |
camelia | rakudo-parrot 58307f, rakudo-jvm 58307f: OUTPUTĀ«372ā¤Ā» | ||
jnthn | 372 moar passing? :) | 17:22 | |
nice | |||
[Coke] | that's in today's not-yet-pushed-waiting-for-jvm run, aye. | ||
17:27
_ilbot joined
|
|||
[Coke] | only 637 failures (plus a few fudges that were done.) | 17:27 | |
FROGGS | I need way more time to kill the 261 failures, because I need to understand better how it is supposed to work | ||
[Coke] | 13 TODO Passed in moar. | 17:28 | |
r: say 261 / 637 | |||
camelia | rakudo-parrot 58307f, rakudo-jvm 58307f: OUTPUTĀ«0.409733ā¤Ā» | ||
17:30
_ilbot joined
|
|||
FROGGS | ohh | 17:33 | |
jnthn | [Coke]: Which segfaulted? | ||
I think it may be related to exception handlers and gather/take... | |||
FROGGS | S26-documentation/why.t............................ 18 0 0 1 19 | ||
1 skipped: segfault | |||
this? | |||
moritz | doing things on a CPU-starved device really gives you a different perspective on speed issues :-) | ||
jnthn | I'd imagine... | 17:34 | |
FROGGS: No, I think segv is elsewhere...in S14 or so | |||
If it's smae one as ysterday | |||
FROGGS | S02-types/subset.rakudo.moar.......................Segmentation fault | 17:35 | |
S12-subset/subtypes.rakudo.moar....................Segmentation fault | |||
that is sub... | |||
optimal | 17:36 | ||
moritz | /home/pi/p6/nqp/install/bin/moar --libpath=src/vm/moar/stage0 src/vm/moar/stage0/nqp.moarvm --bootstrap --setting=NULL --no-regex-lib --target=mbc \ | 17:48 | |
--output=gen/moar/stage1/nqpmo.moarvm gen/moar/stage1/nqpmo.nqp | |||
MAST::Local index out of range | |||
at gen\moar\stage2\QAST.nqp:4757 (src/vm/moar/stage0/QAST.moarvm:assemble_to_file:21 | |||
that's on the raspberry pi | 17:49 | ||
[Coke] hurls gist.github.com/coke/8250608 - segfault at S02-types/subset.rakudo.moar | |||
[Coke] wonders if there's any more he can do to avoid hacking on moar actual. | 17:57 | ||
18:00
FROGGS[mobile] joined
|
|||
jnthn | moritz: I think that may be an out of date NQP? | 18:01 | |
moritz | jnthn: I cloned like an hour ago | 18:02 | |
jnthn | oh, and your MoarVM is also up to date? | 18:07 | |
moritz | aye, freshly cloned too | 18:11 | |
jnthn | hm, odd | 18:12 | |
'cus I updated stage0 yesterday... | |||
18:12
FROGGS[mobile] joined
|
|||
jnthn | I saw somebody had this in the backlog | 18:12 | |
And I think then got it working | |||
bbl | |||
18:33
FROGGS[mobile] joined
19:49
ilbot3 joined
19:57
ilbot3 joined
|
|||
jnthn | yay, think I fixed the S32-exceptions/misc.t crash and got us a bunch more tests | 21:36 | |
250 or so maybe | |||
timotimo | wowza | 21:38 | |
and i thought you were running low on tuits :) | |||
can you give guidance on where to implement the floordiv-operations on parrot? i'm thinking of putting them into nqp's parrot ops | |||
jnthn | floordiv? | 21:39 | |
timotimo | integer division that always rounds towards -Inf | ||
i.e. what we want for perl6 | |||
jnthn | For bigint? | ||
We have an file of bigint ops in the NQP repo | 21:40 | ||
*a | |||
timotimo | for bigint and normal ints | ||
also, it seems like there's some work that needs to be done for negative mod as well | |||
FROGGS | wow | ||
timotimo | probably exactly the same thing, haven't looked too closely yet | ||
FROGGS | jnthn++ | ||
dalek | arVM: 116aa55 | jonathan++ | src/core/ (2 files): Correctly handle active handlers and continuations Need to slice off handlers since the reset and restore them on invoke. |
21:41 | |
timotimo | who's tackling openpipe, btw? FROGGS? :) | 21:42 | |
FROGGS | >.o | 21:43 | |
I dunno | |||
maybe | |||
jnthn | Yeha, FROGGS is doing it | 21:44 | |
:P | |||
:D | |||
FROGGS | :P | ||
gah | |||
I already suffered unicode pain :o) | |||
jnthn | Yes, we seem to fail much less of the char props tests now | 21:45 | |
timotimo | in the .ops files, what does :base_core mean again? | 21:46 | |
FROGGS | but that mostly satisfies the tests, at least what I did about properties-derived.t | ||
jnthn | timotimo: I forget...I think we just scatter it everywhere... | ||
timotimo | yeah, that's what i thought %) | 21:47 | |
jnthn | I think originally it may have been part of some op security model | 21:48 | |
timotimo | vestiges ... vestiges everywhere | 21:51 | |
jnthn | ah, I think my fix may only have got us another 150 tests rather than 200...we got up to 490 before, not 400ish | 21:52 | |
Gonna look in to the parameterized type stuff | 21:53 | ||
timotimo | parrot checks the result of mp_div for MP_VAL and returns division by zero if that's the case; should moarvm have a similar check in place, too? | ||
jnthn | Probably | 21:55 | |
timotimo | where do i have to look to see how to report such an error in moarvm? | 21:56 | |
diakopter | timotimo: search "by zero" :) for the other times | ||
timotimo | good idea, thanks | 21:57 | |
jnthn | timotimo: If it's juts throwing an exceptin, look for MVM_exception_throw_adhoc | 21:58 | |
r: role R2[$] { }; class C3 does R2[R2[Int]] { }; say nqp::istype(C3, R2[R2[Int]]); | 22:00 | ||
camelia | rakudo-parrot 58307f, rakudo-jvm 58307f: OUTPUTĀ«1ā¤Ā» | ||
timotimo | oh, you're tackling that one | 22:01 | |
jnthn | r: role R2[$] { }; class C3 does R2[Int] { }; say nqp::istype(C3, R2[Int]); | ||
camelia | rakudo-parrot 58307f, rakudo-jvm 58307f: OUTPUTĀ«1ā¤Ā» | ||
jnthn | r: role R2[$] { }; class C3 does R2[R2[Int]] { }; say nqp::istype(C3, R2[R2[Int]]); | ||
camelia | rakudo-parrot 58307f, rakudo-jvm 58307f: OUTPUTĀ«1ā¤Ā» | ||
jnthn | Yeah. That line gives 0 on Moar... | 22:02 | |
timotimo | i saw that line in the test run and thought "oh, maybe i could look at NOPE NOPE NOPE" :P | ||
jnthn | :P | 22:03 | |
diakopter | you just noped on out of there | ||
jnthn | Well, I think this bug underlies a few other failures | ||
So, worth hunting | |||
timotimo | i NOPed out of there :P | ||
timotimo gets on his NOPsled and rides off | |||
jnthn | Interesting that it needs two levels of wrapping to show up | 22:04 | |
timotimo | www.pauldotcom.com//images/nopsled.jpg ā someone made this and i am happy | ||
jnthn | r: role R2[$] { }; class C3 does R2[R2[Int]] { }; say R2[R2[Int]].HOW.accepts_type(R2[R2[Int]], C3) | 22:07 | |
camelia | rakudo-parrot 58307f, rakudo-jvm 58307f: OUTPUTĀ«1ā¤Ā» | ||
jnthn | r: role R2[$] { }; say R2[Int].ACCEPTS(R2[Int]); | 22:13 | |
camelia | rakudo-parrot 58307f, rakudo-jvm 58307f: OUTPUTĀ«Trueā¤Ā» | ||
timotimo | hm, there shouldn't be many test failures of the parrot perl6 on moar-support, right? | ||
jnthn | r: role R2[$] { }; say nqp::istype(R2[Int], R2[Int]); | 22:14 | |
camelia | rakudo-parrot 58307f, rakudo-jvm 58307f: OUTPUTĀ«1ā¤Ā» | ||
FROGGS | timotimo: no | 22:15 | |
roast did not move much these days | |||
timotimo | weird. | 22:16 | |
FROGGS | hmmm, wordcase fails because it is unable to look up grapheme cluster breaks... :/ | 22:25 | |
I mean, it resolvs the property code and property value code, but the things in the string are not marked as cluster breaks | |||
how do we gain that knowledge? compare properties of a grapheme to the thing right before it? | 22:26 | ||
FROGGS reads useless-factor.blogspot.de/2007/08/...art-4.html | 22:27 | ||
jnthn | r: role R2[$] { }; say R2[Int].HOW.type_check(R2[Int], R2[Int]); | 22:28 | |
camelia | rakudo-parrot 58307f, rakudo-jvm 58307f: OUTPUTĀ«0ā¤Ā» | ||
timotimo | No such method 'defined' for invocant of type 'Hash' - this seems to kill at least some of my tests | 22:29 | |
i'll have a look at nom instead of moar-support | 22:31 | ||
yeah, no such errors there | 22:42 | ||
FROGGS | unicode.org/reports/tr29/ <--- ohh noes /o\ | 22:43 | |
jnthn | 96.66% \o/ | 22:45 | |
FROGGS | very very nice :o) | ||
timotimo | FROGGS: what is oh noes about that? | 22:46 | |
FROGGS | timotimo: I have no idea how to implement that | ||
diakopter | it's all the things | ||
timotimo | oh | ||
jnthn | I've figured out what's going on with the parameterized type stuff | ||
diakopter | jnthn: needs one more layer of meta-parameterization? | 22:48 | |
jnthn | No, one more level of CPS :P | ||
diakopter throws Compiling With Continuations at jnthn... literally | 22:49 | ||
jnthn ducks | |||
TimToady feels like an accessory before the fact | |||
tadzik | related: www.youtube.com/watch?v=7DP7bfAfK2o | 22:50 | |
diakopter | tadzik: | 22:51 | |
dalek | arVM: f62b406 | (Timo Paulssen)++ | src/math/bigintops.c: throw div by 0 in bigint division |
22:56 | |
diakopter | timotimo: same for mod? | 22:58 | |
timotimo | probably should, yeah | ||
diakopter | DIOT | ||
i mean | |||
DOIT | |||
timotimo | IDIOT | 22:59 | |
er i mean | |||
I DO IT | |||
FROGGS | *g* | ||
TimToady | I dot i. | ||
timotimo | should it say "Division by Zero" or "Division by Zero in mod" or something? | 23:00 | |
timotimo tends towards the former | |||
23:03
colomon joined
|
|||
jnthn | Not sure Zero needs uppercasing | 23:04 | |
timotimo | it would if it were "Division by Zorro" | ||
diakopter | Division by g0v | 23:05 | |
TimToady | it's not really division by zero, because that's impossible | ||
timotimo | Diakopter by 0 | ||
diakopter | o_O | 23:06 | |
timotimo | is it sensible to check for the second operand to be 0 to throw an error or should i rather catch SIGFPE or something? | 23:07 | |
dalek | arVM: 7cd98af | jonathan++ | src/6model/6model.c: Fix check/accepts non-cache case of istype. |
23:08 | |
jnthn | That helps some tests | ||
timotimo | i made a big mistake in the zero-division test anyway | ||
dalek | arVM: c73a5ed | (Timo Paulssen)++ | src/math/bigintops.c: throw div by 0 in mod, too |
23:09 | |
arVM: 6550f75 | (Timo Paulssen)++ | src/math/bigintops.c: fix copypasto, lowercase "zero" |
|||
arVM: 2bcb384 | (Timo Paulssen)++ | src/core/interp.c: div_i should throw Division by zero, too. |
23:12 | ||
jnthn | afk & | 23:15 |