| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fix bootstrapping on windows | Zahary Karadjov | 2014-01-06 | 1 | -1/+3 |
| | | |||||
| * | introduce tyFromExpr; fixes #618 | Zahary Karadjov | 2014-01-04 | 1 | -3/+7 |
| | | |||||
| * | clean-up some obsolete code; close #602 | Zahary Karadjov | 2013-12-31 | 1 | -34/+36 |
| | | |||||
| * | Templates will pick the candidate in the nearest scope when symbols are mixed-in | Zahary Karadjov | 2013-12-31 | 1 | -7/+16 |
| | | |||||
| * | migrate the static param handling to ReplaceTypeVars; fix tgenericvariant | Zahary Karadjov | 2013-12-30 | 1 | -2/+1 |
| | | |||||
| * | Merge branch 'upstream' into devel | Zahary Karadjov | 2013-12-29 | 1 | -103/+148 |
| |\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | -4/+11 |
| | | | |||||
| | * | make more tests green | Zahary Karadjov | 2013-12-29 | 1 | -25/+25 |
| | | | |||||
| | * | fix tclosure4 | Zahary Karadjov | 2013-12-28 | 1 | -6/+11 |
| | | | |||||
| | * | towards support for composite type classes such as seq[Number] and ↵ | Zahary Karadjov | 2013-12-27 | 1 | -0/+16 |
| | | | | | | | | | SquareMatrix[T] | ||||
| | * | bugfix: in some contexts, newSeq[T](n) is incorrectly inferred to have a ↵ | Zahary Karadjov | 2013-12-26 | 1 | -2/+4 |
| | | | | | | | | | seq[typedesc[T]] type | ||||
| | * | better integration of tyStatic into typeRel | Zahary Karadjov | 2013-12-25 | 1 | -32/+28 |
| | | | |||||
| | * | wip type class reforms (the compiler bootstraps fine) | Zahary Karadjov | 2013-12-25 | 1 | -16/+24 |
| | | | | | | | | | | | | | * 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 | -26/+33 |
| | | | | | | | | | | | | | 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 | -29/+33 |
| | | | | | | | | | | | | | | | 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 | -8/+8 |
| | | | |||||
| * | | case consistency: next steps | Araq | 2013-12-29 | 1 | -7/+7 |
| | | | |||||
| * | | case consistency part 4 | Araq | 2013-12-27 | 1 | -25/+25 |
| | | | |||||
| * | | case consistency part 1 | Araq | 2013-12-27 | 1 | -6/+6 |
| |/ | |||||
| * | progress towards adding negative type classes | Zahary Karadjov | 2013-12-09 | 1 | -24/+227 |
| | | | | | | | [unittest bugfixes] the block form of check now allows comments errors when inspecting the arguments of var-accepting procs | ||||
| * | adding some provisions for writing lower-level unit tests targeting specific ↵ | Zahary Karadjov | 2013-12-07 | 1 | -2/+15 |
| | | | | | | | | | sub-systems of the compiler see sigmatch as an example. tests are compiled only when the compiler is compiled with -d:selftest to execute them, just run the resulting binary without arguments | ||||
| * | 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 |
| | | | |||||