mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2025-12-28 17:04:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
pr_copy_23610
Nim/tests/generics
History
metagn 128090c593 ignore uninstantiated static on match to base type [backport:2.0] (#23731) 
fixes #23730

Since #23188 the compiler errors when matching a type variable to an
uninstantiated static value. However sometimes an uninstantiated static
value is given even when only a type match is being performed to the
base type of the static type, in the given issue this case is:

```nim
proc foo[T: SomeInteger](x: T): int = int(x)
proc bar(x: static int): array[foo(x), int] = discard
discard bar(123)
```

To deal with this issue we only error when matching against a type
variable constrained to `static`.

Not sure if the `q.typ.kind == tyGenericParam and
q.typ.genericConstraint == tyStatic` check is necessary, the code above
for deciding whether the variable becomes `skConst` doesn't use it.
2024-06-18 06:54:12 +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
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
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
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
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
fixes #23233; Regression when using generic type with Table/OrderedTable (#23235)
2024-01-19 20:37:16 +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
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
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
delay resolved procvar check for proc params + acknowledge unresolved statics (#23188)
2024-01-11 07:45:11 +01: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
add switch, warning, and bind support for new generic injection behavior (#23102)
2023-12-22 08:49:51 +01:00
tmacroinjectedsymwarning.nim
add switch, warning, and bind support for new generic injection behavior (#23102)
2023-12-22 08:49:51 +01: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
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
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
Fixed concept constraints for static types (#19391)
2022-01-15 09:24:23 +01: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
ignore uninstantiated static on match to base type [backport:2.0] (#23731)
2024-06-18 06:54:12 +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_explicit_typeargs.nim
make tests green again
2016-08-01 12:02:05 +02: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
Fix for issue #10342. better message for generic subclass instantiation (#10354)
2019-01-22 17:05:26 -08:00