summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* fixes #5597; wrong eager template instantiation in generic context (#5601)Andreas Rumpf2017-03-242-3/+16
|
* Deques compilation error fix (#5591)Dmitriy Fomichev2017-03-242-2/+19
|
* Added few documentation lines for the unsafeAddr operator. (#5362)Arne Döring2017-03-231-3/+7
|
* Fix posix version of moveFile between different filesystems (#5580)Anatoly Galiulin2017-03-233-21/+48
|
* fixes #5241, fixes #5411 inherit from specialized generic typeRel problem ↵andri lim2017-03-232-10/+89
| | | | (#5573)
* Implement asyncfile.readToStream.Dominik Picheta2017-03-231-0/+10
|
* Implement requestAnimationFrame and cancelAnimationFrame in dom module.Dominik Picheta2017-03-231-0/+2
|
* Improve os.getFileSize documentation to specify the unit.Dominik Picheta2017-03-231-1/+2
|
* Fix typodef2017-03-231-1/+1
|
* fixes #5598Araq2017-03-231-0/+1
|
* Fixes #4719. (#5585)Eugene Kabanov2017-03-234-19/+84
|
* fix empty link file list during external compilation (#5577)Emery Hemingway2017-03-231-8/+18
|
* Fix generic forward declarations; fixes #4104; fixes #4908 (#5566)zah2017-03-235-15/+36
|
* fix taliasinequality test case (#5587)andri lim2017-03-221-6/+6
|
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-07-19 03:10:32 +0000