Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | attempt to fix #5632 typedesc typeRel regression (#5634) | andri lim | 2017-03-31 | 2 | -1/+13 |
| | |||||
* | attempt to fix #5621 #5615 generic ref object typeRel (#5633) | andri lim | 2017-03-31 | 2 | -1/+43 |
| | |||||
* | make pragma expression parsing use the same parser mechanism as elsewhere | Andreas Rumpf | 2017-03-31 | 1 | -3/+2 |
| | |||||
* | grammar update | Andreas Rumpf | 2017-03-31 | 1 | -4/+2 |
| | |||||
* | Merge remote-tracking branch 'origin/concepts-rebased' into araq | Andreas Rumpf | 2017-03-31 | 47 | -345/+2038 |
|\ | |||||
| * | make all tests green again | Zahary Karadjov | 2017-03-31 | 1 | -1/+1 |
| | | | | | | | | | | | | properly disabling the extra diagnostics in semCompiles proved to be too much work. I have some plans for further improving the error messages in the future and I'll revisit this later. | ||||
| * | requested code review changes | Zahary Karadjov | 2017-03-29 | 6 | -49/+66 |
| | | |||||
| * | restore the T1-T9 types and clarify how generic concepts work | Zahary Karadjov | 2017-03-28 | 2 | -6/+36 |
| | | |||||
| * | Fix the compilation of the emmy package | Zahary Karadjov | 2017-03-28 | 1 | -0/+2 |
| | | |||||
| * | fix a typo | Zahary Karadjov | 2017-03-24 | 1 | -1/+1 |
| | | |||||
| * | close #3330 | Zahary Karadjov | 2017-03-24 | 1 | -0/+41 |
| | | |||||
| * | close #2882 | Zahary Karadjov | 2017-03-24 | 1 | -1/+33 |
| | | |||||
| * | close #2423 | Zahary Karadjov | 2017-03-24 | 1 | -1/+18 |
| | | |||||
| * | close #2018 | Zahary Karadjov | 2017-03-24 | 1 | -2/+17 |
| | | |||||
| * | close #1991 | Zahary Karadjov | 2017-03-24 | 1 | -0/+69 |
| | | |||||
| * | close #1570 | Zahary Karadjov | 2017-03-24 | 1 | -1/+21 |
| | | |||||
| * | close #1147 | Zahary Karadjov | 2017-03-24 | 1 | -0/+16 |
| | | |||||
| * | close #1128 | Zahary Karadjov | 2017-03-24 | 1 | -0/+21 |
| | | |||||
| * | close #976 | Zahary Karadjov | 2017-03-24 | 1 | -0/+32 |
| | | |||||
| * | Make tgc_unsafe2 green again | Zahary Karadjov | 2017-03-24 | 1 | -3/+3 |
| | | | | | | | | | | apparently, the error reporting code introduced for concepts results in a slightly diffent output for this test case. | ||||
| * | fix tgenericshardcases | Zahary Karadjov | 2017-03-24 | 2 | -8/+14 |
| | | |||||
| * | use lower-case proc names | Zahary Karadjov | 2017-03-24 | 4 | -11/+11 |
| | | |||||
| * | restore compilation and make all concepts tests green | Zahary Karadjov | 2017-03-24 | 4 | -43/+44 |
| | | |||||
| * | 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 | 12 | -52/+210 |
| | | | | | | | | | | 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 | 3 | -5/+62 |
| | | |||||
| * | further improvements to the error messages produced by concepts | Zahary Karadjov | 2017-03-24 | 8 | -53/+84 |
| | | |||||
| * | 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 | 13 | -140/+303 |
| | | | | | | | | pragma | ||||
| * | implement the special treatment of explicit type params in concepts | Zahary Karadjov | 2017-03-24 | 6 | -5/+20 |
| | | |||||
| * | infer static parameters even when more complicated arithmetic is involved | Zahary Karadjov | 2017-03-24 | 10 | -48/+139 |
| | | |||||
| * | support derived values in non-generic user type classes | Zahary Karadjov | 2017-03-24 | 7 | -47/+59 |
| | | |||||
| * | some revisions to the Concepts and VTable types specs | Zahary Karadjov | 2017-03-24 | 1 | -25/+24 |
| | | |||||
| * | kill the reportConceptFailures options as it will be replaced by the ↵ | Zahary Karadjov | 2017-03-24 | 5 | -15/+3 |
| | | | | | | | | .explain. pragma | ||||
| * | future manual additions for the full concept spec I'm aiming to implement | Zahary Karadjov | 2017-03-24 | 1 | -19/+361 |
| | | |||||
| * | support for inferring static[T] concept params | Zahary Karadjov | 2017-03-24 | 8 | -28/+144 |
| | | |||||
| * | 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 | 6 | -44/+100 |
| | | | | | | | | testing proc signatures | ||||
| * | support for matching generic types' procs in generic concepts | Zahary Karadjov | 2017-03-24 | 5 | -11/+145 |
| | | |||||
| * | support for accessing types and consts defined in concepts with the dot operator | Zahary Karadjov | 2017-03-24 | 3 | -16/+65 |
| | | |||||
| * | support for accessing the inferred concept type params with the dot operator | Zahary Karadjov | 2017-03-24 | 6 | -7/+24 |
| | | |||||
| * | concept type params inference working in basic examples | Zahary Karadjov | 2017-03-24 | 5 | -2/+93 |
| | | |||||
* | | nimgrab tool: use Windows API for the download if possible | Andreas Rumpf | 2017-03-31 | 2 | -9/+454 |
| | | |||||
* | | Merge branch 'devel' into araq | Andreas Rumpf | 2017-03-30 | 5 | -269/+318 |
|\ \ | |||||
| * \ | Merge pull request #5614 from moigagoo/fix_time_offset_in_times_js | Dominik Picheta | 2017-03-30 | 2 | -260/+266 |
| |\ \ | | | | | | | | | Times: JS: Remove implicit UTC convesion. | ||||
| | * \ | Merge branch 'devel' into fix_time_offset_in_times_js | Konstantin Molchanov | 2017-03-29 | 10 | -48/+97 |
| | |\ \ | |||||
| | * | | | Tests: JS: Times: Fix text so that it works in timezones other then UTC+4. | Konstantin Molchanov | 2017-03-29 | 1 | -3/+4 |
| | | | | | | | | | | | | | | | | | | | | `parse` returns TimeInfo with the local timezone, which may not be the same as the one in the original string. To compare the moments encoded in the original string and returned by `parse`, we normalize them to UTC. | ||||
| | * | | | Stdlib: Times: Use JS's "new Date" to convert TimeInfo to Time. | Konstantin Molchanov | 2017-03-29 | 1 | -260/+253 |
| | | | | | | | | | | | | | | | | | | | | To use JS's Date creation from string, I moved the TimeInfo formatting code above the toTime proc declaration. Also, I changed the argument type for newDate from string to cstring for it to work. | ||||
| | * | | | Tests: Times: JS: Add test for timestamp persistence. | Konstantin Molchanov | 2017-03-27 | 1 | -1/+9 |
| | | | | | |||||
| | * | | | Tests: Times: JS: Local timezone assignment during Time to TimeInfo conversion. | Konstantin Molchanov | 2017-03-27 | 1 | -0/+4 |
| | | | | |