summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* Fix #5611Daniil Yarancev2017-04-021-2/+2
|
* Proper fix for osproc.nim on Android (#5646)Eugene Kabanov2017-04-021-3/+7
|
* Fixed issue #5638 (#5639)Anatoly Galiulin2017-04-011-0/+1
|
* support for the Genode OS framework (#5560)Emery Hemingway2017-03-3114-33/+348
|
* updated news to take PR #5390 into accountAraq2017-03-311-0/+2
|
* Fix wrong value range of ntohs ... (#5390)wt2017-03-312-7/+7
|
* Implementing `repr` for JS (#5578)Silvio2017-03-313-18/+728
|
* 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
| |
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-02-15 15:28:47 +0000