Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 'nil' as a statement is deprecated, use an empty 'discard' instead | Araq | 2014-01-19 | 1 | -2/+2 |
| | |||||
* | Merge branch 'upstream' into devel | Zahary Karadjov | 2013-12-29 | 1 | -4/+6 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | -2/+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 part 4 | Araq | 2013-12-27 | 1 | -29/+29 |
| | | |||||
* | | more tests are green | Araq | 2013-12-08 | 1 | -8/+38 |
|/ | |||||
* | Merge branch 'master' of github.com:Araq/Nimrod | Araq | 2013-08-30 | 1 | -4/+12 |
|\ | |||||
| * | Experimental support for delayed instantiation of generics | Zahary Karadjov | 2013-08-23 | 1 | -4/+12 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | ||||
* | | float64 is now an alias to 'float'; fixes #545 | Araq | 2013-08-30 | 1 | -2/+5 |
|/ | |||||
* | new VM: implemented constructors and jump optimizer | Araq | 2013-08-07 | 1 | -1/+1 |
| | |||||
* | bugfix: gensym | Araq | 2013-07-25 | 1 | -1/+1 |
| | |||||
* | fixes #544 | Araq | 2013-07-24 | 1 | -0/+4 |
| | |||||
* | fixes #432, fixes #427 | Araq | 2013-05-19 | 1 | -1/+8 |
| | |||||
* | first steps to the expr/stmt unification | Araq | 2013-04-30 | 1 | -4/+3 |
| | |||||
* | fixes #287; bugfix: subrange checking is performed again | Araq | 2013-04-12 | 1 | -6/+13 |
| | |||||
* | Removes executable bit for text files. | Grzegorz Adam Hankiewicz | 2013-03-16 | 1 | -0/+0 |
| | |||||
* | bugfix: 'indexOf' for tuple fields works | Araq | 2013-03-11 | 1 | -2/+9 |
| | |||||
* | first steps to implement object construction expressions | Araq | 2013-03-07 | 1 | -4/+11 |
| | |||||
* | make some tests green | Araq | 2013-03-03 | 1 | -4/+6 |
| | |||||
* | the `is` operator now works with type classes and type variables | Zahary Karadjov | 2012-10-03 | 1 | -11/+0 |
| | | | | | bugfixes: the DLL tests were failing on Mac OS X, due to an incorrect DynlibFormat | ||||
* | term rewriting macros fully implemented; still buggy | Araq | 2012-09-03 | 1 | -2/+10 |
| | |||||
* | next steps for tyVarargs/tyOpenArray split | Araq | 2012-08-14 | 1 | -2/+2 |
| | |||||
* | got rid of some mAddU64 etc. magics | Araq | 2012-07-20 | 1 | -10/+10 |
| | |||||
* | equality and hashing for closures | Araq | 2012-07-17 | 1 | -3/+9 |
| | |||||
* | improved unsigned support | Araq | 2012-07-14 | 1 | -3/+5 |
| | |||||
* | more fixes for new integer promotion rules; fixes #152; fixes #157; fixes ↵ | Araq | 2012-07-09 | 1 | -1/+4 |
| | | | | #156; fixes #155 | ||||
* | 'addSon' for types deprecated for 'int literal type' analysis | Araq | 2012-07-09 | 1 | -2/+2 |
| | |||||
* | changed integer promotion rules; breaks bootstrapping and lots of code | Araq | 2012-07-08 | 1 | -5/+156 |
| | |||||
* | added devel/logging; weakrefs test; next steps for proper unsigned support | Araq | 2012-07-05 | 1 | -2/+3 |
| | |||||
* | changed integer promotion rules; added math.fmod | Araq | 2012-06-28 | 1 | -1/+1 |
| | |||||
* | better support for unsigned integers. | Zahary Karadjov | 2012-06-11 | 1 | -6/+6 |
| | |||||
* | Added system.staticExec proc for executing external command at compile-time | Zahary Karadjov | 2012-06-02 | 1 | -1/+1 |
| | |||||
* | the foundations of a type traits module; better error messages for expr, ↵ | Zahary Karadjov | 2012-04-06 | 1 | -1/+1 |
| | | | | typedesc and typeclasses params | ||||
* | bugfix: semfold supports merging of '&' | Araq | 2012-02-19 | 1 | -0/+10 |
| | |||||
* | year 2012 for most copyright headers | Araq | 2012-01-02 | 1 | -1/+1 |
| | |||||
* | alias analysis as required for the code gen and the HLO | Araq | 2011-12-08 | 1 | -1/+1 |
| | |||||
* | 'assert' is now implemented without compiler magic | Araq | 2011-12-04 | 1 | -0/+4 |
| | |||||
* | Merge branch 'master' of github.com:Araq/Nimrod | Araq | 2011-11-26 | 1 | -2/+4 |
|\ | |||||
| * | New algorithm for locating and loading nimrod config files. | Zahary Karadjov | 2011-11-25 | 1 | -2/+4 |
| | | | | | | | | Some new options added to the compiler (see news.txt for details) | ||||
* | | fixed bug that kept tls emulation from working | Araq | 2011-11-25 | 1 | -3/+3 |
|/ | |||||
* | bugfix: 'when' sections in generic objects now work, so TThread[void] compiles | Araq | 2011-11-20 | 1 | -1/+3 |
| | |||||
* | constant folding for cnst[i] and cnst.attr | Araq | 2011-10-29 | 1 | -9/+64 |
| | |||||
* | Cleaned up the circular dependecies and remaining issues | Zahary Karadjov | 2011-10-07 | 1 | -1/+1 |
| | | | | Changed: The []= operator for strings and sequences is now capable of splicing | ||||
* | getAst works correctly with existing AST values as template/macro arguments | Zahary Karadjov | 2011-10-07 | 1 | -1/+1 |
| | |||||
* | code generator supports constant sequences; more consistent compile time ↵ | Araq | 2011-10-07 | 1 | -9/+11 |
| | | | | evaluation | ||||
* | Moved the parseAST magics to evals.nim | Zahary Karadjov | 2011-09-20 | 1 | -0/+1 |
| | | | | | | | | | | | | | | Added string interpolation helper routines in parserutils Added a proof-of-concept string interpolation user-land macros (currently, only as a test case): the interpolated expression could either be transformed to concat("literal string ", $(interpolated), " end") or "literal string $1 end" % [$(interpolated)] Added a very initial definition of Optional[T] generic type A new overload of ParseIdent was added in hope to get around the fact that the old one doesn't work correctly in macros, but the problem persists. | ||||
* | finally got rid of nkPassAsOpenArray | Araq | 2011-08-16 | 1 | -1/+0 |
| | |||||
* | 'is' operator for generic code | Araq | 2011-07-31 | 1 | -5/+5 |
| | |||||
* | deprecated system.copy: use system.substr instead | Araq | 2011-05-14 | 1 | -2/+2 |
| | |||||
* | newStringOfCap implemented and used to optimize some procs | Araq | 2011-05-08 | 1 | -2/+3 |
| |