Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | better tester | Araq | 2014-01-17 | 1 | -2/+2 |
| | |||||
* | Merge branch 'devel' of https://github.com/Araq/Nimrod into devel | Araq | 2014-01-17 | 5 | -390/+463 |
|\ | |||||
| * | Merge pull request #814 from discoloda/devel | Andreas Rumpf | 2014-01-14 | 5 | -390/+463 |
| |\ | | | | | | | Many small improvements to c2nim | ||||
| | * | Applied Araq's suggestions for c2nim | Vincent Burns | 2014-01-14 | 2 | -9/+11 |
| | | | |||||
| | * | removed hack for return statement | Vincent Burns | 2014-01-14 | 2 | -9/+14 |
| | | | |||||
| | * | Slightly better type parsing for parameters and cast expressions | Vincent Burns | 2014-01-14 | 2 | -7/+46 |
| | | | |||||
| | * | Fix for expression parsing, 'new' is a valid C symbol | Vincent Burns | 2014-01-13 | 1 | -6/+9 |
| | | | |||||
| | * | Fix for some comments during if statements | Vincent Burns | 2014-01-13 | 3 | -1/+25 |
| | | | | | | | | | | | | added test files | ||||
| | * | Support more proper do..while statements | Vincent Burns | 2014-01-13 | 1 | -9/+39 |
| | | | |||||
| | * | for statements support comma expressions | Vincent Burns | 2014-01-13 | 1 | -2/+4 |
| | | | |||||
| | * | New expression parser | Vincent Burns | 2014-01-12 | 1 | -350/+274 |
| | | | | | | | | | | | | tests pass | ||||
| | * | Properly lex floating constants | Vincent Burns | 2014-01-12 | 1 | -5/+20 |
| | | | | | | | | | | | | | | | | | | digit-sequence? '.' digit-sequence exponent-part? digit-sequence '.' exponent-part? exponent-part: [eE] [+-]? digit-sequence | ||||
| | * | Lex '\xHH' character constants | Vincent Burns | 2014-01-12 | 1 | -0/+17 |
| | | | |||||
| | * | Added spliceHeader option to c2nim | Vincent Burns | 2014-01-12 | 1 | -5/+17 |
| | | | | | | | | | | | | parse a header file first, then the source. completing a c 'module' | ||||
* | | | better html generator for the tester; fixes some VM bugs | Araq | 2014-01-17 | 5 | -27/+156 |
|/ / | |||||
* | | Merge branch 'devel' of https://github.com/Araq/Nimrod into devel | Araq | 2014-01-13 | 31 | -709/+1056 |
|\| | |||||
| * | fix bootstrapping on windows | Zahary Karadjov | 2014-01-06 | 1 | -1/+3 |
| | | |||||
| * | progress towards fixing tgenericshardcases | Zahary Karadjov | 2014-01-06 | 7 | -33/+130 |
| | | |||||
| * | introduce tyFromExpr; fixes #618 | Zahary Karadjov | 2014-01-04 | 10 | -27/+61 |
| | | |||||
| * | fixed #597 | Zahary Karadjov | 2014-01-02 | 4 | -28/+59 |
| | | |||||
| * | clean-up some obsolete code; close #602 | Zahary Karadjov | 2013-12-31 | 5 | -205/+59 |
| | | |||||
| * | Templates will pick the candidate in the nearest scope when symbols are mixed-in | Zahary Karadjov | 2013-12-31 | 6 | -16/+32 |
| | | |||||
| * | migrate the static param handling to ReplaceTypeVars; fix tgenericvariant | Zahary Karadjov | 2013-12-30 | 5 | -25/+37 |
| | | |||||
| * | 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 | 4 | -26/+86 |
| | | | | | | | | tfHasMeta more carefully | ||||
| * | Introduce a PreMain proc in the C codegen | Zahary Karadjov | 2013-12-30 | 2 | -39/+62 |
| | | | | | | | | | | | | | | | | The rationale here is that it has become too hard to step into a program when #line directives are enabled. You have to skip over many lines of init code that doesn't have corresponding lines in the nimrod program. Now, you can just step-out of PreMain and go straight to the useful code in NimMain. | ||||
| * | proc redefinition search based on the type system instead of on sloppy AST ↵ | Zahary Karadjov | 2013-12-30 | 3 | -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 inference | Zahary Karadjov | 2013-12-30 | 2 | -1/+4 |
| | | |||||
| * | 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 | 25 | -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 ReplaceTypeVars | Zahary Karadjov | 2013-12-29 | 7 | -42/+76 |
| | | | |||||
| | * | make more tests green | Zahary Karadjov | 2013-12-29 | 10 | -69/+97 |
| | | | |||||
| | * | fix tclosure4 | Zahary Karadjov | 2013-12-28 | 2 | -6/+12 |
| | | | |||||
| | * | fix illegal recursion checks | Zahary Karadjov | 2013-12-28 | 1 | -4/+7 |
| | | | |||||
| | * | lift generic parameters from concrete composite type classes | Zahary Karadjov | 2013-12-28 | 4 | -19/+29 |
| | | | |||||
| | * | towards support for composite type classes such as seq[Number] and ↵ | Zahary Karadjov | 2013-12-27 | 7 | -26/+57 |
| | | | | | | | | | | | | 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 | 9 | -58/+66 |
| | | | |||||
| | * | wip type class reforms (the compiler bootstraps fine) | Zahary Karadjov | 2013-12-25 | 8 | -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 TCandidate | Zahary Karadjov | 2013-12-25 | 5 | -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 params | Zahary Karadjov | 2013-12-25 | 1 | -0/+2 |
| | | | |||||
| | * | static params: expr[T] is now static[T] | Zahary Karadjov | 2013-12-19 | 17 | -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. | ||||
* | | | bugfix: renderer supports 'ptr' etc. as type constraint | Araq | 2014-01-12 | 1 | -4/+5 |
| | | | |||||
* | | | new vm: bugfix | Araq | 2014-01-12 | 1 | -1/+1 |
| | | | |||||
* | | | case consistency improvements | Araq | 2014-01-11 | 1 | -1/+1 |
|/ / | |||||
* | | case consistency: cs:partial bootstraps on windows | Araq | 2013-12-29 | 49 | -314/+321 |
| | | |||||
* | | case consistency: next steps | Araq | 2013-12-29 | 58 | -311/+310 |
| | | |||||
* | | improvements for 'pretty' | Araq | 2013-12-28 | 3 | -14/+23 |
| | | |||||
* | | case consistency part 9 | Araq | 2013-12-28 | 3 | -64/+64 |
| | | |||||
* | | case consistency part 8 | Araq | 2013-12-28 | 4 | -62/+62 |
| | |