Perl 6 - the future is here, just unevenly distributed

IRC log for #moarvm, 2016-06-14

| Channels | #moarvm index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #moarvm
01:48 Topic for #moarvm is now https://github.com/moarvm/moarvm | IRC logs at  http://irclog.perlgeek.de/moarvm/today
04:39 edehont joined #moarvm
05:43 domidumont joined #moarvm
05:48 domidumont joined #moarvm
05:55 FROGGS joined #moarvm
05:56 FROGGS I believe there is a precomp issue...
05:56 FROGGS m: use NativeCall; my CArray[Str] $prefixes.=new;
05:56 camelia rakudo-moar 865bf3: ( no output )
05:56 FROGGS that doesnt work when being precompiled
05:58 FROGGS damn, it is not easy to golf down
05:58 FROGGS (only fails in one of my modules)
06:07 FROGGS interesting...
06:07 FROGGS X::TypeCheck::Assignment.new(symbol => "\$prefixes", operation => Any, got => NativeCall::Types::CArray[Str].new, expected => NativeCall::Types::CArray[Str])
06:27 FROGGS joined #moarvm
06:27 FROGGS the issue seems to be near rakudo/src/vm/moar/ops/container.c:101
06:32 FROGGS_ joined #moarvm
06:32 FROGGS_ yeah, either the cache or the condition to throw is borken
07:13 FROGGS joined #moarvm
07:17 FROGGS jnthn: do I need to do anything to update STABLE(obj)->type_check_cache?
07:20 FROGGS_ joined #moarvm
07:20 FROGGS_ in CArray.^parameterize we do: my $what := arr.^mixin: TypedCArray[Str];
07:20 FROGGS_ and that might not be enuff
07:20 zakharyas joined #moarvm
07:24 domidumont joined #moarvm
07:34 dalek MoarVM/even-moar-jit: 985bb59 | brrt++ | src/jit/tile. (2 files):
07:34 dalek MoarVM/even-moar-jit: Publish tile construction API
07:34 dalek MoarVM/even-moar-jit:
07:34 dalek MoarVM/even-moar-jit: So we can create pseudotiles in the register allocator too
07:34 dalek MoarVM/even-moar-jit: review: https://github.com/MoarVM/MoarVM/commit/985bb59256
07:34 dalek MoarVM/even-moar-jit: 168e11a | brrt++ | src/jit/ (5 files):
07:34 dalek MoarVM/even-moar-jit: Add preliminary register spilling
07:34 dalek MoarVM/even-moar-jit:
07:34 dalek MoarVM/even-moar-jit: This is work-in-progress, doesn't work yet
07:34 dalek MoarVM/even-moar-jit: review: https://github.com/MoarVM/MoarVM/commit/168e11a77a
07:51 FROGGS joined #moarvm
07:52 FROGGS I wonder if nqp::settypecache(arr, [arr.WHAT]) would help...
08:08 zakharyas joined #moarvm
08:41 jnthn FROGGS: It's highly unlikely to be a real type check failure, and more likely to be a type interning failure
08:45 jnthn FROGGS: Does NativeCall use the parametric type ops?
08:45 jnthn Or the wrappers around them in Metamodel::Primitives?
08:45 jnthn If not you can end up producing two copies of the same type, breaking identity
08:59 konobi jnthn: https://github.com/Microsoft/checkedc
08:59 konobi pretty interesting read
09:00 jnthn Yeah, it's already open in a browser tab for me to read when I get a spare moment ;)
09:00 jnthn (Saw the link from elsewhere)
09:11 FROGGS https://github.com/rakudo/rakudo/blob/nom/lib/NativeCall/Types.pm6#L138
09:14 jnthn Yeah, that ain't using it
09:15 jnthn There's an example using the NQP ops in https://github.com/rakudo/rakudo/blob/nom/src/Perl6/Metamodel/ParametricRoleGroupHOW.nqp#L49
09:15 FROGGS ohh awesome
09:16 jnthn But it'd be really nice to add some wrapper methods around those ops into https://github.com/rakudo/rakudo/blob/nom/src/core/Metamodel/Primitives.pm and use that
09:16 jnthn (Though feel free to make it work at all first, then do that later)
09:16 jnthn It's basically in interning mechanism that can be keyed on other types, and it unifies common keys when loading precomps
09:30 FROGGS I guess I have to read these sentences several times :o)
09:30 FROGGS (as usual)
09:35 cognominal joined #moarvm
09:48 rurban_ joined #moarvm
10:11 cognominal joined #moarvm
10:21 ggoebel116 joined #moarvm
10:24 zakharyas joined #moarvm
11:14 FROGGS ohh, forgot to mention: thanks
11:49 cognominal joined #moarvm
12:20 psch m: use QRegex::P6Regex:from<NQP>; use QAST:from<NQP>; my $rx-qast = QAST::Regex.new( :rxtype<altseq>, QAST::Regex.new(:rxtype<literal>, "foo"), QAST::Regex.new(:rxtype<literal>, "bar")); say "foo" ~~ /$x/
12:20 camelia rakudo-moar d92722: OUTPUT«===SORRY!===␤While looking for 'QRegex/P6Regex.moarvm': no such file or directory␤»
12:20 psch m: use QAST:from<NQP>; my $rx-qast = QAST::Regex.new( :rxtype<altseq>, QAST::Regex.new(:rxtype<literal>, "foo"), QAST::Regex.new(:rxtype<literal>, "bar")); say "foo" ~~ /$x/
12:20 camelia rakudo-moar d92722: OUTPUT«===SORRY!=== Error while compiling <tmp>␤Variable '$x' is not declared␤at <tmp>:1␤------> rxtype<literal>, "bar")); say "foo" ~~ /⏏$x/␤»
12:20 psch m: use QAST:from<NQP>; my $x = QAST::Regex.new( :rxtype<altseq>, QAST::Regex.new(:rxtype<literal>, "foo"), QAST::Regex.new(:rxtype<literal>, "bar")); say "foo" ~~ /$x/
12:20 camelia rakudo-moar d92722: OUTPUT«X::TypeCheck::Binding exception produced no message␤  in block <unit> at <tmp> line 1␤␤»
12:31 FROGGS m: use QAST:from<NQP>; my $x := QAST::Regex.new( :rxtype<altseq>, QAST::Regex.new(:rxtype<literal>, "foo"), QAST::Regex.new(:rxtype<literal>, "bar")); say "foo" ~~ /$x/
12:31 camelia rakudo-moar d92722: OUTPUT«X::TypeCheck::Binding exception produced no message␤  in block <unit> at <tmp> line 1␤␤»
12:42 cognominal joined #moarvm
14:43 cognominal joined #moarvm
14:47 edehont joined #moarvm
14:59 FROGGS joined #moarvm
15:27 rurban_ joined #moarvm
15:27 edehont joined #moarvm
15:36 cognominal joined #moarvm
15:37 edehont joined #moarvm
15:39 FROGGS joined #moarvm
16:00 FROGGS joined #moarvm
16:15 domidumont joined #moarvm
17:13 mst joined #moarvm
17:13 mst joined #moarvm
18:18 vendethiel joined #moarvm
18:40 FROGGS[mobile] joined #moarvm
19:25 FROGGS joined #moarvm
20:19 edehont joined #moarvm
20:43 cognominal joined #moarvm
20:53 rurban_ joined #moarvm
21:15 mst joined #moarvm
21:15 mst joined #moarvm
21:19 mst joined #moarvm
21:21 mst joined #moarvm
21:29 cognominal joined #moarvm
21:53 mst joined #moarvm
21:54 mst joined #moarvm
21:58 mst joined #moarvm
21:59 mst joined #moarvm
22:02 mst joined #moarvm
22:03 mst joined #moarvm
22:04 ggoebel116 joined #moarvm
23:24 ggoebel116 joined #moarvm
23:59 cognominal joined #moarvm

| Channels | #moarvm index | Today | | Search | Google Search | Plain-Text | summary