summary refs log tree commit diff stats
path: root/compiler/ast.nim
Commit message (Collapse)AuthorAgeFilesLines
* fixes #898Araq2014-07-011-1/+1
|
* Merge pull request #1281 from Araq/new_spawnAndreas Rumpf2014-06-161-3/+5
|\ | | | | New spawn
| * some changesAraq2014-06-091-1/+1
| |
| * bugfix: regionized pointers in a generic context; renamed 'Future' to 'Promise'Araq2014-05-251-0/+2
| |
| * progress with futuresAraq2014-05-231-1/+1
| |
| * progress for the 'parallel' statementAraq2014-05-141-2/+2
| |
* | optimized method dispatchersAraq2014-06-121-0/+1
|/
* bootstraps works again; get rid of compile-time 'rand' (too weird)Araq2014-05-061-3/+2
|
* implemented builtin noncopying sliceAraq2014-05-021-1/+1
|
* removed flawed thread analysis passAraq2014-04-201-3/+5
|
* New concurrency model: next stepsAraq2014-04-191-8/+12
|
* first version of 'spawn'Araq2014-04-161-1/+1
|
* new concurrency model: first steps; shared is not a keyword anymoreAraq2014-04-141-1/+1
|
* fixes #1025; don't know what this breaksAraq2014-03-261-1/+1
|
* implemented 'borrow dot' feature for distinct typesAraq2014-03-261-1/+3
|
* implements ``distinct with/without X, Y``Zahary Karadjov2014-03-201-1/+5
| | | | | | This still doesn't work quite right, because some common operations like array indexing lay completely outside the scope/symbol lookup system - they are not even magics.
* reference implementation of a vector swizzle libraryZahary Karadjov2014-03-201-0/+2
| | | | | This also provides the initial steps towards support for type class "filtered" type inference fixes an "ordinal type expected" ICE, related to the use of static params
* Added support for {.packed.} pragma on objectsAudun Wilhelmsen2014-03-181-0/+1
| | | | Added tests for packed and union pragmas
* handle arbitrary expressions dependent on static input params in proc signaturesZahary Karadjov2014-03-161-1/+2
|
* fix #996Zahary Karadjov2014-03-161-3/+5
|
* first phase of tyGenericParam reforms needed for static paramsZahary Karadjov2014-03-161-1/+12
|
* fix tsemistaticZahary Karadjov2014-03-111-4/+1
|
* fix #866; generic static paramsZahary Karadjov2014-03-091-0/+4
|
* Merge branch 'devel' of github.com:Araq/Nimrod into develZahary Karadjov2014-03-061-0/+2
|\
| * implemented 'union' and 'unchecked' pragmasAraq2014-03-051-0/+2
| |
* | split the inline and closure iterators into different symbol kinds for ↵Zahary Karadjov2014-03-061-9/+13
|/ | | | easier discrimination between them
* the compiler is now aware of packagesAraq2014-03-021-0/+1
|
* vm2: new representation of registersAraq2014-02-211-5/+1
|
* the delegator pragma becomes a set of dot operatorsZahary Karadjov2014-02-151-2/+9
|
* tyTypeDesc and tyRange always have 1 child; this might be tyNone but it is ↵Araq2014-02-051-3/+3
| | | | required for skipTypes
* implements #766;Zahary Karadjov2014-01-241-19/+37
| | | | | | expressions such as Type.field are now recognised by the compiler. This also fixes a bug, preventing the user-defined to check for the presence of regular fields in addition to procs
* support for parametric user-defined type classesZahary Karadjov2014-01-241-6/+15
|
* 'nil' as a statement is deprecated, use an empty 'discard' insteadAraq2014-01-191-1/+1
|
* progress towards fixing tgenericshardcasesZahary Karadjov2014-01-061-0/+1
|
* introduce tyFromExpr; fixes #618Zahary Karadjov2014-01-041-8/+20
|
* Templates will pick the candidate in the nearest scope when symbols are mixed-inZahary Karadjov2013-12-311-0/+4
|
* handle recursive types during the instantiation of meta types; propagate ↵Zahary Karadjov2013-12-301-2/+6
| | | | tfHasMeta more carefully
* restore return type inferenceZahary Karadjov2013-12-301-0/+3
|
* Merge branch 'upstream' into develZahary Karadjov2013-12-291-11/+25
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
| * integrate the logic of fixupProcType into ReplaceTypeVarsZahary Karadjov2013-12-291-5/+15
| |
| * towards support for composite type classes such as seq[Number] and ↵Zahary Karadjov2013-12-271-1/+2
| | | | | | | | SquareMatrix[T]
| * better integration of tyStatic into typeRelZahary Karadjov2013-12-251-0/+1
| |
| * wip type class reforms (the compiler bootstraps fine)Zahary Karadjov2013-12-251-4/+4
| | | | | | | | | | | | * replace tfAny and tfAll with tyAnd and tyOr * integrate matchTypeClass into typeRel * introduce tyBuiltInTypeClass to handle types such as tuple, object, proc, etc
| * static params: expr[T] is now static[T]Zahary Karadjov2013-12-191-3/+5
| | | | | | | | | | | | | | 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: cs:partial bootstraps on windowsAraq2013-12-291-9/+9
| |
* | case consistency: next stepsAraq2013-12-291-7/+7
| |
* | case consistency part 4Araq2013-12-271-11/+11
| |
* | case consistency part 3Araq2013-12-271-4/+4
| |
* | Merge branch 'vm2' of github.com:Araq/Nimrod into vm2Araq2013-12-241-1/+2
|\ \
| * | Merge branch 'master' into vm2Araq2013-12-131-1/+10
| |\|