mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-04-06 07:38:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
b51be756136049ad0e401db64fcd9f470ab336ff
Nim/tests/generics
History
Tomohiro fb80f7707d fixes #16754 (#25519) 
This PR allows passing the defining type to generic types in the right
side in a type definition like this:
```nim
type
  Foo = object
    x: Option[Foo]
```
I think generic types should be instanciated after all given arguments
are semchecked,
because generic types can access information about them.
(for example, `Option[T]` in std/option checks if `T` is a pointer like
type)
But in this case, need to instanciate `Option[Foo]` before type of
`Foo.x` is determined.
2026-02-24 09:39:06 +01: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
make genericsOpenSym work at instantiation time, new behavior in openSym (#24111)
2024-09-18 19:27:09 +02:00
moverloading_typedesc.nim
fixes broken merge
2015-07-02 16:29:22 +02:00
mpragma1.nim
process non-language pragma nodes in generics (#24254)
2024-10-07 23:18:45 +02:00
mpragma2.nim
process non-language pragma nodes in generics (#24254)
2024-10-07 23:18:45 +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
give int literals matched type on generic match (#24234)
2024-10-07 11:40:44 +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
t22305.nim
fixes #22305; Combination of generic destructor and closure fails in certain cases (#25327)
2025-12-03 17:29:45 +01: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
adds some test cases (#24436)
2024-11-15 19:31:12 +08: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
tbadcache.nim
test case haul before 2.2 (#24119)
2024-09-17 09:50:10 +08: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
adds a test case (#24565)
2024-12-25 09:26:06 +01: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
tgenericbodyreturn1.nim
don't allow instantiations resolving to generic body types (#24273)
2024-10-10 15:35:51 +02:00
tgenericbodyreturn2.nim
don't allow instantiations resolving to generic body types (#24273)
2024-10-10 15:35:51 +02:00
tgenericbodyreturn3.nim
don't allow instantiations resolving to generic body types (#24273)
2024-10-10 15:35:51 +02: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
fixes #25005; new doesn't work with ref object (#25532)
2026-02-23 13:40:31 +01: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
test case haul before 2.2 (#24119)
2024-09-17 09:50:10 +08: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
make genericsOpenSym work at instantiation time, new behavior in openSym (#24111)
2024-09-18 19:27:09 +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
toptions.nim
don't warn/error symbols in semGenericStmt/templates (#24907)
2025-04-29 11:08:10 +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
better errors for standalone explicit generic instantiations (#24276)
2024-10-18 19:06:42 +02:00
tpragma.nim
process non-language pragma nodes in generics (#24254)
2024-10-07 23:18:45 +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
tself_type.nim
fixes #16754 (#25519)
2026-02-24 09:39:06 +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
ttemplateparamcall.nim
test case haul to prevent pileup (#24525)
2024-12-09 08:11:47 +01:00
tthread_generic.nim
fixes Thread initializer for ARC/ORC on Macos (#20368)
2022-09-16 16:35:53 -04:00
ttypeofstatic.nim
generate tyFromExpr for typeof static param with generic base type (#24745)
2025-03-05 13:47:56 +01:00
tuninstantiated_failure.nim
fixes #22753; Nimsuggest segfault with invalid assignment to table (#22781)
2023-10-02 14:45:04 -04:00
tuninstantiatedgenericcalls.nim
test case haul to prevent pileup (#24525)
2024-12-09 08:11:47 +01: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
tvoids.nim
fixes #25441; fixes #7355; deletes void args from the argument list (#25455)
2026-01-24 06:08:38 +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
twrongdotcallcrash.nim
loosen compiler assert for ident node in dotcall matching [backport:2.2] (#25003)
2025-06-16 19:22:23 +02:00