summary refs log tree commit diff stats
path: root/compiler/semfold.nim
Commit message (Collapse)AuthorAgeFilesLines
* 'nil' as a statement is deprecated, use an empty 'discard' insteadAraq2014-01-191-2/+2
|
* Merge branch 'upstream' into develZahary Karadjov2013-12-291-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 greenZahary Karadjov2013-12-291-2/+3
| |
| * static params: expr[T] is now static[T]Zahary Karadjov2013-12-191-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 4Araq2013-12-271-29/+29
| |
* | more tests are greenAraq2013-12-081-8/+38
|/
* Merge branch 'master' of github.com:Araq/NimrodAraq2013-08-301-4/+12
|\
| * Experimental support for delayed instantiation of genericsZahary Karadjov2013-08-231-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 #545Araq2013-08-301-2/+5
|/
* new VM: implemented constructors and jump optimizerAraq2013-08-071-1/+1
|
* bugfix: gensymAraq2013-07-251-1/+1
|
* fixes #544Araq2013-07-241-0/+4
|
* fixes #432, fixes #427Araq2013-05-191-1/+8
|
* first steps to the expr/stmt unificationAraq2013-04-301-4/+3
|
* fixes #287; bugfix: subrange checking is performed againAraq2013-04-121-6/+13
|
* Removes executable bit for text files.Grzegorz Adam Hankiewicz2013-03-161-0/+0
|
* bugfix: 'indexOf' for tuple fields worksAraq2013-03-111-2/+9
|
* first steps to implement object construction expressionsAraq2013-03-071-4/+11
|
* make some tests greenAraq2013-03-031-4/+6
|
* the `is` operator now works with type classes and type variablesZahary Karadjov2012-10-031-11/+0
| | | | | bugfixes: the DLL tests were failing on Mac OS X, due to an incorrect DynlibFormat
* term rewriting macros fully implemented; still buggyAraq2012-09-031-2/+10
|
* next steps for tyVarargs/tyOpenArray splitAraq2012-08-141-2/+2
|
* got rid of some mAddU64 etc. magicsAraq2012-07-201-10/+10
|
* equality and hashing for closuresAraq2012-07-171-3/+9
|
* improved unsigned supportAraq2012-07-141-3/+5
|
* more fixes for new integer promotion rules; fixes #152; fixes #157; fixes ↵Araq2012-07-091-1/+4
| | | | #156; fixes #155
* 'addSon' for types deprecated for 'int literal type' analysisAraq2012-07-091-2/+2
|
* changed integer promotion rules; breaks bootstrapping and lots of codeAraq2012-07-081-5/+156
|
* added devel/logging; weakrefs test; next steps for proper unsigned supportAraq2012-07-051-2/+3
|
* changed integer promotion rules; added math.fmodAraq2012-06-281-1/+1
|
* better support for unsigned integers.Zahary Karadjov2012-06-111-6/+6
|
* Added system.staticExec proc for executing external command at compile-timeZahary Karadjov2012-06-021-1/+1
|
* the foundations of a type traits module; better error messages for expr, ↵Zahary Karadjov2012-04-061-1/+1
| | | | typedesc and typeclasses params
* bugfix: semfold supports merging of '&'Araq2012-02-191-0/+10
|
* year 2012 for most copyright headersAraq2012-01-021-1/+1
|
* alias analysis as required for the code gen and the HLOAraq2011-12-081-1/+1
|
* 'assert' is now implemented without compiler magicAraq2011-12-041-0/+4
|
* Merge branch 'master' of github.com:Araq/NimrodAraq2011-11-261-2/+4
|\
| * New algorithm for locating and loading nimrod config files.Zahary Karadjov2011-11-251-2/+4
| | | | | | | | Some new options added to the compiler (see news.txt for details)
* | fixed bug that kept tls emulation from workingAraq2011-11-251-3/+3
|/
* bugfix: 'when' sections in generic objects now work, so TThread[void] compilesAraq2011-11-201-1/+3
|
* constant folding for cnst[i] and cnst.attrAraq2011-10-291-9/+64
|
* Cleaned up the circular dependecies and remaining issuesZahary Karadjov2011-10-071-1/+1
| | | | Changed: The []= operator for strings and sequences is now capable of splicing
* getAst works correctly with existing AST values as template/macro argumentsZahary Karadjov2011-10-071-1/+1
|
* code generator supports constant sequences; more consistent compile time ↵Araq2011-10-071-9/+11
| | | | evaluation
* Moved the parseAST magics to evals.nimZahary Karadjov2011-09-201-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 nkPassAsOpenArrayAraq2011-08-161-1/+0
|
* 'is' operator for generic codeAraq2011-07-311-5/+5
|
* deprecated system.copy: use system.substr insteadAraq2011-05-141-2/+2
|
* newStringOfCap implemented and used to optimize some procsAraq2011-05-081-2/+3
|