Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix for issue #10342. better message for generic subclass instantiation (#10354) | Ray Imber | 2019-01-22 | 1 | -1/+14 |
| | | | * Fix for issue #10342. better message for generic subclass instantiation errors. | ||||
* | Merge pull request #8748 from LemonBoy/when-in-objects | Andreas Rumpf | 2018-12-12 | 1 | -0/+40 |
|\ | | | | | Pervasive replacement of nkRecWhen in generic types | ||||
| * | Pervasive replacement of nkRecWhen in generic types | LemonBoy | 2018-10-19 | 1 | -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 progress | Araq | 2018-12-01 | 1 | -1/+1 |
| | | |||||
* | | language cleanup: the .unchecked pragma is dead | Araq | 2018-11-06 | 1 | -5/+0 |
| | | |||||
* | | Change the order of compilation passes, transformation is made lazy at code ↵ | cooldome | 2018-10-18 | 1 | -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) | Miran | 2018-10-18 | 1 | -1/+1 |
| | | |||||
* | | fixes #5479 | Araq | 2018-10-02 | 1 | -6/+11 |
| | | |||||
* | | fixes #8883 | Araq | 2018-09-14 | 1 | -2/+5 |
|/ | |||||
* | WIP: disallow 'nil' for strings and seqs | Andreas Rumpf | 2018-08-13 | 1 | -2/+2 |
| | |||||
* | enable destructors without the --newruntime switch | Andreas Rumpf | 2018-07-04 | 1 | -5/+1 |
| | |||||
* | requested pull-request changes | Zahary Karadjov | 2018-06-16 | 1 | -2/+3 |
| | |||||
* | fixes #7222; fixes #5595; fixes #3747 | Zahary Karadjov | 2018-06-16 | 1 | -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 compiler | Andreas Rumpf | 2018-05-27 | 1 | -9/+10 |
| | |||||
* | platform.nim doesn't use globals anymore; prepare msgs.nim for not using globals | Andreas Rumpf | 2018-05-18 | 1 | -1/+1 |
| | |||||
* | make tests green again | Araq | 2018-05-14 | 1 | -2/+2 |
| | |||||
* | guards.nim does compile | Andreas Rumpf | 2018-05-11 | 1 | -22/+21 |
| | |||||
* | .experimental can now be used to enable specific features | Andreas Rumpf | 2018-04-24 | 1 | -2/+2 |
| | |||||
* | Static[T] fixes (#7333) | zah | 2018-03-24 | 1 | -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' types | Andreas Rumpf | 2018-01-07 | 1 | -3/+3 |
| | |||||
* | fixes #6489 | Araq | 2017-11-23 | 1 | -2/+2 |
| | |||||
* | fixes #6682 | Araq | 2017-11-22 | 1 | -1/+2 |
| | |||||
* | deprecated unary '<' | Andreas Rumpf | 2017-10-29 | 1 | -8/+8 |
| | |||||
* | destructors: supportsCopyMem finally works for recursive types | Araq | 2017-10-26 | 1 | -10/+26 |
| | |||||
* | destructors: irresponsibly simple tcustomseq test works | Andreas Rumpf | 2017-10-17 | 1 | -1/+4 |
| | |||||
* | destructors: preparations for upcoming changes | Araq | 2017-10-17 | 1 | -5/+1 |
| | |||||
* | minor refactorings for better destructors | Andreas Rumpf | 2017-10-14 | 1 | -5/+11 |
| | |||||
* | first implementation of the 'func' keyword | Andreas Rumpf | 2017-09-23 | 1 | -1/+1 |
| | |||||
* | fix #2730; fix #4880 | Zahary Karadjov | 2017-06-20 | 1 | -1/+2 |
| | |||||
* | Fix #5962 | Zahary Karadjov | 2017-06-20 | 1 | -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 case | Araq | 2017-06-08 | 1 | -2/+3 |
| | |||||
* | fix #5683 | Zahary Karadjov | 2017-04-14 | 1 | -0/+1 |
| | |||||
* | fix #5643; fix #5644 | Zahary Karadjov | 2017-04-08 | 1 | -2/+6 |
| | |||||
* | Restore the Nim's 0.14 proper handling of generic aliases | Zahary Karadjov | 2017-04-08 | 1 | -25/+34 |
| | | | | | | | | | | | A more efficient implementation is possible by restoring the old lifting ot tyGenericInvocation to tyGenericInst in liftTypeParam, but this fix will suffice for now. fixes #5087 fixes #5602 fixes #5641 fixes #5570 | ||||
* | wip fix #5640 | Zahary Karadjov | 2017-04-07 | 1 | -1/+1 |
| | |||||
* | attempt to fix #5621 #5615 generic ref object typeRel (#5633) | andri lim | 2017-03-31 | 1 | -1/+1 |
| | |||||
* | Working test cases for the sophisticated matrix library example from the manual | Zahary Karadjov | 2017-03-24 | 1 | -0/+2 |
| | | | | | Fixed the dot operator when used within return types (see tgenericdotrettype) Fixed the matching of generic concepts aliases used with the implicit generics style | ||||
* | proper error reporting for concepts and the introduction of the {.explain.} ↵ | Zahary Karadjov | 2017-03-24 | 1 | -1/+1 |
| | | | | pragma | ||||
* | infer static parameters even when more complicated arithmetic is involved | Zahary Karadjov | 2017-03-24 | 1 | -2/+3 |
| | |||||
* | support for inferring static[T] concept params | Zahary Karadjov | 2017-03-24 | 1 | -0/+1 |
| | |||||
* | support for accessing the inferred concept type params with the dot operator | Zahary Karadjov | 2017-03-24 | 1 | -1/+1 |
| | |||||
* | avoid some compiler crashes in debug mode | Andreas Rumpf | 2017-01-23 | 1 | -1/+3 |
| | |||||
* | make tsigbreak.nim compile | Andreas Rumpf | 2016-12-12 | 1 | -3/+8 |
| | |||||
* | further progress | Araq | 2016-11-28 | 1 | -0/+3 |
| | |||||
* | removed tyArrayConstr completely from the compiler; introduced tyAlias ↵ | Araq | 2016-11-14 | 1 | -1/+1 |
| | | | | instead in preparation for further bugfixes | ||||
* | fixes #4677 properly | Andreas Rumpf | 2016-09-03 | 1 | -6/+7 |
| | |||||
* | fixes #4677 | Andreas Rumpf | 2016-09-03 | 1 | -1/+2 |
| | |||||
* | compiler almost free of deprecated expr/stmt names | Andreas Rumpf | 2016-07-30 | 1 | -1/+1 |
| | |||||
* | generic multi-methods should work now | Andreas Rumpf | 2016-07-28 | 1 | -3/+10 |
| | |||||
* | fixes #4371 | Andreas Rumpf | 2016-07-08 | 1 | -4/+4 |
| |