🦋 Welcome to the IRC channel of the core developers of the Raku Programming Language (raku.org #rakulang). This channel is logged for the purpose of history keeping about its development | evalbot usage: 'm: say 3;' or /msg camelia m: ... | log inspection situation still under development | For MoarVM see #moarvm
Set by lizmat on 22 May 2021.
00:02 reportable6 left 00:31 evalable6 joined
Geth rakudo: vrurg++ created pull request #4482:
Fix a race in ClassHOW new_type
00:40
01:03 reportable6 joined 02:24 quotable6 left, tellable6 left, unicodable6 left, statisfiable6 left, linkable6 left, squashable6 left, greppable6 left, notable6 left, sourceable6 left, coverable6 left, bloatable6 left, nativecallable6 left, benchable6 left, bisectable6 left, committable6 left, reportable6 left, releasable6 left, shareable6 left, releasable6 joined, unicodable6 joined 02:25 committable6 joined, coverable6 joined, bisectable6 joined 02:26 statisfiable6 joined, greppable6 joined 02:27 reportable6 joined, squashable6 joined, shareable6 joined 03:25 notable6 joined 04:24 bloatable6 joined 04:25 quotable6 joined, tellable6 joined 04:26 benchable6 joined 05:27 linkable6 joined 06:02 reportable6 left 06:05 reportable6 joined 06:42 gfldex left 06:43 gfldex joined, gfldex left, gfldex joined 07:26 sourceable6 joined, nativecallable6 joined 08:42 Kaipi left 10:17 Kaiepi joined 12:03 reportable6 left 13:05 reportable6 joined 13:57 Xliff joined 15:18 evalable6 left, linkable6 left 15:19 evalable6 joined 16:00 vrurg left 16:04 MasterDuke left 16:07 vrurg joined 16:15 MasterDuke joined 16:42 Xliff left 17:19 linkable6 joined 17:58 patrickb joined 18:02 reportable6 left 18:03 reportable6 joined 18:05 patrickb left 19:00 casaca left 20:12 casaca joined
Kaiepi m: enum Foo <A B C>; say Foo.^composalize ~~ Foo 20:46
camelia False
Kaiepi if that can remain False, that allows for some pretty big speedups to role typechecking 20:48
japhb Kaiepi: Can you explain that a bit more? 21:30
vrurg Kaiepi: I think the False here is incorrect, if DWIM is expected. 21:41
m: enum Foo <A B>; class Bar does Foo { }; say Bar ~~ Foo; 21:42
camelia False
vrurg Though I still wonder what sense does this make? 21:45
21:55 casaca left
Kaiepi vrurg, i mean doing strict equality checks on the role typecheck list in Metamodel::ParametricRoleHOW.type_check instead of typechecking the doees 22:03
though that seems to be false in both cases
maybe the metaobject to be composalized needs to be added to the role typecheck list too? 22:04
vrurg I think so.
22:07 casaca joined 22:13 casaca left
Kaiepi m: class Foo is Buf[uint8] is repr<VMArray> { }; say Buf[uint8] ~~ Blob[uint8] 22:17
camelia True
Kaiepi m: class Foo is Buf[uint8] is repr<VMArray> { }; say Foo ~~ Blob[uint8] 22:18
camelia False
Kaiepi inheritalization needs something similar i think
timo the meek shall inheritalize the earth 22:43
22:51 squashable6 left 22:52 squashable6 joined