mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-02-18 17:08:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
24e5b21c900811ae8d0a69e06fc35fdd884b3ddc
Nim/compiler
History
metagn 24e5b21c90 fix regression with generic params in static type (#24075) 
Caught in https://github.com/metagn/applicates, I'm not sure which
commit causes this but it's also in the 2.0 branch (but not 2.0.2), so
it's not any recent PRs.

If a proc has a static parameter with type `static Foo[T]`, then another
parameter with type `static Bar[T, U]`, the generic instantiation for
`Bar` doesn't match `U` which has type `tyGenericParam`, but matches `T`
since it has type `tyTypeDesc`. The reason is that `concreteType`
returns the type itself for `tyTypeDesc` if `c.isNoCall` (i.e. matching
a generic invocation), but returns `nil` for `tyGenericParam`. I'm
guessing `tyGenericParam` is received here because of #22618, but that
doesn't explain why `T` is still `tyTypeDesc`. I'm not sure.

Regardless, we can just copy the behavior for `tyTypeDesc` to
`tyGenericParam` and also return the type itself when `c.isNoCall`. This
feels like it defeats the purpose of `concreteType` but the way it's
used doesn't make sense without it (generic param can't match another
generic param?). Alternatively we could loosen the `if concrete == nil:
return isNone` checks in some places for specific conditions, whether
`c.isNoCall` or `c.inGenericContext == 0` (though this would need
#24005).
2024-09-09 10:12:10 +02:00
..
ic
opensym as node kind + fixed experimental switch (#23892)
2024-08-12 15:33:26 +02: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
handle explicit generic routine instantiations in sigmatch (#24010)
2024-09-02 18:22:20 +02: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
ccgcalls.nim
fixes #23923; type-aliased seq[T] get different backend C/C++ pointer type names causing invalid codegen (#23924)
2024-08-28 20:59:25 +02:00
ccgexprs.nim
allow conversions between var types of range types and base types (#24037)
2024-09-03 09:18:38 +02: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
refactor: The popular 'r' field is now named 'snippet' (#23829)
2024-07-12 15:23:09 +02:00
ccgutils.nim
fixes #23354; [backport] (#23685)
2024-06-07 09:01:30 +02:00
cgen.nim
fixes #23897; Useless empty C files with arc/orc (#24064)
2024-09-05 20:44:00 +02:00
cgendata.nim
fixes push warnings for sempass2 (#23603)
2024-09-03 09:19:52 +02:00
cgmeth.nim
refactor: The popular 'r' field is now named 'snippet' (#23829)
2024-07-12 15:23:09 +02:00
closureiters.nim
Optimize closure iterator locals (#23787)
2024-07-03 22:49:30 +02: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
chore: fix some typos (#23412)
2024-03-16 08:35:18 +08:00
condsyms.nim
opensym as node kind + fixed experimental switch (#23892)
2024-08-12 15:33:26 +02: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
opensym as node kind + fixed experimental switch (#23892)
2024-08-12 15:33:26 +02: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
fixes addr/hiddenAddr in strictdefs (#23477)
2024-04-10 14:41:16 +02:00
evaltempl.nim
[backport] fixes #23711; C code contains backtick`gensym (#23716)
2024-06-19 08:33:38 +02:00
expanddefaults.nim
remove fauxMatch for tyFromExpr, remove tyProxy and tyUnknown aliases (#24018)
2024-08-28 20:46:36 +02:00
extccomp.nim
remove nir; succeeded by nif (#23809)
2024-07-09 09:29:45 +02: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
fixes yet another strictdefs bug (#23069)
2023-12-15 08:13:25 +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
fixes addr/hiddenAddr in strictdefs (#23477)
2024-04-10 14:41:16 +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
fixes cast expressions introduces unnecessary copies (#24004)
2024-08-23 20:07:00 +02: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 push warnings for sempass2 (#23603)
2024-09-03 09:19:52 +02:00
jstypes.nim
type refactoring: part 2 (#23059)
2023-12-13 10:29:58 +01:00
lambdalifting.nim
Optimize closure iterator locals (#23787)
2024-07-03 22:49:30 +02: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
remove fauxMatch for tyFromExpr, remove tyProxy and tyUnknown aliases (#24018)
2024-08-28 20:46:36 +02:00
liftlocals.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
lineinfos.nim
opensym for templates + move behavior of opensymchoice to itself (#24007)
2024-08-28 20:51:13 +02:00
linter.nim
use strictdefs for compiler (#22365)
2023-08-06 14:26:21 +02:00
llstream.nim
fixes nim secret not flushing stdout (#23862)
2024-07-20 05:40:38 +02:00
lookups.nim
show symchoices as ambiguous in overload type mismatches (#24077)
2024-09-09 09:50:45 +02:00
lowerings.nim
type refactoring: part 2 (#23059)
2023-12-13 10:29:58 +01:00
macrocacheimpl.nim
IC: next steps (#16632)
2021-01-12 09:36:51 +01:00
magicsys.nim
Types: Refactorings; step 1 (#23055)
2023-12-12 16:54:50 +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
consider ambiguity for qualified symbols (#23989)
2024-08-20 21:32:35 +02:00
modulepaths.nim
fixes #23167; take nkOpenSymChoice into consideration caused by templates [backport] (#23168)
2024-01-05 08:17:08 +01:00
modules.nim
compute checksum of nim files early in the pipelines (#23268)
2024-01-31 21:36:59 +01:00
msgs.nim
special handlings for nimble packages to shorten function names (#23891)
2024-08-11 10:10:28 +02:00
ndi.nim
refactor: The popular 'r' field is now named 'snippet' (#23829)
2024-07-12 15:23:09 +02:00
nilcheck.nim
fixes #22637; now --experimental:strictNotNil can be enabled globally (#23079)
2023-12-16 07:05:57 +01:00
nim.cfg
enable vtable implementation for C++ and make it an experimental feature (#23004)
2023-11-30 14:05:45 +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
Types: Refactorings; step 1 (#23055)
2023-12-12 16:54:50 +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
remove unused config field: keepComments (#24063)
2024-09-05 20:55:06 +02:00
packagehandling.nim
use strictdefs for compiler (#22365)
2023-08-06 14:26:21 +02:00
packages.nim
refactoring in preparation for better, simpler name mangling that wor… (#21667)
2023-04-24 06:52:37 +02: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
Adds support for custom ASTs in the Nim parser (#23417)
2024-03-18 20:27:00 +01:00
passaux.nim
test removing dollar for objects out of system (#20242)
2022-08-24 09:44:16 +02:00
passes.nim
IC: progress and refactorings (#22961)
2023-11-20 21:12:13 +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
remove nir; succeeded by nif (#23809)
2024-07-09 09:29:45 +02: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
fixes push warnings for sempass2 (#23603)
2024-09-03 09:19:52 +02: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
opensym as node kind + fixed experimental switch (#23892)
2024-08-12 15:33:26 +02: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
handle explicit generic routine instantiations in sigmatch (#24010)
2024-09-02 18:22:20 +02:00
semcall.nim
show symchoices as ambiguous in overload type mismatches (#24077)
2024-09-09 09:50:45 +02:00
semdata.nim
handle explicit generic routine instantiations in sigmatch (#24010)
2024-09-02 18:22:20 +02:00
semexprs.nim
fix CI, sem whole when stmts as generic stmt (#24072)
2024-09-08 22:50:30 +02:00
semfields.nim
fixes yet another strictdefs bug (#23069)
2023-12-15 08:13:25 +01:00
semfold.nim
fixes for 32bit system (#23980)
2024-08-19 20:58:44 +08:00
semgnrc.nim
fix undeclared identifier in templates in generics (#24069)
2024-09-06 11:16:43 +02:00
seminst.nim
adapt generic default parameters to recent generics changes (#24065)
2024-09-06 11:44:38 +02:00
semmacrosanity.nim
Set type of object constructor during annotateType (#23852)
2024-07-17 23:54:15 +02:00
semmagic.nim
fix subscript in generics, typeof, lent with bracket (#24067)
2024-09-08 22:49:27 +02:00
semobjconstr.nim
fixes #23494; Wrong type in object construction error message (#23504)
2024-04-16 12:46:59 +02:00
semparallel.nim
fixes yet another strictdefs bug (#23069)
2023-12-15 08:13:25 +01:00
sempass2.nim
fixes push warnings for sempass2 (#23603)
2024-09-03 09:19:52 +02:00
semstmts.nim
fix include in templates, with prefix operators (#24029)
2024-08-29 16:11:37 +02:00
semstrictfuncs.nim
alternative, much simpler algorithm for strict func checking (#21066)
2022-12-11 16:58:50 +01:00
semtempl.nim
opensym for templates + move behavior of opensymchoice to itself (#24007)
2024-08-28 20:51:13 +02:00
semtypes.nim
fix subscript in generics, typeof, lent with bracket (#24067)
2024-09-08 22:49:27 +02:00
semtypinst.nim
adapt generic default parameters to recent generics changes (#24065)
2024-09-06 11:44:38 +02:00
sighashes.nim
remove nontoplevel type hack + consider symbol disamb in type hash (#23969)
2024-08-16 06:33:43 +02:00
sigmatch.nim
fix regression with generic params in static type (#24075)
2024-09-09 10:12:10 +02:00
sinkparameter_inference.nim
IC: progress and refactorings (#22961)
2023-11-20 21:12:13 +01:00
sizealignoffsetimpl.nim
fixes #22553; regression of offsetof(T, anFieldOfUncheckedArray) (#24014)
2024-08-27 09:45:30 +02:00
sourcemap.nim
chore: fix some typos (#23412)
2024-03-16 08:35:18 +08:00
spawn.nim
fixes#23665; rework spawn with gcc 14 and fixes other tests (#23660)
2024-06-02 11:54:39 +02: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 #24033; Yielding from var fails with pairs and destructuring (#24046)
2024-09-02 18:12:48 +02:00
trees.nim
fixes #23295; don't expand constants for complex structures (#23297)
2024-02-20 07:31:58 +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
allow conversions between var types of range types and base types (#24037)
2024-09-03 09:18:38 +02: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
adapt generic default parameters to recent generics changes (#24065)
2024-09-06 11:44:38 +02:00
vmconv.nim
Types: Refactorings; step 1 (#23055)
2023-12-12 16:54:50 +01:00
vmdef.nim
fix getNullValue for cstring in VM, make other VM code aware of nil cstring (#22527)
2023-08-21 20:08:00 +02:00
vmdeps.nim
remove fauxMatch for tyFromExpr, remove tyProxy and tyUnknown aliases (#24018)
2024-08-28 20:46:36 +02:00
vmgen.nim
fixes #23925; VM generates wrong cast for negative enum values (#23951)
2024-08-27 14:03:56 +02: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
types refactoring; WIP (#23086)
2023-12-17 18:43:52 +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.