»ö« Welcome to Perl 6! | perl6.org/ | evalbot usage: 'p6: say 3;' or rakudo:, or /msg camelia p6: ... | irclog: irc.perl6.org or colabti.org/irclogger/irclogger_logs/perl6 | UTF-8 is our friend!
Set by moritz on 22 December 2015.
Geth doc: 67cadad365 | (Zoffix Znet)++ | doc/Language/traps.pod6
Rewrite LEAVE trap

  - Remove apocalyptic tone; the behaviour is a lot more predictable
   and avoidable than the prose suggests
  - Use simpler signature in, simply using `rand` to avoid compile
   time dispatch.
  - Explain why LEAVE is called
  - Include more examples of avoiding the issue		 01:45
synopsebot Link: doc.perl6.org/language/traps
Geth ecosystem: 3714d7c19c | (Itsuki Toyota)++ (committed using GitHub Web editor) | META.list
p6-MeCab was moved to CPAN
 02:13
ecosystem: a2da010a67 | (Itsuki Toyota)++ (committed using GitHub Web editor) | META.list
p6-Geo-Hash was moved to CPAN
 02:15
Geth doc: 9e7f24ee76 | (Zoffix Znet)++ | doc/Language/traps.pod6
Explain more why using a multi avoids LEAVE call
 02:24
synopsebot Link: doc.perl6.org/language/traps
buggable New CPAN upload: Text-Sift4-0.0.5.tar.gz by TITSUKI cpan.metacpan.org/authors/id/T/TI/...0.5.tar.gz 02:31
New CPAN upload: Text-Sift4-0.0.6.tar.gz by TITSUKI cpan.metacpan.org/authors/id/T/TI/...0.6.tar.gz
llfourn weekly: Haskell vs Perl 6: First impressions: medium.com/unraveling-the-ouroboro...b0d77a8140 07:50
notable6 llfourn, Noted!
buggable New CPAN upload: ANTLR4-Grammar-0.2.1.tar.gz by JGOFF cpan.metacpan.org/authors/id/J/JG/...2.1.tar.gz 10:41
buggable New CPAN upload: ANTLR4-Grammar-0.2.2.tar.gz by JGOFF cpan.metacpan.org/authors/id/J/JG/...2.2.tar.gz 11:01
llfourn gfldex: editted my article in light of your comment thx 11:22
the feature seems to be under developed though
m: foo(&a:(-->Any)){ }; foo(-> --> Int { })
camelia 5===SORRY!5=== Error while compiling <tmp>
You can't adverb &a
at <tmp>:1
------> 3foo(&a:(-->Any)7⏏5){ }; foo(-> --> Int { })
llfourn m: sub foo(&a:(-->Any)){ }; foo(-> --> Int { }) #woops 11:23
camelia Constraint type check failed in binding to parameter '&a'; expected anonymous constraint to be met but got -> --> Int { #`(Bloc...
in sub foo at <tmp> line 1
in block <unit> at <tmp> line 1
llfourn kinda bad error + an Int should satisy Any
satisfy* 11:24
gfldex llfourn: you are welcome (as if I would skip an opportunity to smartass :) 11:59
Geth doc: 7b4a002cf0 | (Will "Coke" Coleda)++ | doc/Language/traps.pod6
fix typo
 12:14
synopsebot Link: doc.perl6.org/language/traps
pmurias mst: do you think using plenv as a base for a rakudobrew replacement would make sense? 12:26
rindolf Does anyone want to translate this from p5 to p6 (note the exit(0))? github.com/shlomif/project-euler/t...-euler/622 13:47
lizmat rindolf: what about the exit(0) ? 13:58
rindolf lizmat: the rest of the code is not used 13:59
lizmat but it does need to compile? 14:00
rindolf lizmat: you dont need to write it 14:02
lizmat: it is old code 14:03
lizmat ah, well, looks like an interesting project :-)
rindolf lizmat: see github.com/shlomif/project-euler/b...ffle-v2.pl 14:06
mst pmurias: that or copy perlbrew's design - but if you copied plenv then that would help e.g. people using anyenv 14:34
cfa morning folks 14:40
rindolf cfa: hi 14:46
cfa hi rindolf 14:49
rindolf cfa: how are you? 14:50
AlexDaniel o/
cfa rindolf: well thanks; you? 14:56
AlexDaniel: hey hey
rindolf cfa: i solved euler #622
cfa: i made an assumption that i didnt thoroughly prove and it worked 14:57
cfa :) 14:59
pmurias mst: don't you consider perlbrew insane? 15:05
mst pmurias: I consider using perlbrew for *deployment* to be missing the point, but lots of people find it very easy to use, and "mst thinks this is a bad idea in the long run", even if I'm right, doesn't beat "this is better -Ofun for first-time users" 15:06
pmurias I have only used plenv (only perlbrew) but I seems to be of similiar -Ofun 15:07
mst cloning rustup but without the stupid sniping of the existing rakudup would also be an option 15:08
pmurias mst: basically the plan for first time users would be to "borrow" the rust approach and have something like p6up.github.io/ install p6env
mst that sounds like a pretty neat approach to me
pmurias sniping?
yeah the sniping was a bit silly 15:09
cfa what sniping?
the copy on the webpage? 15:10
mst right. that achieved absolutely nothing positive whatsoever.
cfa ack
mst and completely overshadowed whether it was a good approach or a good implementation of the approach
anyway, meh, no need to relitigate that 15:11
cfa agreed
Zoffix mst: FWIW the text on rakudup has changed. There's no sniping anymore: rakudup.github.io/ 15:21
mst oh, that's a huge improvement
pmurias thought the discussion was about him sniping rakudoup 15:22
[Coke] I think the "for deployment" is the issue. If I were doing deployments, I'd install the perl I needed inside a container with the system tools and use that. 15:26
[Coke] I personally use perlbrew and tools like it for personal use on a single box where I may or may not have root. 15:26
cfa same 15:28
easy to switch between versions, test, upgrade to the latest perl etc. 15:29
[Coke] is reminded that he has to setup a container to run some www::mechanize stuff! 15:30
AlexDaniel dogbert17: hey 15:57
dogbert17: you love gdb, valgrind and stuff… right?
:)
AlexDaniel I have a segv that is actually preventing me from rolling out a bot :( 15:58
it may be Cro-related, I don't know…
jnthn Is that the one already in RT? 16:00
Or perhaps GitHub Issues... :)
dogbert17 AlexDaniel: bring it on :) 16:01
AlexDaniel jnthn: no, definitely not, but there are some *other* whateverable segfaults :) like this one: github.com/rakudo/rakudo/issues/12...-371295503 16:02
I'll try golfing this new one, I *think* it should be relatively easy
dogbert17 isn't it convenient that you're a golf master :) 16:03
AlexDaniel dogbert17: I was dethroned a few week ago 16:04
dogbert17 noooo
AlexDaniel nwellnhof is a freaking magician, I can't keep up with him 16:05
we're both documenting our findings though: github.com/AlexDaniel/6lang-golf-cheatsheet
El_Che pmurias, mst: It's a pitty that rakudo isn't relocable. That would open posibilities. Compiling stuff locally it's not what I would call fast and easy 16:06
pmurias El_Che: I'm not the right person to make rakudo relocable, I just hate working on build systems so much 16:07
El_Che non relocable rakudo means unnecessary root/admin rights
AlexDaniel El_Che: not necessarily, but yes :D 16:08
El_Che AlexDaniel: in the big scheme of things :) 16:08
AlexDaniel El_Che: I mean, you can use github.com/perl6/whateverable/wiki/Shareable if you're fine with rakudo sitting in /tmp :D
pmurias El_Che: a p6env setup could potentially be extended to install binary rakudos once it's relocatable
El_Che AlexDaniel: I feel suddenly a chill down my spine :) 16:09
El_Che people with a managed computer may not be able to wirte to local path or install packages 16:10
dropping a tar like the jdk or go goes a long way 16:11
timotimo lizmat: i'm about to upload a blog post on my 'site, mind waiting with the weekly until i do? 16:59
i meant to put a nice picture from unsplash.com near the beginning, but it seems unsplash is having some technical difficulties? 17:02
can someone confirm that it won't serve any search results at the moment? 17:03
ok, it's reacting but service is spotty and slow 17:05
dogbert17 timotimo: Arg expression cannot be void, cannot use the return of getrusage 17:09
timotimo where do you get that?
dogbert17 make test
timotimo ah, of course we have tests for that :)
that's nqp's make test?
lichtkind proud to announce math::matrix 0.2
dogbert17 timotimo: no, rakudo 17:10
timotimo oh, OK
dogbert17 example: perl6 t/06-telemetry/01-basic.t
lichtkind++ 17:11
timotimo i see what i did
AlexDaniel dogbert17: does not segfault without running the whole bot. Bummer. :( 17:12
timotimo glad i don't have to re-bump :)
lichtkind dogbert17, thanks we have almost everything except eigenvalues and vektors 17:13
AlexDaniel timotimo: re "glad i don't have to re-bump", why? It's very easy with z script
timotimo only if you can use z script
AlexDaniel and you can't because? 17:14
timotimo it wants me to put my rakudo, nqp, and moarvm into an empty folder
that's terrible! i feel tyrranized
AlexDaniel no? It will create its own
I use my own rakudo, nqp etc., but I let it do the bumps with its own repos
timotimo yeah, but then i'd have to copy over my work :P
AlexDaniel well, one option is to git pull from a local path 17:15
and another is to… push it upstream
and then do the bump :)
timotimo: just look at this! Isn't it beautiful? github.com/rakudo/rakudo/commit/97...e5c74612df 17:16
AlexDaniel believes that it's a compelling argument :P 17:17
timotimo yeah, well, this bump only introduced a single commit :)
wakelift.de/p/1a39c0ea-adfb-45d2-b...380197d71/ - proof reading welcome 17:18
... how do i center images :D 17:19
tony-o timotimo: they seem centered to me 18:11
timotimo yup! i managed to do it
my first attempt was <center>![](...)</center>, but that just left the markdown in the result as-is
so i just used a regular <img/> tag instead
also, hi tony-o :)
tony-o what's going on? 18:12
timotimo edument paid me to implement remote debugger support for moarvm! 18:13
am i just imagining things or have i not seen you on irc in a while?
tony-o that's pretty rad
i'm more a lurker now, still working on problems, just not pushing modules 18:14
been working on a better orm
timotimo .o( bettorm )
tony-o haha, i might use that
timotimo i'm not employed by Whateverable, The Foundation™ to come up with dumb bot names for nothing ;) 18:15
tony-o how does the remote debugger work? 18:15
tony-o is that a cli or gui thing? 18:15
timotimo there's a library and a CLI 18:16
Ulti timotimo: nice post 18:17
timotimo you can ask moarvm to listen to a port, then the library (or you, manually) connect to it via TCP and after a short handshake the protocol is a messagepack-based thingie
thank you, Ulti :)
tony-o ohh that sounds pretty interesting 18:20
timotimo you can set breakpoints, suspend and resume single threads or all threads, get a full stacktrace, grab the values of lexicals and attributes, positional items and associative items from objects 18:21
there's also single-stepping (step over and step out are NYI)
tony-o damn, that should lead to some really interesting debuggers 18:22
timotimo hopefully so!
the cli has a few cool tricks up its sleeve, too
like "all lex $threadnum" gives you lexicals for all frames on the stack
gotta be AFK for a bit 18:23
oh, we still need someone to write a shell and a batch script that can pass a port and --debug-suspend (or not) to moar while launching nqp or rakudo 18:24
i.e. rakudo-debugserver-m, nqp-debugserver-m, probably with two positional arguments 18:25
lizmat timotimo: just lemme know when :-) 18:34
timotimo: ah, I just saw :-) 18:35
buggable New CPAN upload: Ops-SI-0.1.0.tar.gz by TYIL cpan.metacpan.org/authors/id/T/TY/...1.0.tar.gz 18:41
timotimo \o/ 18:52
enheh Hello, everybody! I am a bit confused about type constraints and their association with variables and containers. 18:56
In particular, the container documentation at docs.perl6.org suggests that type constraints are the property of the container, not the variable. If that is so, then I am confused by the example it gives, since it results in a type check failure which would only seem possible if type constraints are the property of the variable:
m: my Int $i = 42; $i := "forty plus two";
camelia Type check failed in binding; expected Int but got Str ("forty plus two")
in block <unit> at <tmp> line 1
enheh If my understanding is correct, binding replaces any container previously bound to the variable. In that case, I would expect the container created during the initial declaration and assignment to be replaced by a non-containerized string in the subsequent bind statement. If type constraints are on containers rather than the variables themselves, shouldn't the Int type constraint disappear along with the replaced container? 18:57
From the documentation:
"Any container can have a type constraint in the form of a type object or a subset. Both can be placed between a declarator and the variable name or after the trait of. The constraint is a property of the container, not the variable. Any (re-)binding may change the type constraint or remove the constraint altogether if bound to a value instead of a container."
gfldex m: my Int $i = 42; my \s = "forty plus two"; $i := s; 19:16
camelia Type check failed in binding; expected Int but got Str ("forty plus two")
in block <unit> at <tmp> line 1
gfldex m: my Int $i = 42; constant \s = "forty plus two"; $i := s; 19:17
camelia Type check failed in binding; expected Int but got Str ("forty plus two")
in block <unit> at <tmp> line 1
gfldex goes to read roast
Zoffix enheh: that section shows an example that shows that description is actually incorrect. 19:29
"The default type constraint of a Scalar container is Any" that's also incorrect. Default type constraint for variables is Mu
enheh So are there type constraints both directly tied to containers and also to variables, then? 19:31
Zoffix enheh: I don't know much about it, but I'd say it's both: a variable can have a type constraint attached to it (as in `my Int $x` or `my Int \y`) and a container can have a descriptor that checks types (e.g. in `m: my Int %h; %h<foo> = rand;` where `<foo>` key's container ensures only Ints get stored)
I also notice you can rebind parametarized hashes's values, but parametarized arrays don't offer that option, because their binding methods are typed to accept only the typed values 19:32
m: my Int %h; %h<foo> := rand; dd %h
camelia Hash[Int] %h = (my Int % = :foo(0.9608381618766769e0))
Zoffix m: my Int @h; @h[2] := rand;
camelia Cannot resolve caller BIND-POS(Array[Int]: Int, Num); none of these signatures match:
(Array:D $: int $pos, Int \bindval, *%_)
(Array:D $: Int:D $pos, Int \bindval, *%_)
in block <unit> at <tmp> line 1
Zoffix enheh: there's also this article on containers: perl6advent.wordpress.com/2017/12/02/ 19:33
enheh Zoffix: Yes, that article is part of what led me down this road. :)
gfldex rebinding to typed scalars is unspeced it seams 19:35
enheh: feel free to file issues with the docs and/or roast 19:36
Zoffix Filed already, D#1870
synopsebot D#1870 [open]: github.com/perl6/doc/issues/1870 "Type Constraints" section on containers page contains incorrect info
enheh In exploring this issue, I was unable to find any way to introspect the type constraints on a variable. Is there something I've missed, perhaps? 19:38
Zoffix m: my Int $x; say $x.VAR 19:39
camelia Int
enheh Doesn't that just give information on the underlying container, though, rather than the variable itself?
Zoffix ah yeah 19:40
lizmat m: my Numeric $x = 42; say $x.VAR.of 19:41
camelia (Numeric)
lizmat m: my Numeric $x = 42; say $x.WHAT
camelia (Int)
lizmat enheh Zoffix ^^^
Zoffix m: my Numeric $x := 42; say $x.VAR.of 19:42
camelia No such method 'of' for invocant of type 'Int'
in block <unit> at <tmp> line 1
lizmat m: my $x is default(42) = 666; say $x.VAR.default # related
camelia 42
Zoffix lizmat: ^ what about this one, when there's no Scalar on it?
m: my Numeric x := 42; say $x.VAR.of
camelia 5===SORRY!5=== Error while compiling <tmp>
Malformed my (did you mean to declare a sigilless \x or $x?)
at <tmp>:1
------> 3my Numeric x7⏏5 := 42; say $x.VAR.of
Zoffix m: my Numeric \x = 42; say $x.VAR.of
camelia 5===SORRY!5=== Error while compiling <tmp>
Variable '$x' is not declared
at <tmp>:1
------> 3my Numeric \x = 42; say 7⏏5$x.VAR.of
Zoffix ^ or that last one, since you can rebind to it
: my Numeric \z = 42; z := 42 19:43
m: my Numeric \z = 42; z := 42
camelia ( no output )
Zoffix m: my Numeric \z = 42; z := "x"
camelia Type check failed in binding; expected Numeric but got Str ("x")
in block <unit> at <tmp> line 1
lizmat the .VAR gives you the container, if any
if you bind 42, you don't have a container
Zoffix And basically the question is, how can I programmatically know whether the above ^ would bind successfully or throw typecheck
Zoffix lizmat: with the \z stuff I don't have a container either, do I? 19:44
lizmat nope
lizmat hmmm... so how does it know it can't bind ? 19:44
hmmm... interesting
lizmat jnthn would know :-) 19:45
gfldex the example in the docs used to work btw. And there is no spec test for typed rebinding on scalars.
Zoffix gfldex: it still works as the example shows. The example shows throwage occurs (which it does), but the prose says you can rebind 19:46
gfldex i'm sure we could shed the type check with binding a good while ago
jnthn The bind operator code-gens a type check 19:48
Zoffix p6bindassert 19:49
m: use QAST:from<NQP>; BEGIN $*W.compile_time_evaluate: $, QAST::Stmts.new: QAST::Op.new(:op<bind>, QAST::Var.new(:name<$foo>, :scope<lexical>, :returns(Int), :decl<var>), QAST::WVal.new: :value("x")), QAST::Op.new: :op<say>, QAST::Var.new: :name<$foo>, :scope<lexical> 19:50
camelia x
jnthn That's, I believe, the only place the type information is retained at the binding level
Zoffix m: use QAST:from<NQP>; BEGIN $*W.compile_time_evaluate: $, QAST::Stmts.new: QAST::Op.new(:op<p6bindassert>, QAST::Var.new(:name<$foo>, :scope<lexical>, :returns(Int), :decl<var>), QAST::WVal.new: :value("x")), QAST::Op.new: :op<say>, QAST::Var.new: :name<$foo>, :scope<lexical>
camelia 5===SORRY!5=== Error while compiling <tmp>
An exception occurred while evaluating a BEGIN
at <tmp>:1
Exception details:
Type check failed in binding; expected Str but got Mu (Mu)
in code at <tmp> line 1
jnthn Variables don't really exist by runtime. Certainly not in the same way containers do 19:50
Zoffix Ah 19:51
jnthn I guess you could probably write a trait and apply it to the variable, then you'd get the Variable object at compile time and could probably grab the type 19:53
And stash it away...somewhere :)
rindolf lizmat: here? 19:54
lizmat rindolf: yes 19:55
rindolf lizmat: did you work on the port of my code yet?
lizmat my int $a = 42; sub a(int $b) { } # this appears to allocate an Int for each call to "a"
jnthn: ^^^ is that correct / intentional / unavoidable ??
rindolf: I'm busy with other things 19:56
rindolf lizmat: ah
jnthn lizmat: Does it allocate an int of a lex ref?
*or an
lizmat Int 19:57
jnthn That's...odd
I'd expect an IntLexRef
lizmat perl6 --profile -e 'my int $a = 42; sub a(int $b) { }; a($a) for ^100000'
jnthn Though in both cases I'm planning to teach spesh to get rid of those :)
lizmat is what I used, and it shows about 100K Ints
this is annoying in things like push-exactly :-( 19:58
jnthn You sure that's not because `blah for ^100000` sets $_ on the LHS to the current value, and that this would force a boxing?
lizmat hmmm 19:59
jnthn Anyway, box elimination and ref-taking elimination are on my near-term spesh todo list :)
lizmat ok, so I won't pursue this at this time :-) 20:00
gfldex moar faster is moar better!
lizmat and you're right, the Ints where not from the call, but the ^100000 presumably
Nil for ^100000 # produced the same number of Int allocations
jnthn Well, if you want to take that bit of graph algorithm work off my hands, I won't totally object ;-) 20:01
Yeah, then it's probably that
lizmat I'm afraid I'm too graphically noobed :-)
jnthn I'm certainly not a natural at graph theory. :-) 20:02
Pretty much always have to think hard about it rather than having any intuition whatsoever. 20:03
Geth doc: gfldex++ created pull request #1871:
Default type is Mu		 20:04
Geth doc: 94c2270cb3 | (Zoffix Znet)++ | doc/Language/containers.pod6
Fix up info on Type Constraints

Closes github.com/perl6/doc/issues/1870 D#1870 Closes github.com/perl6/doc/pull/1871 D#1871 Based on irclog.perlgeek.de/perl6/2018-03-26#i_15968371		 20:06
synopsebot Link: doc.perl6.org/language/containers
synopsebot D#1870 [closed]: github.com/perl6/doc/issues/1870 "Type Constraints" section on containers page contains incorrect info
D#1871 [closed]: github.com/perl6/doc/pull/1871 Default type is Mu
enheh I admit I'm a little lost with the NQP stuff and the stuff about Perl 6 internals, but if there is still any light to be shed on what is happening, perhaps this example might still be enlightening: 20:07
m: my Int $x = 42; my $y = 33; $x := $y; $x = "foo"; $x.say; $x.VAR.say; $x.VAR.of.say;
camelia foo
foo
(Mu)
enheh It's unlcear whether the type constraint should belong to the container or the variable, but maybe it gets applied to both? After $x's container is replaced by one with a Mu type constraint, one can assign a non-Int value with no problem. But as soon as we bind a non-Int to $x again, it fails. 20:08
Zoffix enheh: contraint's on the container and `$x := $y` changes the container (and thus the constraint) in $x 20:10
enheh Oops, forgot the last bit: 20:11
m: my Int $x = 42; my $y = 33; $x := $y; $x = "foo"; $x.say; $x.VAR.say; $x.VAR.of.say; $x := "foo";
camelia foo
Type check failed in binding; expected Int but got Str ("foo")
in block <unit> at <tmp> line 1

foo
(Mu)
enheh Zoffix: Yes, exactly!
Zoffix enheh: and binding operator does a typecheck. In case of `$x := $y`, $y has same type as $x; in case of `$x := "foo"`, "foo" is of type Str, but $x is of type Int 20:12
enheh Zoffix: But later when we try to rebind a string, somehow the Int constraint still exists on the $x var.
Zoffix nah, it's the bindinding operator typechecking now, based on types of its args, not the constraints on anything 20:13
m: my $x = "x"; my $y = 33; $x := $y; 20:14
camelia ( no output )
Zoffix hmmm
In this case it's just normal bind, not p6bindassert :/
And with %h<foo> := 42; it's .BIND methodcall. 20:15
Geth doc: gfldex++ created pull request #1872:
link to binding operator
doc: gfldex++ created pull request #1873:
tell that and when := throws X::TypeCheck::BindingType
doc: b3e167e67a | (Wenzel P. P. Peppmeyer)++ (committed using GitHub Web editor) | doc/Language/containers.pod6
link to binding operator
doc: 4027fae60b | (Zoffix Znet)++ (committed using GitHub Web editor) | doc/Language/containers.pod6
Merge pull request #1872 from gfldex/patch-10

  link to binding operator
doc: 0daea5a2eb | (Wenzel P. P. Peppmeyer)++ (committed using GitHub Web editor) | doc/Language/operators.pod6
tell that and when := throws X::TypeCheck::BindingType
 20:16
doc: 16f15dff57 | (Zoffix Znet)++ (committed using GitHub Web editor) | doc/Language/operators.pod6
Merge pull request #1873 from gfldex/patch-11

tell that and when := throws X::TypeCheck::BindingType
synopsebot Link: doc.perl6.org/language/operators
Zoffix Ah, 'cause there's no constraint on it 20:19
m: my Str $x = "x"; my Int $y = 33; $x := $y; 20:20
camelia Type check failed in binding; expected Str but got Int (33)
in block <unit> at <tmp> line 1
Zoffix yey
enheh Zoffix: That makes sense to me.
Zoffix OK, fairly clear now: if you bind to a constrained container or a variable with a value, the binding operator performs a typecheck for you. The constraint on containers typechecks when you store stuff into containers. And binding operator calls on an array index or hash key desugars to a method call and lets the method do typechecks 20:21
And the typecheck the binding operator performs is based: (*) for containers, the type constraint on the container; (*) for values, the type of the value 20:22
m: my Str $x := <42>; my Int $y = 33; $x := $y;
camelia Type check failed in binding; expected Str but got Int (33)
in block <unit> at <tmp> line 1
Zoffix no, doesn't work here :(
m: my Str \z = <42>; my Int $y = 33; z := $y; 20:23
camelia Type check failed in binding; expected Str but got Int (33)
in block <unit> at <tmp> line 1
Zoffix How does it know that it wants a Str and not IntStr?
gfldex enheh++ # for reading carefully
enheh gfldex: Thanks! 20:26
Zoffix Ah, ok, it 20:27
m: BEGIN { my Str \z = <42>; BEGIN say $*W.find_lexical_container_type: 'z'; exit }
camelia (Str)
Zoffix So it is a proprty of the variable in this case and the compiler at compile time rakes for the variable to find what the constraint is and it codegens a binding operator that does a typecheck based on that type. 20:28
ZofBot: it's so easy!
ZofBot Zoffix, ” And Father said, “Were you listening to what was saying, Christopher?” said, “Yes, was listening to what you were saying, but when someone gets murdered you have to find out who did it so that they can be punished
enheh Zoffix: Nice! 20:29
buggable New CPAN upload: ANTLR4-Grammar-0.2.3.tar.gz by JGOFF cpan.metacpan.org/authors/id/J/JG/...2.3.tar.gz 20:41
Zoffix buggable: fc5 20:44
buggable Zoffix, Far Cry 5 will be released in 3 hours, 15 minutes, and 14 seconds
Zoffix \o/ \o/ \o/
Yeah, those IRC::Client bugs I wanted to fix this week... Ain't gonna happen :P 20:45
Geth doc: ronaldxs++ created pull request #1874:
Mention attribute mutators by Proxy and refer to mutators.t in roast		 20:47
tadzik haha, that's quite a feature for a bot :) 20:49
and of course one has to try...
buggable: hl2ep3
:( 20:50
timotimo ;( 20:51
dogbert17 timotimo: when did we last do a Coverity Scan? 21:07
timotimo hm, could have been a while ago 21:11
Geth doc: 054585c9f1 | (JJ Merelo)++ | doc/Type/Range.pod6
Realigning comments

Thanks to @AlexDaniel for pointing it out.		 21:12
synopsebot Link: doc.perl6.org/type/Range
doc: e0776d5902 | (JJ Merelo)++ | 5 files
Merge branch 'master' of github.com:perl6/doc
timotimo something's still wrong with telemetry? 21:44
lizmat timotimo: maybe something I borked ? 21:56
and another Perl 6 Weekly hits the Net: p6weekly.wordpress.com/2018/03/26/...ly-perl-6/
timotimo don't think so
looks like i borked it actually
AlexDaniel m: sub foo() { sleep 1; take 42; take 50 }; say <a b c>.hyper(:1batch, :4degree).map({(gather foo).list}); say now - BEGIN now
camelia ((42 50) (42 50) (42 50))
3.049271
AlexDaniel why is this taking 3 seconds? 21:57
lizmat probably because it doesn't start more threads 21:59
timotimo i can't read the code because the comments with - in them make my vim violently explode when trying to syntax-highlight ... 22:00
lizmat AlexDaniel: yup, that's the reason 22:01
I think this is a basic flaw of the current supervisor algorithm
if something doesn't use any CPU, it doesn't cause any other workers to be started
(I think :-)
lizmat AlexDaniel: probably best to create an issue for it 22:02
timotimo oh, maybe i was on a moarvm branch that doesn't do getrusage right
AlexDaniel lizmat: ok, next question
m: sub foo() { sleep 1; take 42; take 50 }; say <a b c>.hyper(:1batch, :4degree).map({(gather foo)}); say now - BEGIN now
camelia ((42 50) (42 50) (42 50))
3.04887136
AlexDaniel m: sub foo() { sleep 1; take 42; take 50 }; say <a b c>.hyper(:1batch, :4degree).map({gather foo}); say now - BEGIN now 22:03
camelia ((42 50) (42 50) (42 50))
3.0514149
AlexDaniel hm, what's the question
no question I guess
timotimo OK, got back onto moarvm master and everything's good
AlexDaniel m: sub foo() { sleep 1; take 42; take 50 }; say <a b c>.hyper(:1batch).map({(gather foo)})
camelia ((42 50) (42 50) (42 50))
timotimo time to read the weekly :3 22:04
AlexDaniel e: sub foo() { sleep 1; take 42; take 50 }; say <a b c>.hyper(:1batch).map({(gather foo)})
evalable6 ((42 50) (42 50) (42 50))
AlexDaniel c: d0fbe7447 sub foo() { sleep 1; take 42; take 50 }; say <a b c>.hyper(:1batch).map({(gather foo)})
committable6 AlexDaniel, ¦d0fbe74: «The iterator of this Seq is already in use/consumed by another Seq␤(you might solve this by adding .cache on usages of the Seq, or␤by assigning the Seq into an array)␤ in block <unit> at /tmp/dZ5N1bJhVh line 1␤␤ «exit code = 1»»
AlexDaniel bisect: old=d0fbe7447 sub foo() { sleep 1; take 42; take 50 }; say <a b c>.hyper(:1batch).map({(gather foo)}) 22:05
bisectable6 AlexDaniel, Bisecting by exit code (old=d0fbe74 new=1c4eebe). Old exit code: 1
AlexDaniel, bisect log: gist.github.com/bf4042793422150f8d...89ca3af1a9
AlexDaniel, (2018-03-26) github.com/rakudo/rakudo/commit/1c...903ce4fdec
AlexDaniel lol did you just fix that? xD
timotimo maybe just more difficult to make it explode?
AlexDaniel “committed 4 hours ago”
timotimo lizmat++ # weekly 22:10
Geth whateverable/master: 6 commits pushed by (Aleks-Daniel Jakimenko-Aleksejev)++ 22:37
Herby_ o/ 22:52
timotimo \o 22:53
Geth whateverable: d03880d3f9 | (Aleks-Daniel Jakimenko-Aleksejev)++ | bin/Undersightable.p6
Of course I meant .eager

D'oh!		 23:01
AlexDaniel jnthn++
jnthn :) 23:05
'night o/
AlexDaniel o/
Geth whateverable: e6e3f9ae7d | (Aleks-Daniel Jakimenko-Aleksejev)++ | bin/Undersightable.p6
Class name should not have 6 in it
 23:09
Geth doc: 5463011fe5 | cfa++ | xt/code.pws
Add 'bindingtype' (X::TypeCheck::BindingType) to the code dictionary.

Pass aspell.t.		 23:57

Powered by Cro and the Raku® Programming Language.

Please report any issues / comments / feature requests as an issue on App::Raku::Log.

Thank you!