summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* attempt to fix #5632 typedesc typeRel regression (#5634)andri lim2017-03-312-1/+13
|
* attempt to fix #5621 #5615 generic ref object typeRel (#5633)andri lim2017-03-312-1/+43
|
* make pragma expression parsing use the same parser mechanism as elsewhereAndreas Rumpf2017-03-311-3/+2
|
* grammar updateAndreas Rumpf2017-03-311-4/+2
|
* Merge remote-tracking branch 'origin/concepts-rebased' into araqAndreas Rumpf2017-03-3147-345/+2038
|\
| * make all tests green againZahary Karadjov2017-03-311-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 changesZahary Karadjov2017-03-296-49/+66
| |
| * restore the T1-T9 types and clarify how generic concepts workZahary Karadjov2017-03-282-6/+36
| |
| * Fix the compilation of the emmy packageZahary Karadjov2017-03-281-0/+2
| |
| * fix a typoZahary Karadjov2017-03-241-1/+1
| |
| * close #3330Zahary Karadjov2017-03-241-0/+41
| |
| * close #2882Zahary Karadjov2017-03-241-1/+33
| |
| * close #2423Zahary Karadjov2017-03-241-1/+18
| |
| * close #2018Zahary Karadjov2017-03-241-2/+17
| |
| * close #1991Zahary Karadjov2017-03-241-0/+69
| |
| * close #1570Zahary Karadjov2017-03-241-1/+21
| |
| * close #1147Zahary Karadjov2017-03-241-0/+16
| |
| * close #1128Zahary Karadjov2017-03-241-0/+21
| |
| * close #976Zahary Karadjov2017-03-241-0/+32
| |
| * Make tgc_unsafe2 green againZahary Karadjov2017-03-241-3/+3
| | | | | | | | | | apparently, the error reporting code introduced for concepts results in a slightly diffent output for this test case.
| * fix tgenericshardcasesZahary Karadjov2017-03-242-8/+14
| |
| * use lower-case proc namesZahary Karadjov2017-03-244-11/+11
| |
| * restore compilation and make all concepts tests greenZahary Karadjov2017-03-244-43/+44
| |
| * carefully reviewed and merged the changes from the devel branchZahary Karadjov2017-03-241-61/+75
| |
| * Working test cases for the sophisticated matrix library example from the manualZahary Karadjov2017-03-2412-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 Karadjov2017-03-243-5/+62
| |
| * further improvements to the error messages produced by conceptsZahary Karadjov2017-03-248-53/+84
| |
| * when displaying proc signatures, don't render the implicit generic paramsZahary Karadjov2017-03-241-8/+19
| |
| * proper error reporting for concepts and the introduction of the {.explain.} ↵Zahary Karadjov2017-03-2413-140/+303
| | | | | | | | pragma
| * implement the special treatment of explicit type params in conceptsZahary Karadjov2017-03-246-5/+20
| |
| * infer static parameters even when more complicated arithmetic is involvedZahary Karadjov2017-03-2410-48/+139
| |
| * support derived values in non-generic user type classesZahary Karadjov2017-03-247-47/+59
| |
| * some revisions to the Concepts and VTable types specsZahary Karadjov2017-03-241-25/+24
| |
| * kill the reportConceptFailures options as it will be replaced by the ↵Zahary Karadjov2017-03-245-15/+3
| | | | | | | | .explain. pragma
| * future manual additions for the full concept spec I'm aiming to implementZahary Karadjov2017-03-241-19/+361
| |
| * support for inferring static[T] concept paramsZahary Karadjov2017-03-248-28/+144
| |
| * introduce tyInferred for the unbound concept type paramsZahary Karadjov2017-03-249-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 Karadjov2017-03-246-44/+100
| | | | | | | | testing proc signatures
| * support for matching generic types' procs in generic conceptsZahary Karadjov2017-03-245-11/+145
| |
| * support for accessing types and consts defined in concepts with the dot operatorZahary Karadjov2017-03-243-16/+65
| |
| * support for accessing the inferred concept type params with the dot operatorZahary Karadjov2017-03-246-7/+24
| |
| * concept type params inference working in basic examplesZahary Karadjov2017-03-245-2/+93
| |
* | nimgrab tool: use Windows API for the download if possibleAndreas Rumpf2017-03-312-9/+454
| |
* | Merge branch 'devel' into araqAndreas Rumpf2017-03-305-269/+318
|\ \
| * \ Merge pull request #5614 from moigagoo/fix_time_offset_in_times_jsDominik Picheta2017-03-302-260/+266
| |\ \ | | | | | | | | Times: JS: Remove implicit UTC convesion.
| | * \ Merge branch 'devel' into fix_time_offset_in_times_jsKonstantin Molchanov2017-03-2910-48/+97
| | |\ \
| | * | | Tests: JS: Times: Fix text so that it works in timezones other then UTC+4.Konstantin Molchanov2017-03-291-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 Molchanov2017-03-291-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 Molchanov2017-03-271-1/+9
| | | | |
| | * | | Tests: Times: JS: Local timezone assignment during Time to TimeInfo conversion.Konstantin Molchanov2017-03-271-0/+4
| | | | |