[Coke] jdv: jim didn't eve let me pay for my own beer and then I got sidetracked! 00:45
08:29 librasteve_ joined 10:35 ds7832 joined 10:48 ds7832 left 10:51 ds7832 joined
ab5tract m: Array[Int].new.HOW.raku.say 11:36
camelia Method Perl6::Metamodel::ClassHOW+{<anon>}+{<anon>}.raku not found
in block <unit> at <tmp> line 1
ab5tract am I right in understanding the +{<anon>}+{<anon>} are reified parameterizations? 11:37
12:09 ds7832 left 12:22 ds7832 joined
ab5tract ah, they can be any old role 13:05
nine: apologies for pinging you as a reviewer before it was actually ready for review 13:21
my head is spinning with all the brute force approaches I've taken so far
13:30 ds7832 left
[Coke] (beers) I need to keep an actual reverse tab about how many drinks I owe people. 13:36
... or I can just always buy a round everywhere, that's probably easier. 13:37
13:37 ds7832 joined
jdv haha 13:40
[Coke]: here's the unvarnished truth - gist.github.com/jdv/55463928b66f7e...aed328c39f
[Coke] OK, one of those failures is me changing the release date in the docs. :) 13:49
... and the test output for that failure in Math::Sequences shows it worked in both cases... weird 13:50
lizmat is checking SBOM::CycloneDX
[Coke] oh, whoops, that's a misread on my part, sorry
jdv++ lizmat++ 13:52
lizmat test error SBOM::CycloneDX confirmed, but not something serious 14:02
m: subset A of Str where *.contains("A"); my A $b = "foo"
camelia Type check failed in assignment to $b; expected A but got Str
in block <unit> at <tmp> line 1
lizmat this also used to say "but got "foo"
bisectable6: old=2025-06 subset A of Str where *.contains("A"); my A $b = "foo" 14:03
bisectable6 lizmat, Cannot find revision ā€œ2025-06ā€ (did you mean ā€œ2025.06ā€?)
lizmat bisectable6: old=2025.06 subset A of Str where *.contains("A"); my A $b = "foo"
bisectable6 lizmat, Bisecting by output (old=2025.06 new=9c5fc91) because on both starting points the exit code is 1
lizmat, bisect log: gist.github.com/cf215113131ef0fb3a...12cf8d4bb2
lizmat, (2025-09-03) github.com/rakudo/rakudo/commit/a9...a1b457a641
14:17 guifa joined
Geth rakudo/main: 1ac895f152 | (Elizabeth Mattijsen)++ | src/core.c/Exception.rakumod
Restore mention of value in typecheck error

Commit a988e79f9f2310e7c5c6f175d16678a1b457a641 had removed this in all cases: now it will not mention the value in case of a
  (potentiall very large) raku representation
This fixes SBOM::CycloneDX, found in latest blin run Coke++ jdv++		 14:20
lizmat is looking at P5tie and associated 14:25
jdv [Coke] looks like the issues with github.com/rakudo/rakudo/commit/51...dee5b9644f can be fixed by module updates 14:26
also I think my commit of just now fixed PDF::Content as well 14:27
will fix the P5tie related errors in the coming hours by releasing new module versions
[Coke] nice. 14:31
Thanks~
!
releasable6 Next release in ā‰ˆ4 days and ā‰ˆ3 hours. There are no known blockers. Please log your changes in the ChangeLog: github.com/rakudo/rakudo/wiki/ChangeLog-Draft 15:00
15:21 melezhik joined
ab5tract what does 'specialize' mean in terms of roles? 15:35
lizmat create something that can be mixed in with the given parameterization? 15:39
ab5tract I wish I understood that sentence :/ 15:50
R => R[Int] == speciailization?
Basically I'm trying to understand how CurriedRoleHOW interacts with ParametricRoleGroupHOW 15:51
as there doesn't seem to be much of a connection. but also CurriedRoleHOW is supposedly an intermediate metamodel object but I still see plenty of them in regular usage 15:53
m: Positional[Int].HOW.say
camelia Perl6::Metamodel::CurriedRoleHOW.new
ab5tract the metamodel code is mind bending 15:54
m: dd [1,2] ~~ Positional[Int] 16:14
camelia Bool::False
ab5tract ^^ wish I hadn't been using this as a sanity check
lizmat well, [] is basically Positional[Mu] 16:21
and roles are not bytecode, not until they are consumed
ab5tract m: dd Positional.HOW.raku; dd Positional[Mu].HOW.raku
camelia "Perl6::Metamodel::ParametricRoleGroupHOW.new"
"Perl6::Metamodel::CurriedRoleHOW.new"
ab5tract what does "consumed" mean here? 16:22
btw, I think I may have cracked the generics thing
lizmat role B { }; class A does B { } # class A is consuming role B 16:23
my $a = 42 but False # enums provide a role with a method with the name of the enum, so .Bool will produce False in this case 16:24
you could say that the but created a new Int type that consumed that special role
ab5tract Ok, so I got t/spec/02-types/generics.t passing, but it feels like way fewer TODOs are passing overall in make spectest :( 16:27
Geth rakudo/r5970-fix-generics: 88db3dd4ee | ab5tract++ | src/Raku/ast/type.rakumod
RakuAST - Address some issues with generics

Previously the following code:
role R[::T] { has @.a is Array[T] } dd R[Int].new: :a(1,2,3)
... (33 more lines)		 16:34
ab5tract nine: I think this one is a lot less gross, and (almost) entirely works (small regression, noted in commit message) 16:35
lizmat: thank you for the help 16:38
17:21 ds7832 left, ds7832 joined 17:30 melezhik left
lizmat jdv [Coke] I believe all blin issues are addressed 17:57
Math::Sequences I cannot reproduce, so assume a flapper 17:58
17:58 samebchase left
lizmat PDF::Content / SBOM::CycloneDX have been fixed with github.com/rakudo/rakudo/commit/1ac895f152 17:58
all other modules have just been updated and uploaded to zef
17:59 samebchase joined 18:25 ds7832 left 18:26 ds7832 joined
Geth rakudo/main: c9714bf939 | (Elizabeth Mattijsen)++ | src/core.c/RakuAST/Raku.rakumod
RakuAST: fix gisting of &?ROUTINE

Spotted by David Warring, fixes #5977		 19:50
21:19 guifa left 21:23 guifa joined 22:22 guifa left 22:23 guifa joined
[Coke] lizmat++ 23:04
23:17 ds7832 left

Powered by Cro and the RakuĀ® Programming Language.

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

Thank you!