Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | sigmatch: speed it up | Andreas Rumpf | 2018-04-28 | 1 | -3/+1 |
| | |||||
* | minor speedup: concept tests still green | Andreas Rumpf | 2018-04-28 | 1 | -10/+9 |
| | |||||
* | stuff that is green | Andreas Rumpf | 2018-04-28 | 1 | -7/+17 |
| | |||||
* | fixes #7600, generic object with generic ref object parent typerel bug (#7678) | andri lim | 2018-04-27 | 1 | -2/+7 |
| | | | | | | * fixes #7600 * fix wrong logic | ||||
* | Static[T] fixes (#7333) | zah | 2018-03-24 | 1 | -1/+1 |
| | | | | | | | | | | | * 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 | ||||
* | fixes #7331 | Araq | 2018-03-18 | 1 | -1/+2 |
| | |||||
* | improves the stability of 'nim check' | Andreas Rumpf | 2018-03-13 | 1 | -1/+3 |
| | |||||
* | fixes #7247 | Andreas Rumpf | 2018-02-23 | 1 | -28/+31 |
| | |||||
* | Fixes #6853 (#7188) | cooldome | 2018-02-10 | 1 | -1/+6 |
| | | | | | * Fixes #6853 * Add a test for a const empty array | ||||
* | improve the error messages regarding type mismatches in overloading resolution | Andreas Rumpf | 2018-02-04 | 1 | -2/+6 |
| | |||||
* | make tests green again | Andreas Rumpf | 2018-02-03 | 1 | -16/+16 |
| | |||||
* | disabled non-documented overloading rule for templates and macros | Andreas Rumpf | 2018-02-02 | 1 | -13/+16 |
| | |||||
* | better type inference for numerical types; prerequisitive for version 1 | Andreas Rumpf | 2018-02-02 | 1 | -3/+29 |
| | |||||
* | sink type begins to compile | Andreas Rumpf | 2018-01-08 | 1 | -14/+16 |
| | |||||
* | fixes #6073 | Andreas Rumpf | 2017-11-18 | 1 | -1/+1 |
| | |||||
* | Fix compiler crash (#6773) (#6774) | cooldome | 2017-11-18 | 1 | -1/+1 |
| | |||||
* | concepts: fixes the stack overflow that happens for #6691 | Andreas Rumpf | 2017-11-05 | 1 | -1/+2 |
| | |||||
* | make range type checking more restrictive, see tn8vsint16 test case; minor ↵ | Andreas Rumpf | 2017-11-01 | 1 | -1/+10 |
| | | | | breaking change | ||||
* | made nimresolve part of the compiler | Andreas Rumpf | 2017-10-29 | 1 | -1/+1 |
| | |||||
* | deprecated unary '<' | Andreas Rumpf | 2017-10-29 | 1 | -8/+8 |
| | |||||
* | fixes #6526 | Araq | 2017-10-27 | 1 | -10/+14 |
| | |||||
* | destructors: supportsCopyMem finally works for recursive types | Araq | 2017-10-26 | 1 | -1/+2 |
| | |||||
* | preparations for another bugfix | Andreas Rumpf | 2017-10-19 | 1 | -1/+12 |
| | |||||
* | breaking change: arrays of char do not convert to cstring; ptr to array of ↵ | Andreas Rumpf | 2017-10-10 | 1 | -6/+7 |
| | | | | char does | ||||
* | some work to make 'opt' a first class type | Andreas Rumpf | 2017-09-24 | 1 | -1/+1 |
| | |||||
* | first implementation of the 'func' keyword | Andreas Rumpf | 2017-09-23 | 1 | -4/+4 |
| | |||||
* | fix #5918 | Zahary Karadjov | 2017-08-19 | 1 | -1/+3 |
| | |||||
* | Fix #5084 | Zahary Karadjov | 2017-06-20 | 1 | -3/+6 |
| | |||||
* | Fix #4737 | Zahary Karadjov | 2017-06-20 | 1 | -3/+6 |
| | |||||
* | Fix #5127 | Zahary Karadjov | 2017-06-20 | 1 | -5/+6 |
| | |||||
* | fix #1017; fix #3309 | Zahary Karadjov | 2017-06-20 | 1 | -0/+6 |
| | |||||
* | fix #2730; fix #4880 | Zahary Karadjov | 2017-06-20 | 1 | -0/+7 |
| | |||||
* | fix #5017; fix #5893 | Zahary Karadjov | 2017-06-20 | 1 | -1/+3 |
| | |||||
* | fix #5864 | Zahary Karadjov | 2017-06-20 | 1 | -0/+2 |
| | |||||
* | add a useful helper for debugging typeRel problems | Zahary Karadjov | 2017-06-20 | 1 | -4/+26 |
| | |||||
* | introduce a pre-processing pass for the concept bodies | Zahary Karadjov | 2017-06-20 | 1 | -36/+22 |
| | | | | | | | fixes #4982 fixes #3805 close #3414 | ||||
* | fix #5890 | Zahary Karadjov | 2017-06-20 | 1 | -1/+2 |
| | |||||
* | cleanup of in/out covariance handling | Andreas Rumpf | 2017-05-17 | 1 | -6/+6 |
| | |||||
* | enforce the covariance rules for user-defined generic types | Zahary Karadjov | 2017-05-13 | 1 | -4/+4 |
| | |||||
* | covariance for arrays and sequences | Zahary Karadjov | 2017-05-12 | 1 | -12/+40 |
| | |||||
* | doh, forgot to add all files in the previous commit | Zahary Karadjov | 2017-05-12 | 1 | -12/+58 |
| | |||||
* | a simple way to simulate covariance in generic types | Zahary Karadjov | 2017-04-28 | 1 | -1/+6 |
| | |||||
* | fix a regrsesion in signature matching of derived ptr types | Zahary Karadjov | 2017-04-18 | 1 | -3/+5 |
| | |||||
* | Restore the compilation of linalg by tweaking the complex disambiguation rules | Zahary Karadjov | 2017-04-16 | 1 | -10/+18 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit is a potentially breaking change, but the problem was that linalg was relying on a previous bug in the compiler, which was fixed in the concepts branch. With the old disambiguation rules, generic procs like: proc \`==\`[T](lhs, rhs: T) and proc \`==\`(lhs, rhs: Matrix32|Matrix64) .. were considered equal, even though it's obvious that the second one should be preferred. We never noticed this, because there was a bug in sigmatch incorrectly counting one of the params of the second proc as a non-generic match, thus giving it an edge. This commit gives some preference to tyOr and tyAnd during the complex disambiguation, which may affect overload resolution in other cases. I see this only as a temporary solution. With my upcoming work on concept refinement, I plan to provide an experimental implementation of alaternative C++-like rules for determining which proc is more specific. We can then discuss our strategy for dealing with such a breaking change. | ||||
* | fix regression in tmatrixconcept | Zahary Karadjov | 2017-04-16 | 1 | -0/+4 |
| | |||||
* | fix a compilation error in linalg | Zahary Karadjov | 2017-04-16 | 1 | -25/+23 |
| | |||||
* | fix #5689 | Zahary Karadjov | 2017-04-15 | 1 | -8/+10 |
| | |||||
* | fix #5683 | Zahary Karadjov | 2017-04-14 | 1 | -6/+9 |
| | |||||
* | lift parameter-less do block to lambdas | Zahary Karadjov | 2017-04-10 | 1 | -1/+12 |
| | |||||
* | fix the do notation when used with procs | Zahary Karadjov | 2017-04-09 | 1 | -0/+3 |
| |