| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | introduce tyInferred for the unbound concept type params | Zahary Karadjov | 2017-03-24 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | * Why is tyInferred needed? The bindings in TCandidate are capable of inferring types within a single call expression. In concepts, we need to infer types in the same way, but across the whole body of the concept. Previously, once a concept type param was inferred, it was destructively mutated using t.assignType, but this proved to be problematic in the presence of overloads, because the bindings established while a non-matching overload is tested must be reverted/forgotten. tyInferred offers a non-destructive way to keep track of the inference progress. While introducing new types usually requires a lot of code paths in the compiler to updated, currently tyInferred is only a short-lived type within the concept body pass and it's unlikely to introduce breakage elsewhere in the compiler. | ||||
| * | make tests green again | Andreas Rumpf | 2017-02-24 | 1 | -0/+1 |
| | | |||||
| * | big compiler refactoring; avoid globals for multi method dispatcher generation | Andreas Rumpf | 2017-02-22 | 1 | -3/+3 |
| | | |||||
| * | removed tyArrayConstr completely from the compiler; introduced tyAlias ↵ | Araq | 2016-11-14 | 1 | -3/+3 |
| | | | | | instead in preparation for further bugfixes | ||||
| * | clean up tyMutable remnants | Jacek Sieka | 2016-10-24 | 1 | -2/+2 |
| | | |||||
| * | clean up tyConst remnants | Jacek Sieka | 2016-10-24 | 1 | -2/+2 |
| | | |||||
| * | clean up tyBigNum remnants | Jacek Sieka | 2016-10-24 | 1 | -2/+2 |
| | | |||||
| * | remove remnants of tyIter | Jacek Sieka | 2016-10-24 | 1 | -1/+2 |
| | | |||||
| * | fixes #4673 | Andreas Rumpf | 2016-09-01 | 1 | -1/+2 |
| | | |||||
| * | fixes #4371 | Andreas Rumpf | 2016-07-08 | 1 | -1/+1 |
| | | |||||
| * | overloading of '=' works | Araq | 2015-04-06 | 1 | -0/+1 |
| | | |||||
| * | first implementation of overloading of '='; missing: rewriting let/var sections | Araq | 2015-04-06 | 1 | -130/+210 |
| | | |||||
| * | minor todo update | Araq | 2015-03-23 | 1 | -1/+1 |
| | | |||||
| * | concept example from the manual now works again | Araq | 2015-03-23 | 1 | -4/+10 |
| | | |||||
| * | Fix typos | Federico Ceratto | 2015-02-15 | 1 | -1/+1 |
| | | |||||
| * | nimsuggest improvements | Araq | 2015-01-30 | 1 | -1/+1 |
| | | |||||
| * | Happy new year! | Guillaume Gelin | 2015-01-06 | 1 | -1/+1 |
| | | |||||
| * | improvements for nimfix | Araq | 2014-09-10 | 1 | -0/+1 |
| | | |||||
| * | updated the compiler to use the new symbol names | Araq | 2014-08-28 | 1 | -0/+196 |