Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | renamed inCompilesContext to compilesContextId; added test case for #3313 | Araq | 2015-09-18 | 1 | -3/+3 |
| | |||||
* | fixes #3313 | Araq | 2015-09-18 | 1 | -4/+7 |
| | |||||
* | fixes #3329 | Araq | 2015-09-18 | 1 | -1/+1 |
| | |||||
* | usage of NimNode triggers .compileTime context; fixes #1679 | Araq | 2015-09-14 | 1 | -0/+2 |
| | |||||
* | fixes generic instantations in concepts | Araq | 2015-09-12 | 1 | -0/+3 |
| | |||||
* | Merge pull request #3177 from zah/generic-types-in-macros | Andreas Rumpf | 2015-08-14 | 1 | -12/+13 |
|\ | | | | | Generic types in macros | ||||
| * | fix #1858 again; restores the support for static macro params | Zahary Karadjov | 2015-08-02 | 1 | -12/+13 |
| | | |||||
* | | fixes #2752 | Araq | 2015-08-09 | 1 | -3/+4 |
|/ | |||||
* | fixes #2470, fixes #1354 | Araq | 2015-04-28 | 1 | -1/+3 |
| | |||||
* | fixes #2509 | Araq | 2015-04-11 | 1 | -1/+4 |
| | |||||
* | fixes #794 | Araq | 2015-03-07 | 1 | -16/+16 |
| | |||||
* | fixes #2215 | Araq | 2015-02-25 | 1 | -10/+11 |
| | |||||
* | fixes #2125 | Araq | 2015-02-18 | 1 | -8/+18 |
| | |||||
* | Fix typos | Federico Ceratto | 2015-02-15 | 1 | -1/+1 |
| | |||||
* | fixes #2004 | Araq | 2015-02-08 | 1 | -4/+9 |
| | |||||
* | Revert 5e4ae8d | Dustin Lacewell | 2015-01-07 | 1 | -13/+12 |
| | |||||
* | fix #1858; Add support for generic templates and macros | Zahary Karadjov | 2015-01-05 | 1 | -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 Karadjov | 2014-12-31 | 1 | -1/+3 |
| | |||||
* | fixes #1055 | Araq | 2014-11-16 | 1 | -3/+6 |
| | |||||
* | Nimrod renamed to Nim | Araq | 2014-08-28 | 1 | -1/+1 |
| | |||||
* | fixes #669 | Araq | 2014-08-14 | 1 | -1/+2 |
| | |||||
* | Fixed #1172 (for real) | Clay Sweetser | 2014-06-01 | 1 | -3/+5 |
| | |||||
* | removed flawed thread analysis pass | Araq | 2014-04-20 | 1 | -3/+0 |
| | |||||
* | make some tests green | Zahary Karadjov | 2014-03-16 | 1 | -7/+9 |
| | |||||
* | more robust handling of proc signatures containing inter-param type references | Zahary Karadjov | 2014-03-16 | 1 | -11/+58 |
| | |||||
* | first phase of tyGenericParam reforms needed for static params | Zahary Karadjov | 2014-03-16 | 1 | -6/+3 |
| | |||||
* | implements higher-order inline iterators and return type inference for iterators | Zahary Karadjov | 2014-03-08 | 1 | -1/+1 |
| | |||||
* | progress towards fixing tgenericshardcases | Zahary Karadjov | 2014-01-06 | 1 | -2/+1 |
| | |||||
* | clean-up some obsolete code; close #602 | Zahary Karadjov | 2013-12-31 | 1 | -146/+8 |
| | |||||
* | handle recursive types during the instantiation of meta types; propagate ↵ | Zahary Karadjov | 2013-12-30 | 1 | -0/+1 |
| | | | | tfHasMeta more carefully | ||||
* | Merge branch 'upstream' into devel | Zahary Karadjov | 2013-12-29 | 1 | -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 ReplaceTypeVars | Zahary Karadjov | 2013-12-29 | 1 | -1/+2 |
| | | |||||
| * | make more tests green | Zahary Karadjov | 2013-12-29 | 1 | -1/+18 |
| | | |||||
| * | lift generic parameters from concrete composite type classes | Zahary Karadjov | 2013-12-28 | 1 | -1/+4 |
| | | |||||
| * | towards support for composite type classes such as seq[Number] and ↵ | Zahary Karadjov | 2013-12-27 | 1 | -2/+4 |
| | | | | | | | | SquareMatrix[T] | ||||
| * | static params: expr[T] is now static[T] | Zahary Karadjov | 2013-12-19 | 1 | -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 windows | Araq | 2013-12-29 | 1 | -5/+5 |
| | | |||||
* | | case consistency: next steps | Araq | 2013-12-29 | 1 | -1/+1 |
| | | |||||
* | | case consistency part 4 | Araq | 2013-12-27 | 1 | -16/+16 |
| | | |||||
* | | case consistency part 1 | Araq | 2013-12-27 | 1 | -5/+3 |
|/ | |||||
* | progress towards adding negative type classes | Zahary Karadjov | 2013-12-09 | 1 | -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 generics | Zahary Karadjov | 2013-08-23 | 1 | -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 matching | Zahary Karadjov | 2013-08-19 | 1 | -0/+2 |
| | |||||
* | work-in-progress for compiling generics in their owner module | Zahary Karadjov | 2013-08-19 | 1 | -3/+4 |
| | |||||
* | Revert "Revert "made some tests green"" | Zahary Karadjov | 2013-08-19 | 1 | -16/+21 |
| | |||||
* | Revert "Revert "further fixes for void stripping. fixes tvoid."" | Zahary Karadjov | 2013-08-19 | 1 | -20/+25 |
| | | | | This reverts commit d11cf5d1915d83159094f5074a6e17a72c65d9fa. | ||||
* | Revert "Revert "fix threading tests"" | Zahary Karadjov | 2013-08-19 | 1 | -8/+16 |
| | | | | This reverts commit 9c45e33d8c8b1a5f5fca69a467fda87b9b547057. | ||||
* | Revert "Revert "fix tforwardgeneric"" | Zahary Karadjov | 2013-08-19 | 1 | -2/+0 |
| | | | | This reverts commit e3f93241c3824e49b69c647bbd44726a79e8f8f8. | ||||
* | remerge "Fixes #267" | Zahary Karadjov | 2013-08-19 | 1 | -19/+84 |
| | |||||
* | Revert "fixes #267" | Araq | 2013-05-27 | 1 | -84/+19 |
| | | | | This reverts commit 7fccdedcb5d1e583039b2ea2ae6564412a0f5104. |