Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Revert "fix tforwardgeneric" | Araq | 2013-05-27 | 1 | -0/+2 |
| | | | | This reverts commit d82a032566de1612ff1ed2d82cc7ec2bd58267d7. | ||||
* | Revert "fix threading tests" | Araq | 2013-05-27 | 1 | -16/+8 |
| | | | | This reverts commit d5fffc032f2b390abd7b4c4fea2e49b1a0ef9736. | ||||
* | Revert "further fixes for void stripping. fixes tvoid." | Araq | 2013-05-27 | 1 | -25/+20 |
| | | | | This reverts commit 4ae4005f805c5b2e329b2e060fcf40169238a9f9. | ||||
* | Revert "more test made green" | Araq | 2013-05-27 | 1 | -21/+16 |
| | | | | This reverts commit 911e6e710f28f454cf8bc1bb493c1a28c4694b76. | ||||
* | more test made green | Zahary Karadjov | 2013-05-26 | 1 | -16/+21 |
| | | | | | | | | | 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 | ||||
* | further fixes for void stripping. fixes tvoid. | Zahary Karadjov | 2013-05-26 | 1 | -20/+25 |
| | |||||
* | fix threading tests | Zahary Karadjov | 2013-05-26 | 1 | -8/+16 |
| | | | | | * more type names are valid expressions now * void is properly stripped off during generic instantiation | ||||
* | fix tforwardgeneric | Zahary Karadjov | 2013-05-26 | 1 | -2/+0 |
| | |||||
* | fixes #267 | Zahary Karadjov | 2013-05-26 | 1 | -19/+84 |
| | |||||
* | switch to a linked list of scopes | Zahary Karadjov | 2013-05-11 | 1 | -4/+4 |
| | |||||
* | Removes executable bit for text files. | Grzegorz Adam Hankiewicz | 2013-03-16 | 1 | -0/+0 |
| | |||||
* | merged upstream master | Zahary Karadjov | 2013-01-27 | 1 | -3/+3 |
|\ | |||||
| * | implemented generic multi methods | Araq | 2013-01-16 | 1 | -0/+1 |
| | | |||||
| * | some fixes for generic first class iterators | Araq | 2012-12-15 | 1 | -3/+3 |
| | | |||||
* | | remove any traces of the old global generics cache | Zahary Karadjov | 2013-01-27 | 1 | -4/+4 |
| | | |||||
* | | store the instantiation cache in the generic symbol | Zahary Karadjov | 2012-11-28 | 1 | -20/+16 |
|/ | |||||
* | implemented return type inference | Zahary Karadjov | 2012-10-03 | 1 | -3/+8 |
| | | | | | | Other fixes: * bind once is now the default for type classes as documented in the manual * fixes an issue in template overloading (erroneous ambiguity when different typedesc params were used) | ||||
* | improved support for typedesc values | Zahary Karadjov | 2012-09-25 | 1 | -34/+5 |
| | | | | | * can be stored in constants and variables (including in containers like sequences) * can be passed to and returned from macros | ||||
* | proc bodies can be expressions with a type | Araq | 2012-09-22 | 1 | -1/+1 |
| | |||||
* | fixes #194 | Araq | 2012-09-20 | 1 | -1/+17 |
| | |||||
* | made more tests green; fixes #201 | Araq | 2012-09-12 | 1 | -3/+4 |
| | |||||
* | term rewriting improvements | Araq | 2012-09-08 | 1 | -0/+1 |
| | |||||
* | implemented generic templates | Araq | 2012-08-27 | 1 | -1/+4 |
| | |||||
* | next steps to hygienic templates | Araq | 2012-08-20 | 1 | -2/+1 |
| | |||||
* | top level closures should work; transf is not a pass anymore; next steps for ↵ | Araq | 2012-08-13 | 1 | -2/+1 |
| | | | | first class iterator support | ||||
* | idetools: 'usages' and 'def' should work now; documented js backend | Araq | 2012-08-05 | 1 | -2/+2 |
| | |||||
* | 'addSon' for types deprecated for 'int literal type' analysis | Araq | 2012-07-09 | 1 | -1/+1 |
| | |||||
* | added proc annotations: macros invoked as pragmas | Araq | 2012-06-26 | 1 | -2/+2 |
| | |||||
* | somewhat working closures | Araq | 2012-06-19 | 1 | -1/+3 |
| | |||||
* | typedesc and expr params | Zahary Karadjov | 2012-03-31 | 1 | -1/+1 |
| | | | | | | | | | | | | types are now valid proc/template/macro params and you can overload over them: proc foo(T: typedesc) # accept any type proc foo(T: typedesc{int}) # overload specifically for int proc foo(T: typedesc{int or float or Callable}) # overload for any type matching the constraints expr{type} is a param expecting compile time value of the designated type (or type class). when typedesc or expr params are used with a proc, the proc will be instantiated once for each unique type/value used as parameter. | ||||
* | generic types can be used like type classes. distinct can be applied to type ↵ | Zahary Karadjov | 2012-03-25 | 1 | -3/+1 |
| | | | | classes. | ||||
* | expr params implemented for procs; paving the way for type classes | Zahary Karadjov | 2012-03-22 | 1 | -6/+38 |
| | |||||
* | clean separation of PNimrodNode and tyExpr | Araq | 2012-03-16 | 1 | -2/+3 |
| | |||||
* | year 2012 for most copyright headers | Araq | 2012-01-02 | 1 | -1/+1 |
| | |||||
* | proc arguments are in scope when the result type definition is being processed | Zahary Karadjov | 2011-12-09 | 1 | -1/+2 |
| | | | | | This is intended for type deduction depending on the arguments proc foo(x: type): type(expr(x)) | ||||
* | bugfixes: objects still invalid for constants; fixed a typo concerning ↵ | Araq | 2011-11-15 | 1 | -4/+3 |
| | | | | 'high' in eval context | ||||
* | lazy loading of body ast implemented | Araq | 2011-10-30 | 1 | -4/+7 |
| | |||||
* | compilation cache: mostly working; generics not yet | Araq | 2011-10-25 | 1 | -14/+13 |
| | |||||
* | bugfixes for generics; new threads implementation still broken | Araq | 2011-09-20 | 1 | -0/+15 |
| | |||||
* | modifyable results for generics; teventemitter works | Araq | 2011-08-09 | 1 | -2/+1 |
| | |||||
* | fixes #35, fixes #43 | Araq | 2011-08-08 | 1 | -1/+2 |
| | |||||
* | bugfix: forwarding of generic procs now works | Araq | 2011-07-30 | 1 | -13/+30 |
| | |||||
* | bugfixes; step one for 'var T' as return type support | Araq | 2011-07-28 | 1 | -0/+1 |
| | |||||
* | bugfix: proper cache for generic instantiations | Araq | 2011-07-21 | 1 | -25/+29 |
| | |||||
* | first steps to explicit channels for thread communication; added mainThreadId | Araq | 2011-07-16 | 1 | -1/+1 |
| | |||||
* | preparations for 0.8.12 | Araq | 2011-07-10 | 1 | -0/+2 |
| | |||||
* | bugfix: invoking a generic iterator twice triggers a code gen bug (titer2) | Araq | 2011-06-20 | 1 | -0/+3 |
| | |||||
* | bugfix: typeinfo generation for tuples | Araq | 2011-06-19 | 1 | -9/+6 |
| | |||||
* | big repo cleanup | Araq | 2011-04-12 | 1 | -0/+128 |