 metagn
|
74f4042f89
isolate and rematch generic converters to get bindings (#24867)
|
2 тижнів тому |
 ringabout
|
2c7577745b
fixes `implicitConv` discarding flags (#24817)
|
1 місяць тому |
|
metagn
|
44c1b2a6df
fix compound inheritance penalty (#24775)
|
1 місяць тому |
|
ringabout
|
903ce6db28
fixes generic types `sink T` cannot be inferred for passed arguments (#24761)
|
1 місяць тому |
 Ryan McConnell
|
82974d91ce
new-style concepts adjusments (#24697)
|
1 місяць тому |
|
metagn
|
dac77cc97e
don't try to infer array range to unresolved range (#24709)
|
2 місяців тому |
|
metagn
|
26d3b4c3ab
adapt generic matches to inheritance penalty of final objects (#24691)
|
2 місяців тому |
|
Ryan McConnell
|
43f7e160ba
couple cases of valid concept bindings (#24513)
|
4 місяців тому |
|
metagn
|
14ce1a91ce
fix crash with tyBuiltInTypeClass matching itself (#24462)
|
5 місяців тому |
|
metagn
|
0036bb976b
fix subtype match of generic object types (#24430)
|
5 місяців тому |
|
metagn
|
ac8c44e08d
implement type bound operation RFC (#24315)
|
6 місяців тому |
|
metagn
|
2d678fa45c
better errors for standalone explicit generic instantiations (#24276)
|
6 місяців тому |
|
ringabout
|
b3e02ef0c3
make `PNode.typ` a private field (#24326)
|
6 місяців тому |
|
metagn
|
13110fc5d3
give int literals matched type on generic match (#24234)
|
6 місяців тому |
|
metagn
|
6c96892d5e
refactor to make sigmatch use LayeredIdTable for bindings (#24216)
|
6 місяців тому |
|
metagn
|
75e50f804a
delay markUsed for converters until call is resolved (#24243)
|
6 місяців тому |
|
metagn
|
599f1ad6b3
make new concepts match themselves (#24244)
|
6 місяців тому |
|
metagn
|
e262d9506d
stricter set type match, implicit conversion for literals (#24176)
|
7 місяців тому |
|
metagn
|
7cbe031909
fix trivial segfault in sigmatch for static types (#24196)
|
7 місяців тому |
|
Ryan McConnell
|
37dba853c9
Fix incorrect inheritance penalty for some objects (#24144)
|
7 місяців тому |
|
metagn
|
05a7a48a2b
fix inverted order of resolved `tyFromExpr` match (#24138)
|
7 місяців тому |
|
metagn
|
1660ddf98a
make `var`/pointer types not match if base type has to be converted (#24130)
|
7 місяців тому |
|
metagn
|
b5f2eafed1
don't match arguments with typeclass type in generics (#24123)
|
7 місяців тому |
|
metagn
|
9dda7ff7bc
make sigmatch use prepareNode for tyFromExpr (#24095)
|
7 місяців тому |
|
metagn
|
24e5b21c90
fix regression with generic params in static type (#24075)
|
7 місяців тому |
|
metagn
|
a93c5d79b9
adapt generic default parameters to recent generics changes (#24065)
|
7 місяців тому |
|
metagn
|
1ebdcb3bca
fully disable static paramTypesMatch for tyFromExpr in generics (#24049)
|
8 місяців тому |
|
metagn
|
71de7fca9e
handle explicit generic routine instantiations in sigmatch (#24010)
|
8 місяців тому |
|
metagn
|
d3af51e3ce
remove fauxMatch for tyFromExpr, remove tyProxy and tyUnknown aliases (#24018)
|
8 місяців тому |
|
metagn
|
f09c549d42
make int literals with range type match their base type better than other int types (#24017)
|
8 місяців тому |
