 narimiran
|
f7145dd26e
Revert "leave type section symbols unchanged on resem, fix overly general double semcheck for forward types (#24888)"
|
1 week ago |
 metagn
|
a19d06e1f7
generally disallow recursive structural types, check proc param types (#24893)
|
1 week ago |
|
metagn
|
cfe89097e7
leave type section symbols unchanged on resem, fix overly general double semcheck for forward types (#24888)
|
1 week ago |
|
metagn
|
94497c790b
allow setting arbitrary size for importc types (#24868)
|
2 weeks ago |
 ringabout
|
01389b5eb9
`conv` needs to be picky about aliases and introduces a temp for `addr conv` (#24818)
|
1 month ago |
 Ryan McConnell
|
82974d91ce
new-style concepts adjusments (#24697)
|
1 month ago |
|
ringabout
|
7f902217a1
fixes #24725; Invalid =sink generated for pure inheritable object (#24726)
|
2 months ago |
|
Ryan McConnell
|
43f7e160ba
couple cases of valid concept bindings (#24513)
|
4 months ago |
|
metagn
|
2b1885a0fa
remove structural equality check for objects and distinct types (#24448)
|
5 months ago |
|
metagn
|
9c87f2cb4b
always reinstantiate nominal values of generic instantiations (#24425)
|
5 months ago |
|
metagn
|
0036bb976b
fix subtype match of generic object types (#24430)
|
5 months ago |
|
metagn
|
f292393816
skip tyAlias in generic alias checks [backport:2.0] (#24417)
|
5 months ago |
|
metagn
|
52d94c1c86
include static types in type bound ops (#24366)
|
6 months ago |
|
metagn
|
ac8c44e08d
implement type bound operation RFC (#24315)
|
6 months ago |
|
ringabout
|
b3e02ef0c3
make `PNode.typ` a private field (#24326)
|
6 months ago |
|
metagn
|
b0e6d28782
fix logic for `dcEqIgnoreDistinct` in `sameType` (#24197)
|
7 months ago |
|
metagn
|
793cee4de1
treat generic body type as atomic in iterOverType (#24096)
|
7 months ago |
|
metagn
|
9dda7ff7bc
make sigmatch use prepareNode for tyFromExpr (#24095)
|
7 months ago |
 Nikolay Nikolov
|
09682ac7f1
+ show the effectsOf pragma (if present) of procs in nimsuggest hints… (#23305)
|
7 months ago |
|
metagn
|
538603e01d
allow conversions between `var` types of range types and base types (#24037)
|
8 months ago |
|
metagn
|
b7b1313d21
proper error message for out-of-range enum sets (#24027)
|
8 months ago |
|
ringabout
|
1244ffbf39
fixes #23923; type-aliased seq[T] get different backend C/C++ pointer type names causing invalid codegen (#23924)
|
8 months ago |
|
metagn
|
d3af51e3ce
remove fauxMatch for tyFromExpr, remove tyProxy and tyUnknown aliases (#24018)
|
8 months ago |
|
ringabout
|
7e88091de3
fixes #22553; regression of offsetof(T, anFieldOfUncheckedArray) (#24014)
|
8 months ago |
|
Ryan McConnell
|
27abcdd57f
fixes #23755; array static inference during overload resolution (#23760)
|
10 months ago |
 Andreas Rumpf
|
56c95758b2
fixes #23445; fixes #23418 [backport] (#23699)
|
10 months ago |
|
Nikolay Nikolov
|
c934d5986d
Converted the 'invalid kind for firstOrd/lastOrd(XXX)' messages from internal errors to fatal errors. (#23443)
|
1 year ago |
|
ringabout
|
720021908d
fixes #23233; Regression when using generic type with Table/OrderedTable (#23235)
|
1 year ago |
|
Nikolay Nikolov
|
18b5fb256d
+ show the inferred exception list (as part of the type) for functions that don't have an explicit `.raises` pragma (#23193)
|
1 year ago |
|
Andreas Rumpf
|
fe18ec5dc0
types refactoring; WIP (#23086)
|
1 year ago |
