summary refs log tree commit diff stats
path: root/compiler/seminst.nim
Commit message (Collapse)AuthorAgeFilesLines
* fixes #3055Andreas Rumpf2016-07-081-1/+1
|
* fixes #4177Andreas Rumpf2016-05-281-2/+4
|
* fixes #4097Andreas Rumpf2016-04-191-7/+7
|
* added experimental .this pragmaAndreas Rumpf2016-02-281-1/+43
|
* fixes #3476Araq2015-10-271-2/+2
|
* fixes #3338Araq2015-10-221-1/+7
|
* renamed inCompilesContext to compilesContextId; added test case for #3313Araq2015-09-181-3/+3
|
* fixes #3313Araq2015-09-181-4/+7
|
* fixes #3329Araq2015-09-181-1/+1
|
* usage of NimNode triggers .compileTime context; fixes #1679Araq2015-09-141-0/+2
|
* fixes generic instantations in conceptsAraq2015-09-121-0/+3
|
* Merge pull request #3177 from zah/generic-types-in-macrosAndreas Rumpf2015-08-141-12/+13
|\ | | | | Generic types in macros
| * fix #1858 again; restores the support for static macro paramsZahary Karadjov2015-08-021-12/+13
| |
* | fixes #2752Araq2015-08-091-3/+4
|/
* fixes #2470, fixes #1354Araq2015-04-281-1/+3
|
* fixes #2509Araq2015-04-111-1/+4
|
* fixes #794Araq2015-03-071-16/+16
|
* fixes #2215Araq2015-02-251-10/+11
|
* fixes #2125Araq2015-02-181-8/+18
|
* Fix typosFederico Ceratto2015-02-151-1/+1
|
* fixes #2004Araq2015-02-081-4/+9
|
* Revert 5e4ae8dDustin Lacewell2015-01-071-13/+12
|
* fix #1858; Add support for generic templates and macrosZahary Karadjov2015-01-051-12/+13
| | | | | | | | | Implementation notes: Just after overload resolution, the resolved generic params will be added to the call expression to be later processed in evalTemplate and evalMacroCall. These procs have been modified to handle the increased number of parameters, but one remaining issue is that immediate templates and macros don't go through the same process. The next commit will outlaw the use of generic parameters with such macros.
* fix #1789 (binding to static params during generic proc sigmatch)Zahary Karadjov2014-12-311-1/+3
|
* fixes #1055Araq2014-11-161-3/+6
|
* Nimrod renamed to NimAraq2014-08-281-1/+1
|
* fixes #669Araq2014-08-141-1/+2
|
* Fixed #1172 (for real)Clay Sweetser2014-06-011-3/+5
|
* 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 ↵Zahary Karadjov2013-12-301-0/+1
| | | | tfHasMeta more carefully
* Merge branch 'upstream' into develZahary Karadjov2013-12-291-9/+32
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: compiler/ccgutils.nim compiler/msgs.nim compiler/sem.nim compiler/semexprs.nim compiler/seminst.nim compiler/semmagic.nim compiler/semstmts.nim compiler/semtypes.nim compiler/semtypinst.nim compiler/sigmatch.nim compiler/types.nim compiler/vmgen.nim lib/core/macros.nim lib/system.nim tests/reject/tenummix.nim web/news.txt
| * 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 ↵Zahary Karadjov2013-12-271-2/+4
| | | | | | | | SquareMatrix[T]
| * static params: expr[T] is now static[T]Zahary Karadjov2013-12-191-4/+4
| | | | | | | | | | | | | | This introduces tyStatic and successfully bootstraps and handles few simple test cases. Static params within macros are no longer treated as PNimrodNodes - they are now equivalent to constants of the designated type.
* | 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
| | | | | | [unittest bugfixes] the block form of check now allows comments errors when inspecting the arguments of var-accepting procs
* Experimental support for delayed instantiation of genericsZahary Karadjov2013-08-231-6/+43
| | | | | | | | | | | | | | | | | | | | This postpones the semantic pass over the generic's body until the generic is instantiated. There are several pros and cons for this method and the capabilities that it enables may still be possible in the old framework if we teach it a few new trick. Such an attempt will follow in the next commits. pros: 1) It allows macros to be expanded during generic instantiation that will provide the body of the generic. See ``tmacrogenerics``. 2) The instantiation code is dramatically simplified. Dealing with unknown types in the generic's body pre-pass requires a lot of hacky code and error silencing in semTypeNode. See ``tgenericshardcases``. cons: 1) There is a performance penalty of roughly 5% when bootstrapping. 2) Certain errors that used to be detected in the previous pre-pass won't be detected with the new scheme until instantiation.
* 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
|
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-02-15 02:44:26 +0000