summary refs log tree commit diff stats
path: root/lib/system/indices.nim
diff options
context:
space:
mode:
authorSirOlaf <34164198+SirOlaf@users.noreply.github.com>2023-08-03 22:49:52 +0200
committerGitHub <noreply@github.com>2023-08-03 22:49:52 +0200
commit8d8d75706cddc40ff00b163ebd9aa2728afdf7ef (patch)
treee275135fb6c8c2c65bf7a81a1a1b7522a46db6dd /lib/system/indices.nim
parent6b913b4741df8c80b2d930643f6dc01300fc1e1e (diff)
downloadNim-8d8d75706cddc40ff00b163ebd9aa2728afdf7ef.tar.gz
Add experimental inferGenericTypes switch (#22317)
* Infer generic bindings

* Simple test

* Add t

* Allow it to work for templates too

* Fix some builds by putting bindings in a template

* Fix builtins

* Slightly more exotic seq test

* Test value-based generics using array

* Pass expectedType into buildBindings

* Put buildBindings into a proc

* Manual entry

* Remove leftover `

* Improve language used in the manual

* Experimental flag and fix basic constructors

* Tiny commend cleanup

* Move to experimental manual

* Use 'kind' so tuples continue to fail like before

* Explicitly disallow tuples

* Table test and document tuples

* Test type reduction

* Disable inferGenericTypes check for CI tests

* Remove tuple info in manual

* Always reduce types. Testing CI

* Fixes

* Ignore tyGenericInst

* Prevent binding already bound generic params

* tyUncheckedArray

* Few more types

* Update manual and check for flag again

* Update tests/generics/treturn_inference.nim

* var candidate, remove flag check again for CI

* Enable check once more

---------

Co-authored-by: SirOlaf <>
Co-authored-by: Andreas Rumpf <rumpf_a@web.de>
Diffstat (limited to 'lib/system/indices.nim')
0 files changed, 0 insertions, 0 deletions