summary refs log tree commit diff stats
path: root/compiler/evals.nim
Commit message (Collapse)AuthorAgeFilesLines
* make more tests greenZahary Karadjov2013-12-291-6/+4
|
* better integration of tyStatic into typeRelZahary Karadjov2013-12-251-1/+1
|
* static params: expr[T] is now static[T]Zahary Karadjov2013-12-191-3/+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.
* fixes #708Zahary Karadjov2013-12-071-3/+1
| | | | | | | It's unclear to me why for variables were treated as globals. This is likely to cause many problems, but in this particular case it was breaking the unittest/insepectArgs recursive function (the for loop variable has a different value in each stack frame)
* support for multiple modules of the same name; niminst supports 'platforms'; ↵Araq2013-09-241-8/+11
| | | | minor bugfixes
* Add arity typetraitMark Flamer2013-09-021-0/+4
|
* prevent eval crashes due to PContext-dependent ops not being available in ↵Zahary Karadjov2013-08-251-8/+1
| | | | evalConstExpr
* working code for simple cases of user-defined type classesZahary Karadjov2013-08-251-29/+3
|
* pass-through of static int generic params to arrays when late instantiation ↵Zahary Karadjov2013-08-231-2/+1
| | | | is disabled
* Experimental support for delayed instantiation of genericsZahary Karadjov2013-08-231-12/+10
| | | | | | | | | | | | | | | | | | | | 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.
* fixes token's column informationAraq2013-07-301-9/+2
|
* added macros.genSymAraq2013-07-241-0/+10
|
* 'modules' module from 'main'; minor bugfixesAraq2013-07-201-1/+0
|
* refactorings for the eval engine; bugfix: clean templates as accessorsAraq2013-07-191-140/+114
|
* fixes lots of regressionsAraq2013-06-291-5/+6
|
* bugfix: typoAraq2013-06-291-1/+1
|
* got rid of debug callsAraq2013-06-281-3/+1
|
* some small performance improvement for the evaluatorAraq2013-06-281-36/+53
|
* small REPL improvementsAraq2013-06-281-4/+5
|
* var tuple unpacking works at compile timeAraq2013-06-281-30/+41
|
* fixes #399Araq2013-05-181-1/+2
|
* Update evals.nimBillingsly Wetherfordshire2013-04-251-2/+2
|
* fixes #368Araq2013-04-081-2/+4
|
* bugfix evals.nimAraq2013-04-071-2/+3
|
* optimized evals.nim a bitAraq2013-04-071-8/+8
|
* Removes executable bit for text files.Grzegorz Adam Hankiewicz2013-03-161-0/+0
|
* first steps to implement object construction expressionsAraq2013-03-071-7/+25
|
* made some tests greenAraq2013-03-041-3/+3
|
* don't eval wrong codeAraq2013-02-241-1/+7
|
* micro optimizations for the evaluation engineAraq2013-02-141-29/+41
|
* merged upstream masterZahary Karadjov2013-01-271-46/+93
|\
| * fixes #293Araq2013-01-081-2/+2
| |
| * next steps for FFI at compile timeAraq2013-01-021-8/+15
| |
| * fixed a newly introduced c2nim bug; many untested improvements to the FFI at ↵Araq2012-12-311-4/+25
| | | | | | | | compile time
| * small examples work with the FFIAraq2012-12-191-9/+8
| |
| * first steps for FFI support at compile timeAraq2012-12-191-38/+58
| |
* | CaaS in-memory cachingZahary Karadjov2012-11-281-5/+4
| | | | | | | | | | removed some redundant filepath params and variables and switched to canonical paths in most places
* | caas is now drivable through stdinZahary Karadjov2012-11-281-5/+1
|/ | | | | * added idetools --eval * streams.readLine recognises and applies the backspace character
* next steps for first class iteratorsAraq2012-11-261-1/+7
|
* AST quasi-quoting for macrosZahary Karadjov2012-11-111-1/+1
|
* syntax compatibility between do blocks and stmt blocksZahary Karadjov2012-10-041-1/+1
| | | | | | | | | | | | See the section `do notation` in the manual for more info. * nkMacroStmt has been removed Macro statements are now mapped to regular nkCall nodes. The support for additional clauses (such as else, except, of, etc) have been restored - they will now appear as additional arguments for the nkCall node (as nkElse, nkExcept, etc nodes) * fixed some regressions in the `is` operator and semCompiles
* next steps for 'compiler as a service'Araq2012-10-031-1/+1
|
* experimental support for querying the type of expressions within macrosZahary Karadjov2012-10-031-2/+7
| | | | normalised the line endings of macros.nim (minor edits otherwise)
* the `is` operator now works with type classes and type variablesZahary Karadjov2012-10-031-1/+25
| | | | | bugfixes: the DLL tests were failing on Mac OS X, due to an incorrect DynlibFormat
* improved support for typedesc valuesZahary Karadjov2012-09-251-3/+5
| | | | | * can be stored in constants and variables (including in containers like sequences) * can be passed to and returned from macros
* type trais used to work only on user-defined types. see #202Zahary Karadjov2012-09-131-2/+1
|
* parameter passing works the same for macros and templates; use callsite ↵Araq2012-08-281-11/+33
| | | | magic to access the invokation AST
* bindSym suffices; no 'bind' for macros anymoreAraq2012-08-251-38/+5
|
* implemented 'bind' for macrosAraq2012-08-241-0/+36
|
* next steps to hygienic templatesAraq2012-08-201-2/+2
|