summary refs log tree commit diff stats
path: root/compiler
Commit message (Collapse)AuthorAgeFilesLines
* proc redefinition search based on the type system instead of on sloppy AST ↵Zahary Karadjov2013-12-303-30/+48
| | | | | | | | | | matching This will work the same for procs/templates/macros/etc, having arbitrary mix of implicit and explicit generics (as long as the symbols are equivalent for the purposes of overload resolution, they will be detected as redefinitions) fixes tgeneric
* restore return type inferenceZahary Karadjov2013-12-302-1/+4
|
* fix the filtering of void params in procs' signaturesZahary Karadjov2013-12-291-4/+20
|
* Merge branch 'upstream' into develZahary Karadjov2013-12-2925-399/+572
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-297-42/+76
| |
| * make more tests greenZahary Karadjov2013-12-2910-69/+97
| |
| * fix tclosure4Zahary Karadjov2013-12-282-6/+12
| |
| * fix illegal recursion checksZahary Karadjov2013-12-281-4/+7
| |
| * lift generic parameters from concrete composite type classesZahary Karadjov2013-12-284-19/+29
| |
| * towards support for composite type classes such as seq[Number] and ↵Zahary Karadjov2013-12-277-26/+57
| | | | | | | | SquareMatrix[T]
| * bugfix: in some contexts, newSeq[T](n) is incorrectly inferred to have a ↵Zahary Karadjov2013-12-261-2/+4
| | | | | | | | seq[typedesc[T]] type
| * better integration of tyStatic into typeRelZahary Karadjov2013-12-259-58/+66
| |
| * wip type class reforms (the compiler bootstraps fine)Zahary Karadjov2013-12-258-99/+94
| | | | | | | | | | | | * 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 TCandidateZahary Karadjov2013-12-255-46/+53
| | | | | | | | | | | | 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)
| * documented static paramsZahary Karadjov2013-12-251-0/+2
| |
| * static params: expr[T] is now static[T]Zahary Karadjov2013-12-1917-94/+118
| | | | | | | | | | | | | | 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-2949-314/+321
| |
* | case consistency: next stepsAraq2013-12-2958-311/+310
| |
* | improvements for 'pretty'Araq2013-12-283-14/+23
| |
* | case consistency part 9Araq2013-12-283-64/+64
| |
* | case consistency part 8Araq2013-12-284-62/+62
| |
* | case consistency part 5Araq2013-12-281-1/+1
| |
* | case consistency part 4Araq2013-12-2784-1517/+1517
| |
* | case consistency part 3Araq2013-12-272-5/+6
| |
* | case consistency part 2Araq2013-12-274-17/+13
| |
* | case consistency part 1Araq2013-12-2760-689/+808
| |
* | templates can access hidden fieldsAraq2013-12-251-23/+9
| |
* | bootstraps with new template symbol binding rulesAraq2013-12-241-8/+8
| |
* | attempt to merge newtemplAraq2013-12-242-3/+8
| |
* | Merge branch 'newtempl' into develAraq2013-12-241-3/+44
|\ \ | | | | | | | | | | | | | | | | | | Conflicts: lib/system.nim tests/reject/tenummix.nim todo.txt
| * | 'bind' default for clean templatesAraq2013-05-152-4/+45
| | |
* | | Merge branch 'vm2' of github.com:Araq/Nimrod into vm2Araq2013-12-2424-437/+927
|\ \ \
| * | | vm: FFI improvementsAraq2013-12-232-4/+4
| | | |
| * | | tcnstseq works againAraq2013-12-232-6/+14
| | | |
| * | | Merge branch 'master' of https://github.com/Araq/Nimrod into vm2Araq2013-12-2312-166/+279
| |\ \ \ | | | | | | | | | | | | | | | | | | | | Conflicts: web/news.txt
| * | | | new VM: some progress for the FFI supportAraq2013-12-233-17/+44
| | | | |
| * | | | case expression with discardable result worksAraq2013-12-181-0/+8
| | | | |
| * | | | more tests workAraq2013-12-133-5/+10
| | | | |
| * | | | Merge branch 'master' into vm2Araq2013-12-1314-43/+283
| |\ \ \ \ | | | |_|/ | | |/| |
| * | | | new VM: globals kinda workAraq2013-12-135-10/+43
| | | | |
| * | | | new VM: improvementsAraq2013-12-125-53/+111
| | | | |
| * | | | more tests are greenAraq2013-12-085-75/+49
| | | | |
| * | | | new VM supports 'getAst'Araq2013-12-062-4/+26
| | | | |
| * | | | new VM: passes more testsAraq2013-12-065-26/+41
| | | | |
| * | | | makes 'reject' tests greenAraq2013-12-051-4/+16
| | | | |
| * | | | bugfix: keywords are sortedAraq2013-12-052-9/+11
| | | | |
| * | | | Merge branch 'master' into vm2Araq2013-12-0517-130/+238
| |\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: compiler/sem.nim
| * | | | | next steps for FFI supportAraq2013-11-256-32/+121
| | | | | |
| * | | | | tcnstseq works againAraq2013-11-074-2/+11
| | | | | |
| * | | | | VM now supports lambda liftingAraq2013-11-065-28/+71
| | | | | |
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-06-07 15:21:51 +0000