mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2025-12-29 01:14:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
6ec663f7bcb738a4fc595edee59cd5e923f355e8
Nim/compiler
History
metagn 6ec663f7bc fix standalone explicit generic procs with unresolved arguments (#24404) 
fixes issue described in https://forum.nim-lang.org/t/12579

In #24065 explicit generic parameter matching was made to fail matches
on arguments with unresolved types in generic contexts (the sigmatch
diff, following #24010), similar to what is done for regular calls since
#22029. However unlike regular calls, a failed match in a generic
context for a standalone explicit generic instantiation did not convert
the expression into one with `tyFromExpr` type, which means it would
error immediately given any unresolved parameter. This is now done to
fix the issue.

For explicit generic instantiations on single non-overloaded symbols, a
successful match is still instantiated. For multiple overloads (i.e.
symchoice), if any of the overloads fail the match, the entire
expression is considered untyped and any instantiations are not used, so
as to not void overloads that would match later. This means even
symchoices without unresolved arguments aren't instantiated, which may
be too restrictive, but it could also be too lenient and we might need
to make symchoice instantiations always untyped. The behavior for
symchoice is not sound anyway given it causes #9997 so this is something
to consider for a redesign.

Diff follows #24276.

(cherry picked from commit 67ad1ae159)
2025-01-14 09:04:44 +01:00
..
ic
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
plugins
Adds support for custom ASTs in the Nim parser (#23417)
2024-03-18 20:27:00 +01:00
aliasanalysis.nim
use strictdefs for compiler (#22365)
2023-08-06 14:26:21 +02:00
aliases.nim
type refactor: part 4 (#23077)
2023-12-15 10:20:57 +01:00
ast.nim
fixes #24378; supportsCopyMem can fail from macro context with tuples (#24383)
2025-01-14 07:52:42 +01:00
astalgo.nim
fixes addr/hiddenAddr in strictdefs (#23477)
2024-04-10 14:41:16 +02:00
astmsgs.nim
fixes #23494; Wrong type in object construction error message (#23504)
2024-04-16 12:46:59 +02:00
astyaml.nim
refactor: The popular 'r' field is now named 'snippet' (#23829)
2024-07-12 15:23:09 +02:00
bitsets.nim
NIR: Nim intermediate representation (#22777)
2023-10-11 17:44:14 +02:00
btrees.nim
use strictdefs for compiler (#22365)
2023-08-06 14:26:21 +02:00
cbuilder.nim
use cbuilder for tuple/object generation (#24145)
2024-09-27 11:12:39 +02:00
ccgcalls.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
ccgexprs.nim
fixes #18081; fixes #18079; fixes #18080; nested ref/deref'd types (#24335)
2025-01-14 07:50:41 +01:00
ccgliterals.nim
store full definition AST for consts, fix noRewrite (#20115)
2022-09-28 15:05:01 +02:00
ccgmerge_unused.nim
removed unused sections in codegen (#20976)
2022-11-30 21:51:13 +01:00
ccgreset.nim
remove fauxMatch for tyFromExpr, remove tyProxy and tyUnknown aliases (#24018)
2024-08-28 20:46:36 +02:00
ccgstmts.nim
fixes push warnings for sempass2 (#23603)
2024-09-03 09:19:52 +02:00
ccgthreadvars.nim
refactor: The popular 'r' field is now named 'snippet' (#23829)
2024-07-12 15:23:09 +02:00
ccgtrav.nim
refactor: The popular 'r' field is now named 'snippet' (#23829)
2024-07-12 15:23:09 +02:00
ccgtypes.nim
fixes #24395; remove ndi (#24396)
2025-01-14 07:53:29 +01:00
ccgutils.nim
fixes #23354; [backport] (#23685)
2024-06-07 09:01:30 +02:00
cgen.nim
fixes #24395; remove ndi (#24396)
2025-01-14 07:53:29 +01:00
cgendata.nim
fixes #24395; remove ndi (#24396)
2025-01-14 07:53:29 +01:00
cgmeth.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
closureiters.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
cmdlinehelper.nim
fixes #23429; rework --verbosity with warnings/hints (#23441)
2024-03-28 11:04:12 +01:00
commands.nim
Implemented compileOption for experimental to test if a feature i… (#23933)
2024-08-12 15:18:56 +02:00
compiler.nimble
Create compiler and nimsuggest packages (#22118)
2023-06-18 16:06:14 +02:00
concepts.nim
refactor to make sigmatch use LayeredIdTable for bindings (#24216)
2025-01-14 07:31:33 +01:00
condsyms.nim
symmetric difference operation for sets via xor (#24286)
2025-01-14 07:47:13 +01:00
debuginfo.nim
happy new year
2017-01-07 22:35:09 +01:00
debugutils.nim
Extend and document compiler debugging utilities (#19841)
2022-06-10 20:40:08 +02:00
depends.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
dfa.nim
updated compiler DFA docs (#23527)
2024-04-22 13:04:30 +02:00
docgen2.nim
use strictdefs for compiler (#22365)
2023-08-06 14:26:21 +02:00
docgen.nim
Fix quoted idents in ctags (#24317)
2025-01-14 07:47:19 +01:00
enumtostr.nim
types refactoring; WIP (#23086)
2023-12-17 18:43:52 +01:00
errorhandling.nim
IC: progress and refactorings (#22961)
2023-11-20 21:12:13 +01:00
evalffi.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
evaltempl.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
expanddefaults.nim
remove fauxMatch for tyFromExpr, remove tyProxy and tyUnknown aliases (#24018)
2024-08-28 20:46:36 +02:00
extccomp.nim
use /link before each library linker option on MSVC (#24291)
2025-01-14 07:35:19 +01:00
filter_tmpl.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
filters.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
gorgeimpl.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
guards.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
hlo.nim
Fix #22604: Make endsInNoReturn traverse the tree (#22612)
2023-09-01 06:41:39 +02:00
idents.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
importer.nim
Fix line info used for UnunsedImport from subdirectories (#24158)
2024-09-23 10:14:26 +02:00
index.nim
walkDirRecFilter, update doc CI filter, compiler/index.nim for docs + various other fixes (#14501)
2020-06-01 19:21:41 +02:00
injectdestructors.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
installer.ini
Add linux/loongarch64 support in 'compiler/installer.ini' (#23672)
2024-06-04 09:50:35 +02:00
int128.nim
fixes yet another strictdefs bug (#23069)
2023-12-15 08:13:25 +01:00
isolation_check.nim
type graph refactor; part 3 (#23064)
2023-12-14 16:25:34 +01:00
jsgen.nim
fixes #18081; fixes #18079; fixes #18080; nested ref/deref'd types (#24335)
2025-01-14 07:50:41 +01:00
jstypes.nim
type refactoring: part 2 (#23059)
2023-12-13 10:29:58 +01:00
lambdalifting.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
layeredtable.nim
refactor to make sigmatch use LayeredIdTable for bindings (#24216)
2025-01-14 07:31:33 +01:00
layouter.nim
nimpretty: check the rendered AST for wrong output (#23057)
2023-12-13 10:39:10 +01:00
lexer.nim
fixes yet another strictdefs bug (#23069)
2023-12-15 08:13:25 +01:00
liftdestructors.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
liftlocals.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
lineinfos.nim
stricter set type match, implicit conversion for literals (#24176)
2025-01-14 07:30:25 +01:00
linter.nim
make linter use lineinfo to check originating package (#24270)
2025-01-14 07:34:32 +01:00
llstream.nim
fixes nim secret not flushing stdout (#23862)
2024-07-20 05:40:38 +02:00
lookups.nim
treat resolved symbols on RHS of module qualification as identifiers (#24180)
2024-09-27 09:34:13 +02:00
lowerings.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
macrocacheimpl.nim
IC: next steps (#16632)
2021-01-12 09:36:51 +01:00
magicsys.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
main.nim
remove nir; succeeded by nif (#23809)
2024-07-09 09:29:45 +02:00
mangleutils.nim
apply the new mangle algorithm to JS backend for parameters and procs (#23476)
2024-04-05 08:54:48 +02:00
modulegraphs.nim
modulegraphs: added a flag useful for gear2 (#24293)
2025-01-14 07:35:36 +01:00
modulepaths.nim
fixes #23167; take nkOpenSymChoice into consideration caused by templates [backport] (#23168)
2024-01-05 08:17:08 +01:00
modules.nim
adds a getter/setter for owner (#24318)
2025-01-14 07:45:59 +01:00
msgs.nim
Fixes #23624 "nim check crash" (#23625)
2024-09-16 20:45:00 +02:00
nilcheck.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
nim.cfg
-d:nimPreviewFloatRoundtrip becomes the default (#24217)
2025-01-14 07:31:27 +01:00
nim.nim
fixes #23848; The comand nim gendepend defaults to ORC (#23851)
2024-07-17 18:25:19 +02:00
nimblecmd.nim
fixes yet another strictdefs bug (#23069)
2023-12-15 08:13:25 +01:00
nimconf.nim
fixes yet another strictdefs bug (#23069)
2023-12-15 08:13:25 +01:00
nimeval.nim
fixes addr/hiddenAddr in strictdefs (#23477)
2024-04-10 14:41:16 +02:00
nimlexbase.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
nimpaths.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
nimsets.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
nodejs.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
nodekinds.nim
opensym as node kind + fixed experimental switch (#23892)
2024-08-12 15:33:26 +02:00
nversion.nim
warn on set types bigger than max size, default to 0..255 for int literals (#21659)
2023-04-17 20:55:22 +02:00
optimizer.nim
fixes addr/hiddenAddr in strictdefs (#23477)
2024-04-10 14:41:16 +02:00
options.nim
implement type bound operation RFC (#24315)
2025-01-14 07:50:04 +01:00
packagehandling.nim
use strictdefs for compiler (#22365)
2023-08-06 14:26:21 +02:00
packages.nim
make linter use lineinfo to check originating package (#24270)
2025-01-14 07:34:32 +01:00
parampatterns.nim
allow conversions between var types of range types and base types (#24037)
2024-09-03 09:18:38 +02:00
parser.nim
require not nil to be on the same line after a type (#24134)
2024-09-18 22:45:19 +02:00
passaux.nim
test removing dollar for objects out of system (#20242)
2022-08-24 09:44:16 +02:00
passes.nim
improve passes.nim (#24376)
2025-01-14 07:51:55 +01:00
pathutils.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
patterns.nim
types refactoring; WIP (#23086)
2023-12-17 18:43:52 +01:00
pipelines.nim
exports more helpers that are needed by nif-gear2 (#24247)
2025-01-14 07:31:51 +01:00
pipelineutils.nim
replaces implicit passes array registed at runtime with explicit function calls; simplify compilation pipeline (#21444)
2023-03-03 07:36:38 +01:00
platform.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
pluginsupport.nim
refactoring: fewer global variables
2018-05-27 19:19:12 +02:00
pragmas.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
prefixmatches.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
procfind.nim
fixes addr/hiddenAddr in strictdefs (#23477)
2024-04-10 14:41:16 +02:00
pushpoppragmas.nim
fixes push warnings for sempass2 (#23603)
2024-09-03 09:19:52 +02:00
readme.md
clean up the documentation (#22196)
2023-07-02 22:36:05 +02:00
renderer.nim
fixes #24258; compiler crash on len of varargs[untyped] (#24307)
2025-01-14 07:39:32 +01:00
renderverbatim.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
reorder.nim
fixes #24053; fixes #18288; relax reorder with push/pop pragmas restrictions; no crossing push/pop barriers (#24061)
2024-09-06 11:26:24 +02:00
rodutils.nim
NIR: C codegen additions (#22914)
2023-11-06 18:33:28 +01:00
ropes.nim
replaces doAssert false with raiseAssert for unreachable branches, which works better with strictdefs (#22436)
2023-08-10 14:26:40 +02:00
saturate.nim
fix warnings for deprecated low and high (#15291)
2020-09-11 01:04:07 +02:00
scriptconfig.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
sem.nim
implement generic default values for object fields (#24384)
2025-01-14 07:52:18 +01:00
semcall.nim
fix standalone explicit generic procs with unresolved arguments (#24404)
2025-01-14 09:04:44 +01:00
semdata.nim
implement generic default values for object fields (#24384)
2025-01-14 07:52:18 +01:00
semexprs.nim
fix standalone explicit generic procs with unresolved arguments (#24404)
2025-01-14 09:04:44 +01:00
semfields.nim
wrap fields iterations in if true scope [backport] (#24343)
2025-01-14 07:48:01 +01:00
semfold.nim
symmetric difference operation for sets via xor (#24286)
2025-01-14 07:47:13 +01:00
semgnrc.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
seminst.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
semmacrosanity.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
semmagic.nim
deprecate NewFinalize with the ref T finalizer (#24354)
2025-01-14 07:50:33 +01:00
semobjconstr.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
semparallel.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
sempass2.nim
fixes strictdefs with when nimvm (#24409)
2025-01-14 09:04:35 +01:00
semstmts.nim
deprecate NewFinalize with the ref T finalizer (#24354)
2025-01-14 07:50:33 +01:00
semstrictfuncs.nim
alternative, much simpler algorithm for strict func checking (#21066)
2022-12-11 16:58:50 +01:00
semtempl.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
semtypes.nim
implement generic default values for object fields (#24384)
2025-01-14 07:52:18 +01:00
semtypinst.nim
implement generic default values for object fields (#24384)
2025-01-14 07:52:18 +01:00
sighashes.nim
remove nontoplevel type hack + consider symbol disamb in type hash (#23969)
2024-08-16 06:33:43 +02:00
sigmatch.nim
implement type bound operation RFC (#24315)
2025-01-14 07:50:04 +01:00
sinkparameter_inference.nim
IC: progress and refactorings (#22961)
2023-11-20 21:12:13 +01:00
sizealignoffsetimpl.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
sourcemap.nim
chore: fix some typos (#23412)
2024-03-16 08:35:18 +08:00
spawn.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
suggest.nim
fixes #22409; don't check style for enumFieldSymChoice in the function (#23580)
2024-05-08 09:10:48 -06:00
suggestsymdb.nim
+ added nimsuggest support for exception inlay hints (#23202)
2024-03-15 18:20:10 +01:00
syntaxes.nim
fixes addr/hiddenAddr in strictdefs (#23477)
2024-04-10 14:41:16 +02:00
tccgen.nim
replaces doAssert false with raiseAssert for unreachable branches, which works better with strictdefs (#22436)
2023-08-10 14:26:40 +02:00
transf.nim
fixes #18081; fixes #18079; fixes #18080; nested ref/deref'd types (#24335)
2025-01-14 07:50:41 +01:00
trees.nim
process non-language pragma nodes in templates (#24183)
2025-01-14 07:32:12 +01:00
treetab.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
typeallowed.nim
remove fauxMatch for tyFromExpr, remove tyProxy and tyUnknown aliases (#24018)
2024-08-28 20:46:36 +02:00
types.nim
include static types in type bound ops (#24366)
2025-01-14 07:51:38 +01:00
typesrenderer.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
varpartitions.nim
fixes #23973; fixes #23974; Memory corruption with lent and ORC (#23981)
2024-08-20 11:57:47 +02:00
vm.nim
symmetric difference operation for sets via xor (#24286)
2025-01-14 07:47:13 +01:00
vmconv.nim
Types: Refactorings; step 1 (#23055)
2023-12-12 16:54:50 +01:00
vmdef.nim
symmetric difference operation for sets via xor (#24286)
2025-01-14 07:47:13 +01:00
vmdeps.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
vmgen.nim
don't cascade vmgen errors in nim check without error outputs (#24365)
2025-01-14 07:51:32 +01:00
vmhooks.nim
replaces doAssert false with raiseAssert for unreachable branches, which works better with strictdefs (#22436)
2023-08-10 14:26:40 +02:00
vmmarshal.nim
fixes addr/hiddenAddr in strictdefs (#23477)
2024-04-10 14:41:16 +02:00
vmops.nim
fixes #23932; vmopsDanger for os.getCurrentDir errors (#23934)
2024-08-11 16:13:26 +02:00
vmprofiler.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
vtables.nim
make PNode.typ a private field (#24326)
2025-01-14 07:46:40 +01:00
wordrecg.nim
Asm syntax pragma (#23119)
2023-12-25 07:12:54 +01:00

readme.md

Nim Compiler

  • This directory contains the Nim compiler written in Nim.
  • Note that this code has been translated from a bootstrapping version written in Pascal.
  • So the code is not a poster child of good Nim code.

See Internals of the Nim Compiler for more information.