metagn baec1955b5 don't instantiate generic body type symbols in generic expressions (#24092) ...

fixes #24090

Generic body types are normally a sign of an uninstantiated type, and so
give errors when trying to instantiate them. However when instantiating
free user expressions like the nodes of `tyFromExpr`, generic default
params, static values etc, they can be used as arguments to macros or
templates etc (as in the issue). So, we don't try to instantiate generic
body type symbols at all in free expressions such as these (but not in
for example type nodes), and avoid the error.

In the future there should be a "concrete type" check for generic body
types different from the check in type instantiation to deal with things
like #24091, if we do want to allow this use of them.

2024-09-10 12:19:39 +02:00

..

m3770.nim

fixes #20900; Calling template through from generic function across module fails to build (#21649)

2023-04-13 12:11:06 +02:00

m14509.nim

resolve local symbols in generic type call RHS (#22610)

2023-09-01 09:00:15 +02:00

m22373a.nim

block ambiguous type conversion dotcalls in generics (#22375)

2023-08-09 06:12:14 +02:00

m22373b.nim

block ambiguous type conversion dotcalls in generics (#22375)

2023-08-09 06:12:14 +02:00

mbind_bracket.nim

fixes #2599

2015-09-13 23:26:44 +02:00

mclosed_sym.nim

breaking change: symbol lookups in generics follows spec more closely; fixes #2664

2015-08-07 21:28:45 +02:00

mdotlookup.nim

when T is both a type symbol and a routine symbol in scope of a generic proc do not account for the type symbol when doing a.T() (#21899)

2023-05-24 20:39:40 +02:00

mfriends.nim

some test cleanups & category reorganization (#22010)

2023-06-06 06:54:07 +02:00

mmodule_same_as_proc.nim

fixes #1965

2015-08-10 01:31:42 +02:00

module_with_generics.nim

remove deprecated type pragma syntax, fix bugs that required it (#20199)

2022-09-03 09:52:13 +02:00

mopensymimport1.nim

opensym as node kind + fixed experimental switch (#23892)

2024-08-12 15:33:26 +02:00

mopensymimport2.nim

opensym as node kind + fixed experimental switch (#23892)

2024-08-12 15:33:26 +02:00

moverloading_typedesc.nim

fixes broken merge

2015-07-02 16:29:22 +02:00

mtypenodes.nim

implement semgnrc for tuple and object type nodes (#22709)

2023-09-16 09:16:12 +02:00

muninstantiatedgenericcalls.nim

fix scoping regression with calls in generic bodies (#22115)

2023-06-17 15:24:32 +08:00

t2tables.nim

make run the default action of a test in tester

2018-11-23 11:58:28 +01:00

t500.nim

add test case for #500 (#20661)

2022-10-26 19:45:51 +08:00

t1500.nim

fixes internal error: no generic body fixes #1500 (#22580)

2023-09-01 13:42:47 +02:00

t3770.nim

fixes #20900; Calling template through from generic function across module fails to build (#21649)

2023-04-13 12:11:06 +02:00

t4668.nim

add full tests from #9463 (#14975)

2020-07-14 11:24:17 +02:00

t5602_inheritence.nim

Bugfix: The compiler were not inserting proper downcasts for generic types

2018-05-07 09:37:49 +02:00

t5926.nim

add testcase for #5926 (#14965)

2020-07-11 17:09:41 +02:00

t6060.nim

add testcase for #6060 (#15366)

2020-09-21 13:37:14 +02:00

t6137.nim

delay resolved procvar check for proc params + acknowledge unresolved statics (#23188)

2024-01-11 07:45:11 +01:00

t6637.nim

fix #6637 array index type depends generic (#20673)

2022-10-27 12:22:04 +02:00

t7141.nim

require errormsg to be specified before file.

2018-12-11 21:23:21 +01:00

t7446.nim

fix #7446 Generics: type mismatch 'SomeunsignedInt or Natural' (#20522)

2022-10-11 11:42:49 +02:00

t7839.nim

add test case for #7839 (#22006)

2023-06-05 16:30:08 +08:00

t8270.nim

require errormsg to be specified before file.

2018-12-11 21:23:21 +01:00

t12938.nim

fix #12938 index type of array in type section without static (#20529)

2023-08-09 12:45:43 +02:00

t13525.nim

typo: nonexistant => nonexistent (#17918)

2021-05-02 00:26:41 +02:00

t14193.nim

fix #12938 index type of array in type section without static (#20529)

2023-08-09 12:45:43 +02:00

t14509.nim

resolve local symbols in generic type call RHS (#22610)

2023-09-01 09:00:15 +02:00

t17509.nim

Fix #17509: Continue instead of return with unfinished generics (#22563)

2023-09-07 05:46:45 +02:00

t18823.nim

fix #18823 Passing Natural to bitops.BitsRange[T] parameter in generi… (#20683)

2023-08-08 16:06:47 +08:00

t18859.nim

semtypinst: don't wrap type nodes from expressions in static[T] (#18860)

2021-09-17 06:51:26 +02:00

t19848.nim

include generic bodies in allowMetaTypes (#23968)

2024-08-20 16:20:35 +02:00

t20996.nim

fix #20996 (#21016)

2022-12-04 20:37:23 +01:00

t21742.nim

Fix #21742: Check generic alias depth before skip (#22443)

2023-09-08 06:50:39 +02:00

t21760.nim

Fix #21760 (#22422)

2023-08-10 07:56:09 +02:00

t21958.nim

Add anti-regression for #21958 (#21960)

2023-05-30 10:46:24 +08:00

t22373.nim

block ambiguous type conversion dotcalls in generics (#22375)

2023-08-09 06:12:14 +02:00

t22826.nim

Fix #22826: Don't skip generic instances in type comparison (#22828)

2023-10-21 22:00:16 +02:00

t23186.nim

delay resolved procvar check for proc params + acknowledge unresolved statics (#23188)

2024-01-11 07:45:11 +01:00

t23790.nim

fixes #23790; roll back instCounter properly in case of exceptions (#23802)

2024-07-06 22:50:46 +02:00

t23853.nim

fix generics treating symchoice symbols as uninstantiated (#23860)

2024-07-19 13:53:35 +02:00

t23854.nim

sem generic proc param types like generic types + static instantiation fixes (#24005)

2024-08-26 06:54:38 +02:00

t23855.nim

sem generic proc param types like generic types + static instantiation fixes (#24005)

2024-08-26 06:54:38 +02:00

taliashijack.nim

make all generic aliases tyAlias (#23978)

2024-08-20 11:41:50 +02:00

tarc_misc.nim

fixes #13519

2020-03-11 09:26:57 +01:00

tbaddeprecated.nim

consistent use of scForceOpen for generic dot field symbols (#21738)

2023-05-05 07:28:06 +02:00

tbadgenericlambda.nim

use 'using' instead of 'sig' keyword; cleans up new features a bit

2016-02-29 12:19:54 +01:00

tbindoncevsbindmany.nim

fix #5689

2017-04-15 02:53:28 +03:00

tbintree.nim

Clarify the sense in which Nim supports recursive iterators in the (#15834)

2020-11-04 16:56:22 +01:00

tbracketinstantiation.nim

generic issues test cases (#24028)

2024-08-30 16:12:38 +02:00

tcalltype.nim

sem all call nodes in generic type bodies + many required fixes (#23983)

2024-08-20 21:31:19 +02:00

tcan.nim

remove deprecated type pragma syntax, fix bugs that required it (#20199)

2022-09-03 09:52:13 +02:00

tcannot_pass_empty_seq_to_generic.nim

make more tests green

2018-02-10 20:55:22 +01:00

tconstraints.nim

some test cleanups & category reorganization (#22010)

2023-06-06 06:54:07 +02:00

tcritical.nim

fixes #3998

2016-03-28 02:26:38 +02:00

texplicitgeneric1.nim

Testament: refactoring; makes the test joiner green

2018-12-11 21:23:23 +01:00

texplicitgeneric2.nim

Reenable a few tests

2020-07-14 19:50:42 +02:00

tfakecovariance.nim

alternative fake covariance based on converters

2017-04-28 18:26:41 +03:00

tforwardgeneric.nim

Revert "printing float values will have one more digit. (#13276) [backport]" (#13363)

2020-02-08 09:30:24 +01:00

tforwardgenericconstrained.nim

Refactor json macro (#12391)

2019-10-17 09:55:41 +02:00

tfriends.nim

some test cleanups & category reorganization (#22010)

2023-06-06 06:54:07 +02:00

tgeneric0.nim

closes #21347; adds a test case (#23917)

2024-08-04 07:24:59 +08:00

tgeneric3.nim

less test time costs (#20479)

2022-10-02 06:42:41 +02:00

tgeneric_recursionlimit.nim

Fixes #20348; only respect the recursion limit if the symbol's generic type has been generated by the compiler (#20377)

2022-09-22 14:19:36 -04:00

tgenericdotrettype.nim

Working test cases for the sophisticated matrix library example from the manual

2017-03-24 16:59:47 +02:00

tgenericlambda.nim

use 'using' instead of 'sig' keyword; cleans up new features a bit

2016-02-29 12:19:54 +01:00

tgenericmatcher.nim

Merge tests into a larger file (part 3 of ∞: generics) (#9347)

2018-10-14 08:50:39 +02:00

tgenericprocvar.nim

Testament: refactoring; makes the test joiner green

2018-12-11 21:23:23 +01:00

tgenerics_issues.nim

Fix #20416. Enable the recursion limit for ref/ptr types. (#21092)

2022-12-13 22:57:07 +08:00

tgenerics_various.nim

fixes #9381; Fix double evaluation of types in generic objects (#23072)

2023-12-14 09:55:04 +01:00

tgenerictmpl2.nim

adopt tests

2018-11-08 22:28:29 +01:00

tgenericvariant.nim

megatest checks output and nimout

2018-12-11 21:23:22 +01:00

tgenericwhen.nim

check constant conditions in generic when in objects (#24042)

2024-09-02 18:11:59 +02:00

tgensyminst.nim

fix segfault with gensym node instantiation (#24050)

2024-09-03 05:45:08 +02:00

timpl_ast.nim

make getType nodes of generic insts have full inst type (#22655)

2023-09-07 05:30:37 +02:00

timplicit_and_explicit.nim

handle explicit generic routine instantiations in sigmatch (#24010)

2024-09-02 18:22:20 +02:00

timports.nim

implement semgnrc for tuple and object type nodes (#22709)

2023-09-16 09:16:12 +02:00

tinheritable_importcpp.nim

remove deprecated type pragma syntax, fix bugs that required it (#20199)

2022-09-03 09:52:13 +02:00

tlateboundgenericparams.nim

fix #6928; fix #7208

2018-06-16 16:46:32 +03:00

tlateboundstatic.nim

cleanup tests; don't use non-working 'msg' spec field

2018-11-23 13:16:45 +01:00

tmacroinjectedsym.nim

generic issues test cases (#24028)

2024-08-30 16:12:38 +02:00

tmacroinjectedsymwarning.nim

opensym for templates + move behavior of opensymchoice to itself (#24007)

2024-08-28 20:51:13 +02:00

tmapping_generic_alias.nim

Restore the Nim's 0.14 proper handling of generic aliases

2017-04-08 17:28:19 +03:00

tmetafield.nim

testament: error instead of silently overwrite a spec (#16166)

2020-11-29 10:42:50 -08:00

tnestedissues.nim

fix semFinishOperands for bracket expressions [backport:2.0] (#23571)

2024-05-08 09:35:26 -06:00

tnestedtemplate.nim

fix undeclared identifier in templates in generics (#24069)

2024-09-06 11:16:43 +02:00

tnullary_generics.nim

semLambda removed, semProcAux reworked (#17379)

2021-03-17 19:51:50 +01:00

tobjecttyperel2.nim

attempt to fix #5621 #5615 generic ref object typeRel (#5633)

2017-03-31 21:58:09 +02:00

tobjecttyperel.nim

enable vtable implementation for C++ and make it an experimental feature (#23004)

2023-11-30 14:05:45 +01:00

topensymimport.nim

opensym as node kind + fixed experimental switch (#23892)

2024-08-12 15:33:26 +02:00

toverloading_typedesc.nim

some test cleanups & category reorganization (#22010)

2023-06-06 06:54:07 +02:00

tparam_binding.nim

defaults to ORC (#19972)

2022-09-23 13:05:05 +02:00

tparser_generator.nim

use doAssert in tests (#16486)

2020-12-28 14:13:21 +01:00

tpointerprocs.nim

Generic pointer procs now error if no types supplied (#18832)

2021-09-11 22:20:22 +02:00

tprevent_double_bind.nim

'lock levels' are deprecated, now a noop (#20539)

2022-10-11 09:17:09 +02:00

trecursivegenerics.nim

Alternative to #18928 (#18931)

2021-09-30 16:55:43 +02:00

treentranttypes.nim

test case haul for old generic/template/macro issues (#22564)

2023-08-27 11:27:47 +02:00

treturn_inference.nim

fixes #22971; inferGenericTypes does not work with method call syntax (#22972)

2023-11-22 07:50:38 +01:00

tstatic_constrained.nim

remove fauxMatch for tyFromExpr, remove tyProxy and tyUnknown aliases (#24018)

2024-08-28 20:46:36 +02:00

tsubclassgenericerror.nim

Fix for issue #10342. better message for generic subclass instantiation (#10354)

2019-01-22 17:05:26 -08:00

tthread_generic.nim

fixes Thread initializer for ARC/ORC on Macos (#20368)

2022-09-16 16:35:53 -04:00

tuninstantiated_failure.nim

fixes #22753; Nimsuggest segfault with invalid assignment to table (#22781)

2023-10-02 14:45:04 -04:00

tuninstantiatedgenericcalls.nim

don't instantiate generic body type symbols in generic expressions (#24092)

2024-09-10 12:19:39 +02:00

tunique_type.nim

Merge tests into a larger file (part 5 of ∞) (#9368)

2018-10-16 10:50:10 +02:00

tvarseq_caching.nim

fixes #3476

2015-10-27 08:37:56 +01:00

twrong_field_caching.nim

tests: Trim .nim files trailing whitespace

2015-09-04 23:04:32 +02:00

twrong_floatlit_type.nim

lots of small changes

2018-12-11 21:23:22 +01:00

twrong_generic_object.nim

fixes #3011; handles meta fields defined in the ref object (#23818)

2024-07-11 15:39:44 +02:00