Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Merge tests into a larger file (part 3 of ∞: generics) (#9347) | Miran | 2018-10-14 | 65 | -1276/+1236 | |
| | | | | | | | | | | | | * merge generics issues tests * merge tgeneric * merge test with local imports * merge tcan tests * merge matcher tests * more issue tests merged * one more tcan test * merge various small tests into one file * add a test for #3717 | |||||
* | add issue #5707 as test case (#9361) | Vindaar | 2018-10-14 | 1 | -0/+6 | |
| | ||||||
* | fix tests/generics/t8694.nim: runnableExamples were not run because of #9216 ↵ | Timothee Cour | 2018-10-09 | 1 | -3/+3 | |
| | | | | (#9262) | |||||
* | Fix regression with runnableExamples in generic expr | LemonBoy | 2018-09-30 | 2 | -0/+64 | |
| | | | | | | | | The examples should not enter the generic analysis at all. The regression was introduced in 4cf704bb as a fix for #8694. Fixes #9130 Fixes #8694 | |||||
* | fixes #8883 | Araq | 2018-09-14 | 1 | -0/+657 | |
| | ||||||
* | fixes #7854 | Araq | 2018-08-30 | 1 | -0/+36 | |
| | ||||||
* | make generic tests green again | Andreas Rumpf | 2018-08-13 | 1 | -2/+2 | |
| | ||||||
* | Merge branch 'devel' into araq-misc | Andreas Rumpf | 2018-08-10 | 2 | -0/+39 | |
|\ | ||||||
| * | Tests for v1 closed generics/static issues (#8572) | Mamy Ratsimbazafy | 2018-08-08 | 2 | -0/+39 | |
| | | | | | | | | | | | | | | | | * Add tests to confirm https://github.com/nim-lang/Nim/issues/7231 is fixed. * Add test for closed https://github.com/nim-lang/Nim/issues/6137 * Add test for https://github.com/nim-lang/Nim/issues/7141 | |||||
* | | make test green again | Araq | 2018-08-08 | 1 | -6/+6 | |
|/ | ||||||
* | Try conversion to static[T] in generic instantation (#8443) | LemonBoy | 2018-07-30 | 1 | -0/+10 | |
| | | | Fixes #8439 | |||||
* | Allow use of typedesc as type converters (#8409) | LemonBoy | 2018-07-24 | 1 | -0/+11 | |
| | | | Fixes #8403 | |||||
* | Do not crash while instantiating a generic outside a call (#8279) | LemonBoy | 2018-07-14 | 1 | -0/+7 | |
| | | | Fixes #8270 | |||||
* | Reset typedescMatched before paramTypesMatch (#8250) | LemonBoy | 2018-07-09 | 1 | -0/+15 | |
| | | | | | The flag should not be carried out across different parameters. Fixes #7794 | |||||
* | make tests green again | Andreas Rumpf | 2018-07-05 | 4 | -5/+5 | |
| | ||||||
* | fix #6928; fix #7208 | Zahary Karadjov | 2018-06-16 | 1 | -0/+21 | |
| | ||||||
* | fixes #7222; fixes #5595; fixes #3747 | Zahary Karadjov | 2018-06-16 | 1 | -0/+124 | |
| | | | | | | | | | | * 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 | |||||
* | fix #7653 | Zahary Karadjov | 2018-06-10 | 1 | -1/+3 | |
| | ||||||
* | Fix type inference with static literals. | LemonBoy | 2018-06-10 | 1 | -0/+12 | |
| | | | | Fixes #3977 | |||||
* | Bugfix: The compiler were not inserting proper downcasts for generic types | Zahary Karadjov | 2018-05-07 | 2 | -1/+21 | |
| | | | | | | | This resulted in a codegen error in C++ mode, because the generic types were not defined in modules where calls requiring downcasts were used (generating a downcast forces the inclusion of the full definition of the involved types). | |||||
* | fixes #7247 | Andreas Rumpf | 2018-02-23 | 1 | -6/+15 | |
| | ||||||
* | make more tests green | Araq | 2018-02-10 | 2 | -2/+2 | |
| | ||||||
* | better type inference for numerical types; prerequisitive for version 1 | Andreas Rumpf | 2018-02-02 | 1 | -0/+12 | |
| | ||||||
* | Improved collection-to-string behavior (#6825) | Fabian Keller | 2017-12-14 | 1 | -2/+2 | |
| | ||||||
* | make tests green again | Andreas Rumpf | 2017-11-18 | 1 | -0/+1 | |
| | ||||||
* | Remove expr/stmt (#5857) | Arne Döring | 2017-07-25 | 4 | -5/+5 | |
| | ||||||
* | close #5106 | Zahary Karadjov | 2017-06-20 | 1 | -0/+61 | |
| | ||||||
* | close #5756 | Zahary Karadjov | 2017-06-20 | 1 | -0/+30 | |
| | ||||||
* | fix #5864 | Zahary Karadjov | 2017-06-20 | 1 | -0/+14 | |
| | ||||||
* | Fix #5962 | Zahary Karadjov | 2017-06-20 | 1 | -0/+81 | |
| | | | | | | | | | | | | | | | 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 | -0/+17 | |
| | ||||||
* | fix 5756 | Zahary Karadjov | 2017-04-30 | 1 | -0/+39 | |
| | ||||||
* | alternative fake covariance based on converters | Zahary Karadjov | 2017-04-28 | 2 | -3/+25 | |
| | ||||||
* | more advanced fake covariance | Zahary Karadjov | 2017-04-28 | 1 | -3/+48 | |
| | ||||||
* | a simple way to simulate covariance in generic types | Zahary Karadjov | 2017-04-28 | 1 | -0/+11 | |
| | ||||||
* | fix a regrsesion in signature matching of derived ptr types | Zahary Karadjov | 2017-04-18 | 1 | -0/+20 | |
| | ||||||
* | fix a compilation error in linalg | Zahary Karadjov | 2017-04-16 | 1 | -0/+16 | |
| | ||||||
* | fix #5689 | Zahary Karadjov | 2017-04-15 | 1 | -0/+68 | |
| | ||||||
* | fix #5683 | Zahary Karadjov | 2017-04-14 | 1 | -0/+15 | |
| | ||||||
* | fix #5643; fix #5644 | Zahary Karadjov | 2017-04-08 | 1 | -0/+30 | |
| | ||||||
* | Restore the Nim's 0.14 proper handling of generic aliases | Zahary Karadjov | 2017-04-08 | 4 | -0/+101 | |
| | | | | | | | | | | | 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 | |||||
* | attempt to fix #5632 typedesc typeRel regression (#5634) | andri lim | 2017-03-31 | 1 | -0/+12 | |
| | ||||||
* | attempt to fix #5621 #5615 generic ref object typeRel (#5633) | andri lim | 2017-03-31 | 1 | -0/+42 | |
| | ||||||
* | Working test cases for the sophisticated matrix library example from the manual | Zahary Karadjov | 2017-03-24 | 1 | -0/+29 | |
| | | | | | Fixed the dot operator when used within return types (see tgenericdotrettype) Fixed the matching of generic concepts aliases used with the implicit generics style | |||||
* | fixes #5597; wrong eager template instantiation in generic context (#5601) | Andreas Rumpf | 2017-03-24 | 1 | -0/+13 | |
| | ||||||
* | fixes #5241, fixes #5411 inherit from specialized generic typeRel problem ↵ | andri lim | 2017-03-23 | 1 | -0/+65 | |
| | | | | (#5573) | |||||
* | Fix generic forward declarations; fixes #4104; fixes #4908 (#5566) | zah | 2017-03-23 | 2 | -10/+24 | |
| | ||||||
* | Correct the spelling of the word 'overridden'. (#5212) | mfxmfx | 2017-01-11 | 1 | -3/+3 | |
| | ||||||
* | fix #4884 | Zahary Karadjov | 2017-01-08 | 1 | -0/+11 | |
| | ||||||
* | further progress; more tests are green | Araq | 2016-11-28 | 1 | -1/+1 | |
| |