| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | requested code review changes | Zahary Karadjov | 2017-03-29 | 4 | -30/+43 |
| | | |||||
| * | Fix the compilation of the emmy package | Zahary Karadjov | 2017-03-28 | 1 | -0/+2 |
| | | |||||
| * | fix tgenericshardcases | Zahary Karadjov | 2017-03-24 | 2 | -8/+14 |
| | | |||||
| * | use lower-case proc names | Zahary Karadjov | 2017-03-24 | 1 | -4/+4 |
| | | |||||
| * | restore compilation and make all concepts tests green | Zahary Karadjov | 2017-03-24 | 3 | -7/+8 |
| | | |||||
| * | carefully reviewed and merged the changes from the devel branch | Zahary Karadjov | 2017-03-24 | 1 | -61/+75 |
| | | |||||
| * | Working test cases for the sophisticated matrix library example from the manual | Zahary Karadjov | 2017-03-24 | 6 | -40/+67 |
| | | | | | | Fixed the dot operator when used within return types (see tgenericdotrettype) Fixed the matching of generic concepts aliases used with the implicit generics style | ||||
| * | new type traits: `GenericHead` and `StripGenericParams` | Zahary Karadjov | 2017-03-24 | 2 | -3/+45 |
| | | |||||
| * | further improvements to the error messages produced by concepts | Zahary Karadjov | 2017-03-24 | 6 | -22/+25 |
| | | |||||
| * | when displaying proc signatures, don't render the implicit generic params | Zahary Karadjov | 2017-03-24 | 1 | -8/+19 |
| | | |||||
| * | proper error reporting for concepts and the introduction of the {.explain.} ↵ | Zahary Karadjov | 2017-03-24 | 11 | -140/+207 |
| | | | | | pragma | ||||
| * | implement the special treatment of explicit type params in concepts | Zahary Karadjov | 2017-03-24 | 4 | -2/+7 |
| | | |||||
| * | infer static parameters even when more complicated arithmetic is involved | Zahary Karadjov | 2017-03-24 | 9 | -46/+137 |
| | | |||||
| * | support derived values in non-generic user type classes | Zahary Karadjov | 2017-03-24 | 6 | -45/+52 |
| | | |||||
| * | kill the reportConceptFailures options as it will be replaced by the ↵ | Zahary Karadjov | 2017-03-24 | 4 | -12/+3 |
| | | | | | .explain. pragma | ||||
| * | support for inferring static[T] concept params | Zahary Karadjov | 2017-03-24 | 6 | -28/+62 |
| | | |||||
| * | introduce tyInferred for the unbound concept type params | Zahary Karadjov | 2017-03-24 | 9 | -96/+126 |
| | | | | | | | | | | | | | | | | | | | * 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. | ||||
| * | support the full range of type modifiers when declaring concept vars and ↵ | Zahary Karadjov | 2017-03-24 | 5 | -17/+57 |
| | | | | | testing proc signatures | ||||
| * | support for matching generic types' procs in generic concepts | Zahary Karadjov | 2017-03-24 | 3 | -10/+42 |
| | | |||||
| * | support for accessing types and consts defined in concepts with the dot operator | Zahary Karadjov | 2017-03-24 | 2 | -13/+49 |
| | | |||||
| * | support for accessing the inferred concept type params with the dot operator | Zahary Karadjov | 2017-03-24 | 5 | -6/+22 |
| | | |||||
| * | concept type params inference working in basic examples | Zahary Karadjov | 2017-03-24 | 4 | -2/+44 |
| | | |||||
| * | fixes #5597; wrong eager template instantiation in generic context (#5601) | Andreas Rumpf | 2017-03-24 | 1 | -3/+3 |
| | | |||||
| * | fixes #5241, fixes #5411 inherit from specialized generic typeRel problem ↵ | andri lim | 2017-03-23 | 1 | -10/+24 |
| | | | | | (#5573) | ||||
| * | Fix typo | def | 2017-03-23 | 1 | -1/+1 |
| | | |||||
| * | fixes #5598 | Araq | 2017-03-23 | 1 | -0/+1 |
| | | |||||
| * | fix empty link file list during external compilation (#5577) | Emery Hemingway | 2017-03-23 | 1 | -8/+18 |
| | | |||||
| * | Fix generic forward declarations; fixes #4104; fixes #4908 (#5566) | zah | 2017-03-23 | 3 | -5/+12 |
| | | |||||
| * | make semObjConstr robust for nimsuggest | Araq | 2017-03-21 | 1 | -3/+3 |
| | | |||||
| * | mark symbols in getAst context as used | Andreas Rumpf | 2017-03-20 | 1 | -1/+5 |
| | | |||||
| * | revert getAst handling to not use overloading resolution | Andreas Rumpf | 2017-03-20 | 1 | -1/+18 |
| | | |||||
| * | fixes a potential endless loop | Andreas Rumpf | 2017-03-20 | 1 | -1/+1 |
| | | |||||
| * | nimsuggest: prefixes of abbreviations don't count | Andreas Rumpf | 2017-03-20 | 1 | -1/+5 |
| | | |||||
| * | fix getTypeImpl for tyEnum (#5568) | jcosborn | 2017-03-19 | 1 | -1/+3 |
| | | | | | | * fixed getTypeImpl for tyEnum * fixed getType for enum and updated release notes about change | ||||
| * | fix #5296 (#5565) | zah | 2017-03-19 | 1 | -0/+3 |
| | | |||||
| * | overloading resolution for getAst; breaking change | Araq | 2017-03-18 | 2 | -10/+17 |
| | | |||||
| * | fixes #5228 | Andreas Rumpf | 2017-03-18 | 1 | -4/+17 |
| | | |||||
| * | fixes #4756 (#5557) | zah | 2017-03-17 | 1 | -2/+6 |
| | | |||||
| * | Make DragonFlyBSD a first class BSD-like OS (#5548) | Eugene Kabanov | 2017-03-16 | 3 | -5/+14 |
| | | |||||
| * | fixes #5360, fixes #5238 (#5539); fixes type alias inequality for types ↵ | andri lim | 2017-03-16 | 1 | -4/+19 |
| | | | | | coming from templates/macros | ||||
| * | Fixes #5062 (#5527); JS: holes in enums | Silvio | 2017-03-15 | 2 | -11/+3 |
| | | |||||
| * | fixes #5231 inheriting from partial specialized generic object (#5538) | andri lim | 2017-03-15 | 1 | -9/+16 |
| | | |||||
| * | fixes #5264 (#5520); inheriting from generic object | andri lim | 2017-03-14 | 1 | -2/+33 |
| | | |||||
| * | Merge branch 'devel' of github.com:nim-lang/Nim into devel | Araq | 2017-03-14 | 16 | -156/+291 |
| |\ | |||||
| | * | nimsuggest: when invoked with a directory, detect the main nim file on its own | Andreas Rumpf | 2017-03-14 | 1 | -0/+17 |
| | | | |||||
| | * | nimsuggest: suggest types in a type section | Andreas Rumpf | 2017-03-14 | 3 | -3/+8 |
| | | | |||||
| | * | nimsuggest: make tdot1 test case green again | Andreas Rumpf | 2017-03-14 | 1 | -1/+1 |
| | | | |||||
| | * | Merge branch 'devel' into faster-nimsuggest | Andreas Rumpf | 2017-03-14 | 13 | -15/+64 |
| | |\ | |||||
| | | * | fix varargs forwarding for templates; fixes #5455 (#5505) | zah | 2017-03-13 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | * fix varargs forwarding for templates; fixes #5455 * document the macros' varargs change in the news for 0.16.2 | ||||
| | | * | Fixes #5167 and related problems (#5475) | zah | 2017-03-12 | 10 | -2/+33 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit returns to a bit less strict checking of the number of macro arguments, because some old immediate macros rely on a behavior where even the arity of the macro is not being checked. It may be better if such macros are just declared to use varargs[expr], but this remains for another day. | ||||