| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | simple unit test and better documentation for the user defined type classes | Zahary Karadjov | 2013-11-17 | 1 | -14/+8 |
| | | |||||
| * | improvements for the `is` operator; implemented the type lifting rule in ↵ | Zahary Karadjov | 2013-11-17 | 1 | -10/+19 |
| | | | | | user-defined type classes | ||||
| * | support for multiple test variables and var qualifiers in user-defined type ↵ | Zahary Karadjov | 2013-11-13 | 1 | -4/+17 |
| | | | | | classes | ||||
| * | Merge branch 'type-classes' into upstream | Zahary Karadjov | 2013-09-03 | 1 | -41/+82 |
| |\ | |||||
| | * | minor improvement towards tgenericshardcases | Zahary Karadjov | 2013-08-28 | 1 | -16/+23 |
| | | | |||||
| | * | implemented delegators and improved the error messages of unmatched type classes | Zahary Karadjov | 2013-08-26 | 1 | -22/+0 |
| | | | |||||
| | * | working code for simple cases of user-defined type classes | Zahary Karadjov | 2013-08-25 | 1 | -3/+59 |
| | | | |||||
| * | | bugfix: conversions to float32 are allowed again but of lower priority | Araq | 2013-08-30 | 1 | -3/+3 |
| | | | |||||
| * | | conversions to float32 are allowed again but of lower priority | Araq | 2013-08-30 | 1 | -3/+3 |
| | | | |||||
| * | | Merge branch 'master' of github.com:Araq/Nimrod | Araq | 2013-08-30 | 1 | -2/+6 |
| |\| | |||||
| | * | implemented and documented the new typedesc binding rules | Zahary Karadjov | 2013-08-23 | 1 | -2/+4 |
| | | | |||||
| | * | pass-through of static int generic params to arrays when late instantiation ↵ | Zahary Karadjov | 2013-08-23 | 1 | -1/+2 |
| | | | | | | | | | is disabled | ||||
| | * | Experimental support for delayed instantiation of generics | Zahary Karadjov | 2013-08-23 | 1 | -1/+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. | ||||
| * | | float64 is now an alias to 'float'; fixes #545 | Araq | 2013-08-30 | 1 | -3/+7 |
| |/ | |||||
| * | hacky fix for generic constraints matching | Zahary Karadjov | 2013-08-19 | 1 | -1/+22 |
| | | |||||
| * | some steps to improve the type mismatches with the new | Zahary Karadjov | 2013-08-19 | 1 | -9/+13 |
| | | | | | generic instantiation logic | ||||
| * | Revert "Revert "static and default params for generics"" | Zahary Karadjov | 2013-08-19 | 1 | -5/+14 |
| | | | | | This reverts commit 0662ec4a434f4656b5afc486bc4ebaab82c52da6. | ||||
| * | 'modules' module from 'main'; minor bugfixes | Araq | 2013-07-20 | 1 | -2/+4 |
| | | |||||
| * | fixes #442 | Araq | 2013-06-27 | 1 | -11/+20 |
| | | |||||
| * | improvements for 'not nil' checking | Araq | 2013-06-13 | 1 | -4/+27 |
| | | |||||
| * | fixes #385 | Araq | 2013-06-03 | 1 | -3/+18 |
| | | |||||
| * | Revert "static and default params for generics" | Araq | 2013-05-27 | 1 | -14/+5 |
| | | | | | This reverts commit 46813bbe4e1423181521d4792b9af7593f48fa1f. | ||||
| * | static and default params for generics | Zahary Karadjov | 2013-05-26 | 1 | -5/+14 |
| | | |||||
| * | fixes #119 | Araq | 2013-05-18 | 1 | -2/+1 |
| | | |||||
| * | fixes #430 | Zahary Karadjov | 2013-05-12 | 1 | -6/+12 |
| | | |||||
| * | fixes #429 and tstmtexpr | Zahary Karadjov | 2013-05-12 | 1 | -3/+4 |
| | | |||||
| * | Merge branch 'master' of gh:/Araq/Nimrod into upstream | Zahary Karadjov | 2013-05-04 | 1 | -22/+124 |
| |\ | |||||
| | * | fixes #287; bugfix: subrange checking is performed again | Araq | 2013-04-12 | 1 | -1/+20 |
| | | | |||||
| | * | fixes a long-standing bug about procvar checking | Araq | 2013-03-25 | 1 | -4/+4 |
| | | | |||||
| | * | Removes executable bit for text files. | Grzegorz Adam Hankiewicz | 2013-03-16 | 1 | -0/+0 |
| | | | |||||
| | * | make some tests green | Araq | 2013-03-03 | 1 | -7/+13 |
| | | | |||||
| | * | lazy operand sem'checking (beware) | Araq | 2013-03-02 | 1 | -14/+49 |
| | | | |||||
| | * | better overloading resolution for generics | Araq | 2013-02-28 | 1 | -1/+43 |
| | | | |||||
| * | | containerID is no longer needed for generics | Zahary Karadjov | 2013-03-01 | 1 | -5/+4 |
| |/ | |||||
| * | implements #295 | Araq | 2013-01-08 | 1 | -2/+3 |
| | | |||||
| * | fixes #271 | Araq | 2012-12-15 | 1 | -20/+14 |
| | | |||||
| * | implemented AST based overloading | Araq | 2012-12-06 | 1 | -4/+15 |
| | | |||||
| * | implemented generic converters | Araq | 2012-12-05 | 1 | -3/+16 |
| | | |||||
| * | disable SSLv2_method for ubuntu | Araq | 2012-12-03 | 1 | -3/+3 |
| | | |||||
| * | next steps for first class iterators | Araq | 2012-11-26 | 1 | -0/+2 |
| | | |||||
| * | first steps for 'not nil' annotation | Araq | 2012-11-25 | 1 | -18/+19 |
| | | |||||
| * | next steps for exception tracking | Araq | 2012-11-03 | 1 | -0/+2 |
| | | |||||
| * | caas barely works now | Araq | 2012-10-24 | 1 | -0/+2 |
| | | |||||
| * | Improved support for nkSymChoices in type coercions | Zahary Karadjov | 2012-10-15 | 1 | -2/+2 |
| | | | | | | | | | | | For example, this allows you to pick up a proc with a specific signature from an overload set. bugfix: nimrod generated invalid code when a RVO function had a single compile-time param bugfix: nkHiddenDerefs were not neutralised properly for indirect proc calls | ||||
| * | fixes #211 | Zahary Karadjov | 2012-10-13 | 1 | -8/+9 |
| | | | | | transf: fix a clang compilation error when lineDir:on is used | ||||
| * | fixes #217 | Araq | 2012-10-13 | 1 | -6/+6 |
| | | |||||
| * | syntax compatibility between do blocks and stmt blocks | Zahary Karadjov | 2012-10-04 | 1 | -2/+6 |
| | | | | | | | | | | | | | 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 | -32/+5 |
| | | | | | | bugfixes: the DLL tests were failing on Mac OS X, due to an incorrect DynlibFormat | ||||
| * | implemented return type inference | Zahary Karadjov | 2012-10-03 | 1 | -1/+6 |
| | | | | | | | 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 | -2/+3 |
| | | | | | | * can be stored in constants and variables (including in containers like sequences) * can be passed to and returned from macros | ||||