summary refs log tree commit diff stats
path: root/compiler/seminst.nim
Commit message (Expand)AuthorAgeFilesLines
* removed flawed thread analysis passAraq2014-04-201-3/+0
* make some tests greenZahary Karadjov2014-03-161-7/+9
* more robust handling of proc signatures containing inter-param type referencesZahary Karadjov2014-03-161-11/+58
* first phase of tyGenericParam reforms needed for static paramsZahary Karadjov2014-03-161-6/+3
* implements higher-order inline iterators and return type inference for iteratorsZahary Karadjov2014-03-081-1/+1
* progress towards fixing tgenericshardcasesZahary Karadjov2014-01-061-2/+1
* clean-up some obsolete code; close #602Zahary Karadjov2013-12-311-146/+8
* handle recursive types during the instantiation of meta types; propagate tfHa...Zahary Karadjov2013-12-301-0/+1
* Merge branch 'upstream' into develZahary Karadjov2013-12-291-9/+32
|\
| * integrate the logic of fixupProcType into ReplaceTypeVarsZahary Karadjov2013-12-291-1/+2
| * make more tests greenZahary Karadjov2013-12-291-1/+18
| * lift generic parameters from concrete composite type classesZahary Karadjov2013-12-281-1/+4
| * towards support for composite type classes such as seq[Number] and SquareMatr...Zahary Karadjov2013-12-271-2/+4
| * static params: expr[T] is now static[T]Zahary Karadjov2013-12-191-4/+4
* | case consistency: cs:partial bootstraps on windowsAraq2013-12-291-5/+5
* | case consistency: next stepsAraq2013-12-291-1/+1
* | case consistency part 4Araq2013-12-271-16/+16
* | case consistency part 1Araq2013-12-271-5/+3
|/
* progress towards adding negative type classesZahary Karadjov2013-12-091-2/+3
* Experimental support for delayed instantiation of genericsZahary Karadjov2013-08-231-6/+43
* hacky fix for generic constraints matchingZahary Karadjov2013-08-191-0/+2
* work-in-progress for compiling generics in their owner moduleZahary Karadjov2013-08-191-3/+4
* Revert "Revert "made some tests green""Zahary Karadjov2013-08-191-16/+21
* Revert "Revert "further fixes for void stripping. fixes tvoid.""Zahary Karadjov2013-08-191-20/+25
* Revert "Revert "fix threading tests""Zahary Karadjov2013-08-191-8/+16
* Revert "Revert "fix tforwardgeneric""Zahary Karadjov2013-08-191-2/+0
* remerge "Fixes #267"Zahary Karadjov2013-08-191-19/+84
* Revert "fixes #267"Araq2013-05-271-84/+19
* Revert "fix tforwardgeneric"Araq2013-05-271-0/+2
* Revert "fix threading tests"Araq2013-05-271-16/+8
* Revert "further fixes for void stripping. fixes tvoid."Araq2013-05-271-25/+20
* Revert "more test made green"Araq2013-05-271-21/+16
* more test made greenZahary Karadjov2013-05-261-16/+21
* further fixes for void stripping. fixes tvoid.Zahary Karadjov2013-05-261-20/+25
* fix threading testsZahary Karadjov2013-05-261-8/+16
* fix tforwardgenericZahary Karadjov2013-05-261-2/+0
* fixes #267Zahary Karadjov2013-05-261-19/+84
* switch to a linked list of scopesZahary Karadjov2013-05-111-4/+4
* Removes executable bit for text files.Grzegorz Adam Hankiewicz2013-03-161-0/+0
* merged upstream masterZahary Karadjov2013-01-271-3/+3
|\
| * implemented generic multi methodsAraq2013-01-161-0/+1
| * some fixes for generic first class iteratorsAraq2012-12-151-3/+3
* | remove any traces of the old global generics cacheZahary Karadjov2013-01-271-4/+4
* | store the instantiation cache in the generic symbolZahary Karadjov2012-11-281-20/+16
|/
* implemented return type inferenceZahary Karadjov2012-10-031-3/+8
* improved support for typedesc valuesZahary Karadjov2012-09-251-34/+5
* proc bodies can be expressions with a typeAraq2012-09-221-1/+1
* fixes #194Araq2012-09-201-1/+17
* made more tests green; fixes #201Araq2012-09-121-3/+4
* term rewriting improvementsAraq2012-09-081-0/+1
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-02-01 18:54:47 +0000