| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fixes #838 | Araq | 2014-01-25 | 1 | -2/+2 |
| | | |||||
| * | 'nil' as a statement is deprecated, use an empty 'discard' instead | Araq | 2014-01-19 | 1 | -2/+2 |
| | | |||||
| * | progress towards fixing tgenericshardcases | Zahary Karadjov | 2014-01-06 | 1 | -18/+86 |
| | | |||||
| * | introduce tyFromExpr; fixes #618 | Zahary Karadjov | 2014-01-04 | 1 | -0/+4 |
| | | |||||
| * | Templates will pick the candidate in the nearest scope when symbols are mixed-in | Zahary Karadjov | 2013-12-31 | 1 | -7/+8 |
| | | |||||
| * | migrate the static param handling to ReplaceTypeVars; fix tgenericvariant | Zahary Karadjov | 2013-12-30 | 1 | -11/+10 |
| | | |||||
| * | properly remove intLiterals from proc signatures; fixes trettypeinference | Zahary Karadjov | 2013-12-30 | 1 | -5/+13 |
| | | |||||
| * | handle recursive types during the instantiation of meta types; propagate ↵ | Zahary Karadjov | 2013-12-30 | 1 | -19/+79 |
| | | | | | tfHasMeta more carefully | ||||
| * | fix the filtering of void params in procs' signatures | Zahary Karadjov | 2013-12-29 | 1 | -4/+20 |
| | | |||||
| * | Merge branch 'upstream' into devel | Zahary Karadjov | 2013-12-29 | 1 | -31/+52 |
| |\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 ReplaceTypeVars | Zahary Karadjov | 2013-12-29 | 1 | -15/+27 |
| | | | |||||
| | * | make more tests green | Zahary Karadjov | 2013-12-29 | 1 | -3/+4 |
| | | | |||||
| | * | lift generic parameters from concrete composite type classes | Zahary Karadjov | 2013-12-28 | 1 | -4/+5 |
| | | | |||||
| | * | towards support for composite type classes such as seq[Number] and ↵ | Zahary Karadjov | 2013-12-27 | 1 | -8/+13 |
| | | | | | | | | | SquareMatrix[T] | ||||
| | * | better integration of tyStatic into typeRel | Zahary Karadjov | 2013-12-25 | 1 | -4/+4 |
| | | | |||||
| | * | 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 | ||||
| | * | static params: expr[T] is now static[T] | Zahary Karadjov | 2013-12-19 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | 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 | -1/+1 |
| | | | |||||
| * | | case consistency: next steps | Araq | 2013-12-29 | 1 | -1/+1 |
| | | | |||||
| * | | case consistency part 4 | Araq | 2013-12-27 | 1 | -24/+24 |
| | | | |||||
| * | | case consistency part 2 | Araq | 2013-12-27 | 1 | -2/+2 |
| | | | |||||
| * | | case consistency part 1 | Araq | 2013-12-27 | 1 | -11/+10 |
| |/ | |||||
| * | 'noStackFrame' implies 'naked' in the generated C code | Araq | 2013-10-06 | 1 | -0/+1 |
| | | |||||
| * | minor improvement towards tgenericshardcases | Zahary Karadjov | 2013-08-28 | 1 | -2/+6 |
| | | |||||
| * | pass-through of static int generic params to arrays when late instantiation ↵ | Zahary Karadjov | 2013-08-23 | 1 | -0/+6 |
| | | | | | is disabled | ||||
| * | Experimental support for delayed instantiation of generics | Zahary Karadjov | 2013-08-23 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | | | | | | This postpones the semantic pass over the generic's body until the generic is instantiated. There are several pros and cons for this method and the capabilities that it enables may still be possible in the old framework if we teach it a few new trick. Such an attempt will follow in the next commits. pros: 1) It allows macros to be expanded during generic instantiation that will provide the body of the generic. See ``tmacrogenerics``. 2) The instantiation code is dramatically simplified. Dealing with unknown types in the generic's body pre-pass requires a lot of hacky code and error silencing in semTypeNode. See ``tgenericshardcases``. cons: 1) There is a performance penalty of roughly 5% when bootstrapping. 2) Certain errors that used to be detected in the previous pre-pass won't be detected with the new scheme until instantiation. | ||||
| * | implemented large parts of the 'not nil' checking | Araq | 2013-06-09 | 1 | -0/+2 |
| | | |||||
| * | Removes executable bit for text files. | Grzegorz Adam Hankiewicz | 2013-03-16 | 1 | -0/+0 |
| | | |||||
| * | remove any traces of the old global generics cache | Zahary Karadjov | 2013-01-27 | 1 | -67/+48 |
| | | |||||
| * | minor bug fixes to make some tests green | Zahary Karadjov | 2013-01-21 | 1 | -1/+0 |
| | | |||||
| * | store the instantiation cache in the generic symbol | Zahary Karadjov | 2012-11-28 | 1 | -24/+32 |
| | | |||||
| * | fixes #211 | Zahary Karadjov | 2012-10-13 | 1 | -0/+4 |
| | | | | | transf: fix a clang compilation error when lineDir:on is used | ||||
| * | syntax compatibility between do blocks and stmt blocks | Zahary Karadjov | 2012-10-04 | 1 | -1/+2 |
| | | | | | | | | | | | | | See the section `do notation` in the manual for more info. * nkMacroStmt has been removed Macro statements are now mapped to regular nkCall nodes. The support for additional clauses (such as else, except, of, etc) have been restored - they will now appear as additional arguments for the nkCall node (as nkElse, nkExcept, etc nodes) * fixed some regressions in the `is` operator and semCompiles | ||||
| * | the `is` operator now works with type classes and type variables | Zahary Karadjov | 2012-10-03 | 1 | -1/+2 |
| | | | | | | bugfixes: the DLL tests were failing on Mac OS X, due to an incorrect DynlibFormat | ||||
| * | better error handling for better idetools support | Araq | 2012-07-29 | 1 | -1/+2 |
| | | |||||
| * | more fixes for new integer promotion rules; fixes #152; fixes #157; fixes ↵ | Araq | 2012-07-09 | 1 | -6/+0 |
| | | | | | #156; fixes #155 | ||||
| * | 'addSon' for types deprecated for 'int literal type' analysis | Araq | 2012-07-09 | 1 | -3/+5 |
| | | |||||
| * | implicit generics types as return types. removed the error message for ↵ | Zahary Karadjov | 2012-04-21 | 1 | -1/+2 |
| | | | | | capturing incorrect uses of ``proc`` | ||||
| * | made built-in types primary expressions to allow infix operators to be used ↵ | Zahary Karadjov | 2012-04-20 | 1 | -1/+2 |
| | | | | | with them | ||||
| * | generic types can be used like type classes. distinct can be applied to type ↵ | Zahary Karadjov | 2012-03-25 | 1 | -0/+1 |
| | | | | | classes. | ||||
| * | year 2012 for most copyright headers | Araq | 2012-01-02 | 1 | -1/+1 |
| | | |||||
| * | bugfix: 'when' sections in generic objects now work, so TThread[void] compiles | Araq | 2011-11-20 | 1 | -16/+46 |
| | | |||||
| * | compilation cache: various bugfixes; works for the compiler itself | Araq | 2011-10-27 | 1 | -1/+2 |
| | | |||||
| * | compilation cache: mostly working; generics not yet | Araq | 2011-10-25 | 1 | -5/+5 |
| | | |||||
| * | bugfixes for generics; new threads implementation still broken | Araq | 2011-09-20 | 1 | -30/+70 |
| | | |||||
| * | added xmltree.innerText; fixes #49 | Araq | 2011-08-15 | 1 | -4/+11 |
| | | |||||
| * | support for C++ code generation; importcpp and importobjc pragmas | Araq | 2011-08-07 | 1 | -2/+0 |
| | | |||||
| * | fixes #42 | Araq | 2011-08-04 | 1 | -29/+39 |
| | | |||||
| * | bugfix: 'final' not passed to generic | Araq | 2011-07-29 | 1 | -7/+8 |
| | | |||||
| * | bugfix: typeinfo generation for tuples | Araq | 2011-06-19 | 1 | -5/+5 |
| | | |||||