summary refs log tree commit diff stats
path: root/compiler/semtypinst.nim
Commit message (Collapse)AuthorAgeFilesLines
* fixes #7258 (#12054)Andreas Rumpf2019-08-261-1/+25
|
* fixes tcompiletimerange [bugfix] (#11720)Andreas Rumpf2019-07-121-0/+20
|
* styleCheck: make the compiler and large parts of the stdlib compatible with ↵Araq2019-07-101-1/+1
| | | | --styleCheck:error
* fixes #11660 (#11677)Andreas Rumpf2019-07-071-1/+4
|
* fixes #7816 (#11261)Andreas Rumpf2019-05-151-0/+1
|
* Merge pull request #11201 from nim-lang/araq-fixes-11200Andreas Rumpf2019-05-081-1/+1
|\ | | | | fixes 11200
| * fixes #11200Araq2019-05-081-1/+1
| |
* | Replace countup(x, y-1) with x ..< yClyybber2019-05-071-7/+7
|/
* Fix 105, few fixes for 101 (#11148)genotrance2019-05-041-2/+4
|
* destructors: internal compiler refactoringAraq2019-04-181-13/+12
|
* more destructor based changes (#10885)Andreas Rumpf2019-03-231-2/+2
| | | | | | | | | | | * mark user defined destructors with sfOverriden to simplify the logic * refactoring in preparation to merge liftings and generic instantiations for destructors * ast: introduce nkHiddenTryStmt for destructor generation in order to be able to optimize better the code later on * renamed 'patterns' switch to 'trmacros' as it was totally misleading before * destructors: introduce tfCheckedForDestructor flag in preparation of strict =destroy checking * test for invalid/too late destructor introductions * liftdestructors: make code robust for nimsuggest * --newruntime works for hello world again * newruntime: code generation for closures
* fixes #10884 (#10887)Andreas Rumpf2019-03-221-1/+1
|
* Size ptr tuple (#10846)Arne Döring2019-03-181-2/+1
| | | | | | * fixes #10117 * Add support for recursive tuples * detect in generics
* --newruntime: work in progressAndreas Rumpf2019-03-141-1/+1
|
* introduce tfHasOwned for fast must-move checkings; removed tfAcyclic as the ↵Andreas Rumpf2019-03-051-5/+1
| | | | GC has ignored this hint for quite some time now
* gc:destructors: progressAndreas Rumpf2019-02-281-0/+16
|
* first steps in implementing 'owned' pointers; undocumented, do not useAndreas Rumpf2019-02-231-1/+1
|
* Propagate tfGcSafe flag to generic instantiations (#10620)LemonBoy2019-02-131-3/+2
| | | Fixes a nasty endless loop in the generic instantiation phase.
* gc: destructors is beginning to work (#10483)Andreas Rumpf2019-01-291-13/+24
| | | | | | | | | | | | | | | | * kochdocs.nim: code cleanup * docgen: nicer indentation * parser.nim: code cleanup * fixes #10458 * make tests green again * make =destroy mixins * gc:destructors: produced C code is almost working * --gc:destructors simple program compiles (but leaks memory) * gc:destructors make examples compile in C++ mode * destructors: string implementation bugfixes * strs.nim: minor code cleanup * destructors: builtin seqs are beginning to work * remove debugging helpers
* Fix for issue #10342. better message for generic subclass instantiation (#10354)Ray Imber2019-01-221-1/+14
| | | * Fix for issue #10342. better message for generic subclass instantiation errors.
* Merge pull request #8748 from LemonBoy/when-in-objectsAndreas Rumpf2018-12-121-0/+40
|\ | | | | Pervasive replacement of nkRecWhen in generic types
| * Pervasive replacement of nkRecWhen in generic typesLemonBoy2018-10-191-0/+40
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Long story short, even if the type contains no reference at all to its generic parameters we still have to walk its AST and evaluate any nkRecWhen nodes that semRecordNodeAux skipped due to the type being a generic one. We also must be careful to modify the type `n` node in place since it may be referenced by the caller as seen in the tillegaltyperecursion test. Moreover we also can't have the nkSym drift away from their original values in order not to break the JS nkObjConstr codegen.
* | IC: further progressAraq2018-12-011-1/+1
| |
* | language cleanup: the .unchecked pragma is deadAraq2018-11-061-5/+0
| |
* | Change the order of compilation passes, transformation is made lazy at code ↵cooldome2018-10-181-0/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | gen (#8489) * Ast no transformation * Add getImplNoTransform to the macros module * progress on delaying transf * Fix methods tranformation * Fix lazy lambdalifting * fix create thread wrapper * transform for lambda lifting * improve getImplTransformed * Fix destructor tests * try to fix nimprof for linux
* | replace deprecated `safeAdd` with `add` (#9416)Miran2018-10-181-1/+1
| |
* | fixes #5479Araq2018-10-021-6/+11
| |
* | fixes #8883Araq2018-09-141-2/+5
|/
* WIP: disallow 'nil' for strings and seqsAndreas Rumpf2018-08-131-2/+2
|
* enable destructors without the --newruntime switchAndreas Rumpf2018-07-041-5/+1
|
* requested pull-request changesZahary Karadjov2018-06-161-2/+3
|
* fixes #7222; fixes #5595; fixes #3747Zahary Karadjov2018-06-161-12/+12
| | | | | | | | | | * late instantiation for the generic procs' default param values * automatic mixin behaviour in concepts Other fixes: * don't render the automatically inserted default params in calls * better rendering of tyFromExpr
* remove more global variables in the Nim compilerAndreas Rumpf2018-05-271-9/+10
|
* platform.nim doesn't use globals anymore; prepare msgs.nim for not using globalsAndreas Rumpf2018-05-181-1/+1
|
* make tests green againAraq2018-05-141-2/+2
|
* guards.nim does compileAndreas Rumpf2018-05-111-22/+21
|
* .experimental can now be used to enable specific featuresAndreas Rumpf2018-04-241-2/+2
|
* Static[T] fixes (#7333)zah2018-03-241-0/+4
| | | | | | | | | | | * fix the usage of unresolved static[T] parameters in proc signatures * fix tsametype and tmacrogenerics * Allow creating composite type classes with concepts and using them in type signatures * Allow integers to be used in ident concatenations * Support using imported C++ generic types in proc signatures * fixes #7230 * closes #7379 * re-enable some metatype tests
* preparations for language extensions: 'sink' and 'lent' typesAndreas Rumpf2018-01-071-3/+3
|
* fixes #6489Araq2017-11-231-2/+2
|
* fixes #6682Araq2017-11-221-1/+2
|
* deprecated unary '<'Andreas Rumpf2017-10-291-8/+8
|
* destructors: supportsCopyMem finally works for recursive typesAraq2017-10-261-10/+26
|
* destructors: irresponsibly simple tcustomseq test worksAndreas Rumpf2017-10-171-1/+4
|
* destructors: preparations for upcoming changesAraq2017-10-171-5/+1
|
* minor refactorings for better destructorsAndreas Rumpf2017-10-141-5/+11
|
* first implementation of the 'func' keywordAndreas Rumpf2017-09-231-1/+1
|
* fix #2730; fix #4880Zahary Karadjov2017-06-201-1/+2
|
* Fix #5962Zahary Karadjov2017-06-201-13/+44
| | | | | | | | | | | | | | | During the instantiation of a generic type A, some other generic type B may be instantiated multiple times with different parameters. We can think about each instantiation as a function call that should temporary bind the parameter names to concrete types. The problem with the existing implementation in semtypinst was that it was performing this binding within a shared global table. In this sense, it was executing the code as a programming language featuring only global variables. In such a language, re-entrant functions cannot be defined properly and hence this was leading to problems with similar types. The solution is simple - just like we need to introduce stack frames to handle re-entrant functions, we introduce a stack of type bindings that are pushed and popped during the generic instantiations.
* fixes tproctypecache_falsepositive.nim test caseAraq2017-06-081-2/+3
|
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-02-13 03:32:51 +0000