|
🦋 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
|
|||