Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | implemented case expressions | Zahary Karadjov | 2012-10-03 | 1 | -0/+5 |
| | |||||
* | implemented return type inference | Zahary Karadjov | 2012-10-03 | 1 | -0/+2 |
| | | | | | | 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 | -0/+6 |
| | | | | | * 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 | -0/+1 |
| | |||||
* | semExpr/semStmt merged | Araq | 2012-09-13 | 1 | -0/+4 |
| | |||||
* | term rewriting macros fully implemented; still buggy | Araq | 2012-09-03 | 1 | -5/+18 |
| | |||||
* | next steps towards term rewriting macros; simple examples work | Araq | 2012-08-30 | 1 | -8/+9 |
| | |||||
* | first steps towards term rewriting macros | Araq | 2012-08-30 | 1 | -5/+10 |
| | |||||
* | parameter passing works the same for macros and templates; use callsite ↵ | Araq | 2012-08-28 | 1 | -1/+1 |
| | | | | magic to access the invokation AST | ||||
* | distinguish properly between nkOpen and nkClosedSymChoice | Araq | 2012-08-26 | 1 | -1/+7 |
| | |||||
* | bindSym suffices; no 'bind' for macros anymore | Araq | 2012-08-25 | 1 | -1/+1 |
| | |||||
* | objects with no ancestor are not implicitely final | Araq | 2012-08-24 | 1 | -2/+3 |
| | |||||
* | implemented 'bind' for macros | Araq | 2012-08-24 | 1 | -0/+1 |
| | |||||
* | next steps to hygienic templates | Araq | 2012-08-20 | 1 | -7/+11 |
| | |||||
* | first steps to make templates hygienic | Araq | 2012-08-20 | 1 | -15/+3 |
| | |||||
* | bycopy/byref for object/tuple types | Araq | 2012-08-16 | 1 | -2/+4 |
| | |||||
* | next steps for tyVarargs/tyOpenArray split | Araq | 2012-08-14 | 1 | -1/+2 |
| | |||||
* | first steps for varargs support | Araq | 2012-08-13 | 1 | -1/+1 |
| | |||||
* | top level closures should work; transf is not a pass anymore; next steps for ↵ | Araq | 2012-08-13 | 1 | -1/+3 |
| | | | | first class iterator support | ||||
* | idetools: 'usages' and 'def' should work now; documented js backend | Araq | 2012-08-05 | 1 | -1/+2 |
| | |||||
* | idetools improvements | Araq | 2012-08-03 | 1 | -0/+1 |
| | |||||
* | idetools improvements; preparation of first class iterators; fixes #183 | Araq | 2012-08-02 | 1 | -1/+3 |
| | |||||
* | next steps for closure consistency; fixes #176 | Araq | 2012-07-25 | 1 | -0/+8 |
| | |||||
* | added system.compiles | Araq | 2012-07-20 | 1 | -1/+2 |
| | |||||
* | got rid of some mAddU64 etc. magics | Araq | 2012-07-20 | 1 | -2/+2 |
| | |||||
* | removed nimdat in favor of per-module dat init procs | Zahary Karadjov | 2012-07-19 | 1 | -0/+2 |
| | |||||
* | make tests green again | Araq | 2012-07-17 | 1 | -1/+1 |
| | |||||
* | work on closures continues; fixed #116 | Araq | 2012-07-13 | 1 | -3/+1 |
| | |||||
* | 'addSon' for types deprecated for 'int literal type' analysis | Araq | 2012-07-09 | 1 | -6/+9 |
| | |||||
* | changed integer promotion rules; breaks bootstrapping and lots of code | Araq | 2012-07-08 | 1 | -1/+2 |
| | |||||
* | changed integer promotion rules; added math.fmod | Araq | 2012-06-28 | 1 | -4/+3 |
| | |||||
* | documentation improvements; added system.gorge (for Araq's fun) | Araq | 2012-06-22 | 1 | -0/+2 |
| | |||||
* | Merge branch 'master' of github.com:Araq/Nimrod | Araq | 2012-06-19 | 1 | -15/+28 |
|\ | |||||
| * | more uint related fixes | Zahary Karadjov | 2012-06-14 | 1 | -1/+2 |
| | | |||||
| * | better support for unsigned integers. | Zahary Karadjov | 2012-06-11 | 1 | -15/+25 |
| | | |||||
| * | destructor pragma | Zahary Karadjov | 2012-06-07 | 1 | -0/+1 |
| | | |||||
| * | destructors for case values | Zahary Karadjov | 2012-06-07 | 1 | -0/+1 |
| | | |||||
* | | first implementation of new lambda lifting | Araq | 2012-06-15 | 1 | -0/+3 |
|/ | |||||
* | Merge branch 'master' of github.com:Araq/Nimrod into upstream | Zahary Karadjov | 2012-06-02 | 1 | -1/+2 |
|\ | |||||
| * | added system.||; lacks runtime support | Araq | 2012-05-23 | 1 | -1/+2 |
| | | |||||
* | | Added system.staticExec proc for executing external command at compile-time | Zahary Karadjov | 2012-06-02 | 1 | -1/+14 |
| | | |||||
* | | codegen for user-defined destructors | Zahary Karadjov | 2012-05-25 | 1 | -0/+3 |
|/ | |||||
* | experimental support for preserving local variable names in the generated code | Zahary Karadjov | 2012-04-13 | 1 | -10/+18 |
| | |||||
* | the foundations of a type traits module; better error messages for expr, ↵ | Zahary Karadjov | 2012-04-06 | 1 | -1/+7 |
| | | | | typedesc and typeclasses params | ||||
* | when expressions, proper rendering for nkDo and nkLambda and parser support ↵ | Zahary Karadjov | 2012-04-05 | 1 | -1/+6 |
| | | | | for x.type and x.addr | ||||
* | Merge branch 'master' of github.com:Araq/Nimrod into upstream | Zahary Karadjov | 2012-03-31 | 1 | -3/+2 |
|\ | |||||
| * | some bugfixes for symbolfiles | Araq | 2012-03-23 | 1 | -3/+2 |
| | | |||||
* | | typedesc and expr params | Zahary Karadjov | 2012-03-31 | 1 | -0/+9 |
| | | | | | | | | | | | | | | | | | | | | | | | | 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 | -0/+2 |
| | | | | | | | | classes. | ||||
* | | tyOrdinal now means "integral types". tyTypeClass created to take care of ↵ | Zahary Karadjov | 2012-03-22 | 1 | -1/+2 |
|/ | | | | type constraints |