| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | propagate semExpr flags in macro/template expansion | Zahary Karadjov | 2014-04-06 | 1 | -8/+9 |
| | | |||||
| * | tsymchoicefield compiles | Araq | 2014-04-01 | 1 | -2/+4 |
| | | |||||
| * | fixes #1025; don't know what this breaks | Araq | 2014-03-26 | 1 | -3/+2 |
| | | |||||
| * | implemented 'borrow dot' feature for distinct types | Araq | 2014-03-26 | 1 | -5/+5 |
| | | |||||
| * | fix #1015 | Zahary Karadjov | 2014-03-20 | 1 | -3/+8 |
| | | |||||
| * | reference implementation of a vector swizzle library | Zahary Karadjov | 2014-03-20 | 1 | -14/+29 |
| | | | | | | 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 objects | Audun Wilhelmsen | 2014-03-18 | 1 | -1/+1 |
| | | | | | Added tests for packed and union pragmas | ||||
| * | make some tests green | Zahary Karadjov | 2014-03-16 | 1 | -2/+8 |
| | | |||||
| * | handle arbitrary expressions dependent on static input params in proc signatures | Zahary Karadjov | 2014-03-16 | 1 | -1/+13 |
| | | |||||
| * | more robust handling of proc signatures containing inter-param type references | Zahary Karadjov | 2014-03-16 | 1 | -5/+8 |
| | | |||||
| * | first phase of tyGenericParam reforms needed for static params | Zahary Karadjov | 2014-03-16 | 1 | -2/+2 |
| | | |||||
| * | fix #715 again | Zahary Karadjov | 2014-03-16 | 1 | -1/+6 |
| | | | | | the regression was caused by the introduction of "generic" lambdas | ||||
| * | fix #988 | Zahary Karadjov | 2014-03-10 | 1 | -3/+4 |
| | | | | | trivial crash caused due to unchecked iteration over an empty reclist | ||||
| * | fix #986 | Zahary Karadjov | 2014-03-10 | 1 | -13/+21 |
| | | |||||
| * | fix #829; (macros.quote) | Zahary Karadjov | 2014-03-09 | 1 | -1/+1 |
| | | | | | | | | | the fix is a little bit peculiar: the inserted call to getAst was getting a false-positive for being a lambda proc, because lambdalifting.isInnerProc takes into account who is the owner of a given symbol: (a nested proc is a callable symbol owned by the enclosing proc) | ||||
| * | fix #949 | Zahary Karadjov | 2014-03-09 | 1 | -1/+2 |
| | | |||||
| * | implements higher-order inline iterators and return type inference for iterators | Zahary Karadjov | 2014-03-08 | 1 | -2/+14 |
| | | |||||
| * | test cases for the new handling of iterators by the `is` operator | Zahary Karadjov | 2014-03-06 | 1 | -5/+0 |
| | | |||||
| * | split the inline and closure iterators into different symbol kinds for ↵ | Zahary Karadjov | 2014-03-06 | 1 | -11/+13 |
| | | | | | easier discrimination between them | ||||
| * | iterators now return tyIter(T); | Zahary Karadjov | 2014-03-05 | 1 | -2/+2 |
| | | | | | | | | | tyIter(T) represents an "iteration yielding values of type T" I'm planning to use that in the context of the `is` operator supporting predicates such as `C.items is iterator` and also in the upcoming support for higher-order inline iterators. | ||||
| * | new VM is getting stable | Araq | 2014-02-24 | 1 | -0/+4 |
| | | |||||
| * | quite messy implementation of generic lambdas, needs reworking; fixes #715 | Zahary Karadjov | 2014-02-17 | 1 | -2/+2 |
| | | |||||
| * | fix some regressions caused by tyTypeDesc[tyNone] | Zahary Karadjov | 2014-02-15 | 1 | -10/+9 |
| | | |||||
| * | the delegator pragma becomes a set of dot operators | Zahary Karadjov | 2014-02-15 | 1 | -24/+10 |
| | | |||||
| * | fixes #797; generic procs can be used in places expecting matching concrete ↵ | Zahary Karadjov | 2014-02-11 | 1 | -1/+8 |
| | | | | | proc types | ||||
| * | fixes 'newSeq[T]' instantiation bug | Araq | 2014-02-09 | 1 | -3/+9 |
| | | |||||
| * | fixes #844 | Araq | 2014-02-02 | 1 | -2/+2 |
| | | |||||
| * | remove the old tester | Araq | 2014-02-02 | 1 | -21/+18 |
| |\ | |||||
| | * | the `is` operator now uses exactly the same algorithm as proc signature matching | Zahary Karadjov | 2014-01-26 | 1 | -18/+7 |
| | | | |||||
| | * | implements #766; | Zahary Karadjov | 2014-01-24 | 1 | -3/+11 |
| | | | | | | | | | | | | | 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 classes | Zahary Karadjov | 2014-01-24 | 1 | -2/+2 |
| | | | |||||
| * | | bugfix: object constructor doesn't allow 'distinct' types | Araq | 2014-02-01 | 1 | -2/+2 |
| |/ | |||||
| * | 'nil' as a statement is deprecated, use an empty 'discard' instead | Araq | 2014-01-19 | 1 | -23/+22 |
| | | |||||
| * | better html generator for the tester; fixes some VM bugs | Araq | 2014-01-17 | 1 | -1/+1 |
| | | |||||
| * | progress towards fixing tgenericshardcases | Zahary Karadjov | 2014-01-06 | 1 | -4/+6 |
| | | |||||
| * | Templates will pick the candidate in the nearest scope when symbols are mixed-in | Zahary Karadjov | 2013-12-31 | 1 | -1/+1 |
| | | |||||
| * | restore return type inference | Zahary Karadjov | 2013-12-30 | 1 | -1/+1 |
| | | |||||
| * | Merge branch 'upstream' into devel | Zahary Karadjov | 2013-12-29 | 1 | -15/+18 |
| |\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | ||||
| | * | make more tests green | Zahary Karadjov | 2013-12-29 | 1 | -3/+5 |
| | | | |||||
| | * | wip type class reforms (the compiler bootstraps fine) | Zahary Karadjov | 2013-12-25 | 1 | -1/+1 |
| | | | | | | | | | | | | | * replace tfAny and tfAll with tyAnd and tyOr * integrate matchTypeClass into typeRel * introduce tyBuiltInTypeClass to handle types such as tuple, object, proc, etc | ||||
| | * | make the current PContext accessible through TCandidate | Zahary Karadjov | 2013-12-25 | 1 | -8/+8 |
| | | | | | | | | | | | | | the goal here is to remove all the hacks from ParamTypeMatch and to handle all type matching in typeRel (the context there is required to evaluate any static params and to run the compilation tests of user-defined type classes) | ||||
| | * | static params: expr[T] is now static[T] | Zahary Karadjov | 2013-12-19 | 1 | -4/+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 windows | Araq | 2013-12-29 | 1 | -21/+24 |
| | | | |||||
| * | | case consistency: next steps | Araq | 2013-12-29 | 1 | -8/+8 |
| | | | |||||
| * | | case consistency part 4 | Araq | 2013-12-27 | 1 | -89/+89 |
| | | | |||||
| * | | case consistency part 1 | Araq | 2013-12-27 | 1 | -10/+10 |
| | | | |||||
| * | | Merge branch 'vm2' of github.com:Araq/Nimrod into vm2 | Araq | 2013-12-24 | 1 | -7/+8 |
| |\ \ | |||||
| | * | | Merge branch 'master' into vm2 | Araq | 2013-12-13 | 1 | -1/+1 |
| | |\| | |||||
| | * | | new VM: improvements | Araq | 2013-12-12 | 1 | -3/+3 |
| | | | | |||||
| | * | | more tests are green | Araq | 2013-12-08 | 1 | -1/+2 |
| | | | | |||||