| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |