mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-01-08 14:03:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
09dcff71c82147b28059c6470bd921afab9c825e
Nim/compiler
History
metagn 09dcff71c8 generate symchoice for ambiguous types in templates & generics + handle types in symchoices (#23997) 
fixes #23898, supersedes #23966 and #23990

Since #20631 ambiguous type symbols in templates are rejected outright,
now we generate a symchoice for type nodes if they're ambiguous, a
generalization of what was done in #22375. This is done for generics as
well. Symchoices also handle type symbols better now, ensuring their
type is a `typedesc` type; this probably isn't necessary for everything
to work but it makes the logic more robust.

Similar to #23989, we have to prepare for the fact that ambiguous type
symbols behave differently than normal type symbols and either error
normally or relegate to other routine symbols if the symbol is being
called. Generating a symchoice emulates this behavior, `semExpr` will
find the type symbol first, but since the symchoice has other symbols,
it will count as an ambiguous type symbol.

I know it seems spammy to carry around an ambiguity flag everywhere, but
in the future when we have something like #23104 we could just always
generate a symchoice, and the symchoice itself would carry the info of
whether the first symbol was ambiguous. But this could harm compiler
performance/memory use, it might be better to generate it only when we
have to, which in the case of type symbols is only when they're
ambiguous.
2024-08-25 22:24:20 +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
sem all call nodes in generic type bodies + many required fixes (#23983)
2024-08-20 21:31:19 +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
backendpragmas.nim
fixes #19795; fixes #11852; fixes #19974; remove parsing pipeline, Nim now parses the whole module at one time (#21379)
2023-02-22 20:34:20 +01: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 #23858; 2.2.0 rc1 regression with cdecl functions (#23859)
2024-07-18 20:53:07 +02:00
ccgexprs.nim
fixes #23894; succ/pred shouldn't raise OverflowDefect for unsigned integers (#23895)
2024-07-26 14:50:59 +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
refactor: The popular 'r' field is now named 'snippet' (#23829)
2024-07-12 15:23:09 +02:00
ccgstmts.nim
refactor: The popular 'r' field is now named 'snippet' (#23829)
2024-07-12 15:23:09 +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 #23962 resetLocdoenst produce any cgen code in importcpp types (#23964)
2024-08-18 13:21:17 +02:00
cgendata.nim
chore: fix some typos (#23412)
2024-03-16 08:35:18 +08: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
type refactor: part 4 (#23077)
2023-12-15 10:20:57 +01: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 jsbigint64 regression; keeps convs to Number in danger mode (#23926)
2024-08-11 17:31:17 +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
[backport] fixes #23690; SIGSEGV with object variants and RTTI (#23703)
2024-06-11 05:55:08 +02:00
liftlocals.nim
prepare for the enforcement of std prefix (#22873)
2023-10-29 14:48:11 +01:00
lineinfos.nim
#Fixes #23657 C++ compilation fails with: 'T1_' was not declared in t… (#23666)
2024-06-02 15:15:03 +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
consider ambiguity for qualified symbols (#23989)
2024-08-20 21:32:35 +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
opensym as node kind + fixed experimental switch (#23892)
2024-08-12 15:33:26 +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
fixes #19171; have openArray converted from ptr UncheckedArray be mutable (#23882)
2024-07-24 08:13:55 +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
refactor: The popular 'r' field is now named 'snippet' (#23829)
2024-07-12 15:23:09 +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
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 addr/hiddenAddr in strictdefs (#23477)
2024-04-10 14:41:16 +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
don't require symbol with enum type to be constant in fitNode (#23999)
2024-08-22 07:19:43 +02:00
semcall.nim
fix error messages for wrongly typed generic param default values (#24006)
2024-08-23 18:01:43 +02:00
semdata.nim
allow generic compileTime proc folding (#22022)
2024-08-18 00:52:32 +02:00
semexprs.nim
generate symchoice for ambiguous types in templates & generics + handle types in symchoices (#23997)
2024-08-25 22:24:20 +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
generate symchoice for ambiguous types in templates & generics + handle types in symchoices (#23997)
2024-08-25 22:24:20 +02:00
seminst.nim
fix error messages for wrongly typed generic param default values (#24006)
2024-08-23 18:01:43 +02:00
semmacrosanity.nim
Set type of object constructor during annotateType (#23852)
2024-07-17 23:54:15 +02:00
semmagic.nim
allow generic compileTime proc folding (#22022)
2024-08-18 00:52:32 +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 addr/hiddenAddr in strictdefs (#23477)
2024-04-10 14:41:16 +02:00
semstmts.nim
fixes #23943; simple default value for range (#23996)
2024-08-22 07:20:00 +02:00
semstrictfuncs.nim
alternative, much simpler algorithm for strict func checking (#21066)
2022-12-11 16:58:50 +01:00
semtempl.nim
generate symchoice for ambiguous types in templates & generics + handle types in symchoices (#23997)
2024-08-25 22:24:20 +02:00
semtypes.nim
sem all call nodes in generic type bodies + many required fixes (#23983)
2024-08-20 21:31:19 +02:00
semtypinst.nim
sem all call nodes in generic type bodies + many required fixes (#23983)
2024-08-20 21:31:19 +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
generate symchoice for ambiguous types in templates & generics + handle types in symchoices (#23997)
2024-08-25 22:24:20 +02:00
sinkparameter_inference.nim
IC: progress and refactorings (#22961)
2023-11-20 21:12:13 +01:00
sizealignoffsetimpl.nim
type graph refactor; part 3 (#23064)
2023-12-14 16:25:34 +01: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 #23454; IndexDefect thrown when destructuring a lent tuple (#23993)
2024-08-22 07:21:13 +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
fixes #23419; internal error with void in generic array instantiation (#23550)
2024-05-01 09:02:43 +02:00
types.nim
fixes #23755; array static inference during overload resolution (#23760)
2024-07-01 14:39:16 +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
fixes #23936; opcParseFloat accepts the wrong register as the first param [backport] (#23941)
2024-08-12 14:43:13 +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
type refactor: part 4 (#23077)
2023-12-15 10:20:57 +01:00
vmgen.nim
fixes #23947; .uint8 compile-time error (#23948)
2024-08-13 14:02:52 +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.