| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | introduce tyFromExpr; fixes #618 | Zahary Karadjov | 2014-01-04 | 1 | -8/+20 |
| | | |||||
| * | Templates will pick the candidate in the nearest scope when symbols are mixed-in | Zahary Karadjov | 2013-12-31 | 1 | -0/+4 |
| | | |||||
| * | handle recursive types during the instantiation of meta types; propagate ↵ | Zahary Karadjov | 2013-12-30 | 1 | -2/+6 |
| | | | | | tfHasMeta more carefully | ||||
| * | restore return type inference | Zahary Karadjov | 2013-12-30 | 1 | -0/+3 |
| | | |||||
| * | Merge branch 'upstream' into devel | Zahary Karadjov | 2013-12-29 | 1 | -11/+25 |
| |\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | -5/+15 |
| | | | |||||
| | * | towards support for composite type classes such as seq[Number] and ↵ | Zahary Karadjov | 2013-12-27 | 1 | -1/+2 |
| | | | | | | | | | SquareMatrix[T] | ||||
| | * | better integration of tyStatic into typeRel | Zahary Karadjov | 2013-12-25 | 1 | -0/+1 |
| | | | |||||
| | * | wip type class reforms (the compiler bootstraps fine) | Zahary Karadjov | 2013-12-25 | 1 | -4/+4 |
| | | | | | | | | | | | | | * replace tfAny and tfAll with tyAnd and tyOr * integrate matchTypeClass into typeRel * introduce tyBuiltInTypeClass to handle types such as tuple, object, proc, etc | ||||
| | * | static params: expr[T] is now static[T] | Zahary Karadjov | 2013-12-19 | 1 | -3/+5 |
| | | | | | | | | | | | | | | | 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 | -9/+9 |
| | | | |||||
| * | | case consistency: next steps | Araq | 2013-12-29 | 1 | -7/+7 |
| | | | |||||
| * | | case consistency part 4 | Araq | 2013-12-27 | 1 | -11/+11 |
| | | | |||||
| * | | case consistency part 3 | Araq | 2013-12-27 | 1 | -4/+4 |
| | | | |||||
| * | | Merge branch 'vm2' of github.com:Araq/Nimrod into vm2 | Araq | 2013-12-24 | 1 | -1/+2 |
| |\ \ | |||||
| | * | | Merge branch 'master' into vm2 | Araq | 2013-12-13 | 1 | -1/+10 |
| | |\| | |||||
| | * | | Merge branch 'master' into vm2 | Araq | 2013-12-05 | 1 | -2/+0 |
| | |\ \ | | | | | | | | | | | | | | | | | Conflicts: compiler/sem.nim | ||||
| | * | | | VM now supports lambda lifting | Araq | 2013-11-06 | 1 | -1/+2 |
| | | | | | |||||
| * | | | | Correct the spelling of the word 'implicitly' | Satish BD | 2013-12-23 | 1 | -2/+2 |
| | |_|/ |/| | | |||||
| * | | | progress towards adding negative type classes | Zahary Karadjov | 2013-12-09 | 1 | -1/+10 |
| | |/ |/| | | | | | | | | | [unittest bugfixes] the block form of check now allows comments errors when inspecting the arguments of var-accepting procs | ||||
| * | | support for multiple test variables and var qualifiers in user-defined type ↵ | Zahary Karadjov | 2013-11-13 | 1 | -2/+0 |
| |/ | | | | classes | ||||
| * | 'noStackFrame' implies 'naked' in the generated C code | Araq | 2013-10-06 | 1 | -2/+2 |
| | | |||||
| * | implemented 'import a as b' | Araq | 2013-09-24 | 1 | -2/+21 |
| | | |||||
| * | fixes #576 | Araq | 2013-09-18 | 1 | -1/+2 |
| | | |||||
| * | implemented the using statement | Zahary Karadjov | 2013-08-31 | 1 | -0/+2 |
| | | |||||
| * | fix tnoop | Zahary Karadjov | 2013-08-26 | 1 | -0/+1 |
| | | | | | | | | | This commit requires further investigation. Fixing semExpr(nkCall) once and for all to work with sym-choices and to allow overloading with immediate templates and macros will probably set this straight too. | ||||
| * | implemented delegators and improved the error messages of unmatched type classes | Zahary Karadjov | 2013-08-26 | 1 | -2/+4 |
| | | |||||
| * | working code for simple cases of user-defined type classes | Zahary Karadjov | 2013-08-25 | 1 | -0/+3 |
| | | |||||
| * | parsing of user defined type classes | Zahary Karadjov | 2013-08-23 | 1 | -0/+1 |
| | | |||||
| * | Experimental support for delayed instantiation of generics | Zahary Karadjov | 2013-08-23 | 1 | -3/+4 |
| | | | | | | | | | | | | | | | | | | | | | 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. | ||||
| * | check the owners of generic instantiations properly and fix tinvalidclosure | Zahary Karadjov | 2013-08-19 | 1 | -1/+10 |
| | | |||||
| * | Revert "Revert "made some tests green"" | Zahary Karadjov | 2013-08-19 | 1 | -1/+2 |
| | | |||||
| * | Revert "Revert "fix tforwardgeneric"" | Zahary Karadjov | 2013-08-19 | 1 | -2/+2 |
| | | | | | This reverts commit e3f93241c3824e49b69c647bbd44726a79e8f8f8. | ||||
| * | Revert "Revert "static and default params for generics"" | Zahary Karadjov | 2013-08-19 | 1 | -0/+2 |
| | | | | | This reverts commit 0662ec4a434f4656b5afc486bc4ebaab82c52da6. | ||||
| * | remerge "Fixes #267" | Zahary Karadjov | 2013-08-19 | 1 | -10/+5 |
| | | |||||
| * | lfFullExternalName for 'nimrod pretty' | Araq | 2013-07-30 | 1 | -0/+3 |
| | | |||||
| * | added macros.genSym | Araq | 2013-07-24 | 1 | -1/+1 |
| | | |||||
| * | refactorings for the eval engine; bugfix: clean templates as accessors | Araq | 2013-07-19 | 1 | -6/+6 |
| | | |||||
| * | some small performance improvement for the evaluator | Araq | 2013-06-28 | 1 | -0/+1 |
| | | |||||
| * | implements the 'codegenDecl' pragma | Araq | 2013-06-27 | 1 | -3/+3 |
| | | |||||
| * | fixed a long standing xml parser bug; html parser bugfixes + speed improvements | Araq | 2013-06-27 | 1 | -0/+3 |
| | | |||||
| * | improvements for 'not nil' checking | Araq | 2013-06-13 | 1 | -3/+11 |
| | | |||||
| * | implemented large parts of the 'not nil' checking | Araq | 2013-06-09 | 1 | -6/+23 |
| | | |||||
| * | fixes #385 | Araq | 2013-06-03 | 1 | -1/+32 |
| | | |||||
| * | astToStr is now immediate | Araq | 2013-06-02 | 1 | -0/+11 |
| | | |||||
| * | Revert "fixes #267" | Araq | 2013-05-27 | 1 | -5/+10 |
| | | | | | This reverts commit 7fccdedcb5d1e583039b2ea2ae6564412a0f5104. | ||||
| * | Revert "static and default params for generics" | Araq | 2013-05-27 | 1 | -2/+0 |
| | | | | | This reverts commit 46813bbe4e1423181521d4792b9af7593f48fa1f. | ||||
| * | Revert "fix tforwardgeneric" | Araq | 2013-05-27 | 1 | -2/+2 |
| | | | | | This reverts commit d82a032566de1612ff1ed2d82cc7ec2bd58267d7. | ||||
| * | Revert "more test made green" | Araq | 2013-05-27 | 1 | -2/+1 |
| | | | | | This reverts commit 911e6e710f28f454cf8bc1bb493c1a28c4694b76. | ||||
| * | more test made green | Zahary Karadjov | 2013-05-26 | 1 | -1/+2 |
| | | | | | | | | | | the lambda lifting was trying too hard to ignore generic prods isGenericRoutine was producing false-negatives and only this allowed for some of the warning and error messages to be triggered. some files with mixed line endings were fixed | ||||