summary refs log tree commit diff stats
path: root/compiler/ast.nim
Commit message (Collapse)AuthorAgeFilesLines
* 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
| |\|
| * | Merge branch 'master' into vm2Araq2013-12-051-2/+0
| |\ \ | | | | | | | | | | | | | | | | Conflicts: compiler/sem.nim
| * | | VM now supports lambda liftingAraq2013-11-061-1/+2
| | | |
* | | | Correct the spelling of the word 'implicitly'Satish BD2013-12-231-2/+2
| |_|/ |/| |
* | | progress towards adding negative type classesZahary Karadjov2013-12-091-1/+10
| |/ |/| | | | | | | | | [unittest bugfixes] the block form of check now allows comments errors when inspecting the arguments of var-accepting procs
* | support for multiple test variables and var qualifiers in user-defined type ↵Zahary Karadjov2013-11-131-2/+0
|/ | | | classes
* 'noStackFrame' implies 'naked' in the generated C codeAraq2013-10-061-2/+2
|
* implemented 'import a as b'Araq2013-09-241-2/+21
|
* fixes #576Araq2013-09-181-1/+2
|
* implemented the using statementZahary Karadjov2013-08-311-0/+2
|
* fix tnoopZahary Karadjov2013-08-261-0/+1
| | | | | | | | This commit requires further investigation. Fixing semExpr(nkCall) once and for all to work with sym-choices and to allow overloading with immediate templates and macros will probably set this straight too.
* implemented delegators and improved the error messages of unmatched type classesZahary Karadjov2013-08-261-2/+4
|
* working code for simple cases of user-defined type classesZahary Karadjov2013-08-251-0/+3
|
* parsing of user defined type classesZahary Karadjov2013-08-231-0/+1
|
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-07-17 15:29:44 +0000