 ringabout
|
2af9ddc286
revert `strictDefs` as the default (#24620)
|
vor 1 Monat |
 Ryan McConnell
|
e0197a8380
couple cases of valid concept bindings (#24513)
|
vor 2 Monaten |
|
ringabout
|
2df633180a
enable `experimental:strictDefs` (#24225)
|
vor 2 Monaten |
 metagn
|
96043bdbb7
fix crash with tyBuiltInTypeClass matching itself (#24462)
|
vor 2 Monaten |
|
metagn
|
511ab72342
fix subtype match of generic object types (#24430)
|
vor 3 Monaten |
|
metagn
|
2864830941
implement type bound operation RFC (#24315)
|
vor 3 Monaten |
|
metagn
|
0a058a6b8f
better errors for standalone explicit generic instantiations (#24276)
|
vor 4 Monaten |
|
ringabout
|
68b2e9eb6a
make `PNode.typ` a private field (#24326)
|
vor 4 Monaten |
|
metagn
|
c73eedfe6e
give int literals matched type on generic match (#24234)
|
vor 4 Monaten |
|
metagn
|
cad8726907
refactor to make sigmatch use LayeredIdTable for bindings (#24216)
|
vor 4 Monaten |
|
metagn
|
09043f409f
delay markUsed for converters until call is resolved (#24243)
|
vor 4 Monaten |
|
metagn
|
9e30b39412
make new concepts match themselves (#24244)
|
vor 4 Monaten |
|
metagn
|
7dfadb8b4e
stricter set type match, implicit conversion for literals (#24176)
|
vor 4 Monaten |
|
metagn
|
7cbe031909
fix trivial segfault in sigmatch for static types (#24196)
|
vor 4 Monaten |
|
Ryan McConnell
|
37dba853c9
Fix incorrect inheritance penalty for some objects (#24144)
|
vor 4 Monaten |
|
metagn
|
05a7a48a2b
fix inverted order of resolved `tyFromExpr` match (#24138)
|
vor 5 Monaten |
|
metagn
|
1660ddf98a
make `var`/pointer types not match if base type has to be converted (#24130)
|
vor 5 Monaten |
|
metagn
|
b5f2eafed1
don't match arguments with typeclass type in generics (#24123)
|
vor 5 Monaten |
|
metagn
|
9dda7ff7bc
make sigmatch use prepareNode for tyFromExpr (#24095)
|
vor 5 Monaten |
|
metagn
|
24e5b21c90
fix regression with generic params in static type (#24075)
|
vor 5 Monaten |
|
metagn
|
a93c5d79b9
adapt generic default parameters to recent generics changes (#24065)
|
vor 5 Monaten |
|
metagn
|
1ebdcb3bca
fully disable static paramTypesMatch for tyFromExpr in generics (#24049)
|
vor 5 Monaten |
|
metagn
|
71de7fca9e
handle explicit generic routine instantiations in sigmatch (#24010)
|
vor 5 Monaten |
|
metagn
|
d3af51e3ce
remove fauxMatch for tyFromExpr, remove tyProxy and tyUnknown aliases (#24018)
|
vor 5 Monaten |
|
metagn
|
f09c549d42
make int literals with range type match their base type better than other int types (#24017)
|
vor 5 Monaten |
|
metagn
|
69ea1336fb
sem generic proc param types like generic types + static instantiation fixes (#24005)
|
vor 5 Monaten |
|
metagn
|
09dcff71c8
generate symchoice for ambiguous types in templates & generics + handle types in symchoices (#23997)
|
vor 5 Monaten |
|
metagn
|
446501b53b
fix error messages for wrongly typed generic param default values (#24006)
|
vor 5 Monaten |
|
metagn
|
ab18962085
sem all call nodes in generic type bodies + many required fixes (#23983)
|
vor 5 Monaten |
|
metagn
|
34719cad9d
allow `untyped` arguments to fail to compile in overload mismatch error (#23984)
|
vor 6 Monaten |
