| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 'nil' as a statement is deprecated, use an empty 'discard' instead | Araq | 2014-01-19 | 1 | -1/+1 |
| | | |||||
| * | Merge branch 'upstream' into devel | Zahary Karadjov | 2013-12-29 | 1 | -8/+7 |
| |\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | ||||
| | * | make more tests green | Zahary Karadjov | 2013-12-29 | 1 | -4/+3 |
| | | | |||||
| | * | static params: expr[T] is now static[T] | Zahary Karadjov | 2013-12-19 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | 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: next steps | Araq | 2013-12-29 | 1 | -1/+1 |
| | | | |||||
| * | | case consistency part 4 | Araq | 2013-12-27 | 1 | -7/+7 |
| | | | |||||
| * | | new VM: globals kinda work | Araq | 2013-12-13 | 1 | -1/+3 |
| | | | |||||
| * | | new VM: improvements | Araq | 2013-12-12 | 1 | -11/+6 |
| | | | |||||
| * | | compiler bootstraps with new VM | Araq | 2013-10-15 | 1 | -0/+17 |
| |/ | |||||
| * | implemented delegators and improved the error messages of unmatched type classes | Zahary Karadjov | 2013-08-26 | 1 | -0/+1 |
| | | |||||
| * | Experimental support for delayed instantiation of generics | Zahary Karadjov | 2013-08-23 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | 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. | ||||
| * | get rid of ImportTablePos and ModuleTablePos | Zahary Karadjov | 2013-05-12 | 1 | -2/+3 |
| | | |||||
| * | test-runner for caas multi-step tests | Zahary Karadjov | 2013-05-04 | 1 | -1/+2 |
| | | |||||
| * | added system.locals | Araq | 2013-03-21 | 1 | -1/+29 |
| | | |||||
| * | improved support for typedesc values | Zahary Karadjov | 2012-09-25 | 1 | -2/+6 |
| | | | | | | * can be stored in constants and variables (including in containers like sequences) * can be passed to and returned from macros | ||||
| * | distinguish properly between nkOpen and nkClosedSymChoice | Araq | 2012-08-26 | 1 | -3/+9 |
| | | |||||
| * | bindSym suffices; no 'bind' for macros anymore | Araq | 2012-08-25 | 1 | -0/+19 |
| | | |||||
| * | better error handling for better idetools support | Araq | 2012-07-29 | 1 | -1/+1 |
| | | |||||
| * | better overloading capabilities for 'shallowCopy'; little bugfix for ↵ | Araq | 2012-07-29 | 1 | -0/+2 |
| | | | | | 'system.compiles' | ||||
| * | changed integer promotion rules; breaks bootstrapping and lots of code | Araq | 2012-07-08 | 1 | -0/+6 |
| | | |||||
| * | Added system.staticExec proc for executing external command at compile-time | Zahary Karadjov | 2012-06-02 | 1 | -14/+0 |
| | | |||||
| * | the foundations of a type traits module; better error messages for expr, ↵ | Zahary Karadjov | 2012-04-06 | 1 | -0/+11 |
| | | | | | typedesc and typeclasses params | ||||
| * | some bugfixes for symbolfiles | Araq | 2012-03-23 | 1 | -1/+1 |
| | | |||||
| * | pragma blocks; fixed line information issue with user defined assertions | Araq | 2012-01-17 | 1 | -0/+18 |
| | | |||||
| * | year 2012 for most copyright headers | Araq | 2012-01-02 | 1 | -1/+1 |
| | | |||||
| * | codegen uses alias analysis to generate better code | Araq | 2011-12-10 | 1 | -1/+3 |
| | | |||||
| * | alias analysis as required for the code gen and the HLO | Araq | 2011-12-08 | 1 | -0/+36 |