Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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. | ||||
* | in successful compilations with verbosity:0, all output is suppressed ↵ | Zahary Karadjov | 2013-12-10 | 1 | -1/+3 |
| | | | | (useful for combing with --run) | ||||
* | fix computed dynlib names; fixes #718 | Zahary Karadjov | 2013-12-09 | 1 | -1/+1 |
| | |||||
* | Merge branch 'master' of github.com:Araq/Nimrod into upstream | Zahary Karadjov | 2013-12-09 | 10 | -51/+93 |
|\ | |||||
| * | Merge pull request #698 from fowlmouth/smallstdlib | Andreas Rumpf | 2013-12-04 | 1 | -7/+11 |
| |\ | | | | | | | removed x11 | ||||
| | * | fixes compiler.lists.bringToFront | fowlmouth | 2013-12-02 | 1 | -7/+11 |
| | | | |||||
| * | | don't use memset for temps unless necessary | Araq | 2013-12-03 | 1 | -7/+10 |
| | | | |||||
| * | | Merge branch 'master' of github.com:Araq/Nimrod | Araq | 2013-12-03 | 2 | -5/+0 |
| |\ \ | |||||
| | * | | Renamed nimrod.cfg to nimrod.nimrod.cfg | onionhammer | 2013-12-02 | 1 | -0/+0 |
| | | | | |||||
| | * | | Updated cfg file processing | Erik O'Leary | 2013-12-02 | 1 | -5/+0 |
| | |/ | | | | | | | | | | | | | No longer look at deprecated file.cfg, compiler will only look at file.nimrod.cfg | ||||
| * / | fixes a regression where memset was used without including <string.h> | Araq | 2013-12-03 | 3 | -0/+15 |
| |/ | |||||
| * | fixes #696 | Araq | 2013-12-01 | 1 | -0/+2 |
| | | |||||
| * | fixes #681 | Araq | 2013-11-30 | 1 | -1/+19 |
| | | |||||
| * | fixes #686 | Araq | 2013-11-29 | 2 | -20/+24 |
| | | |||||
| * | always call the linker; fixes #660 | Araq | 2013-11-19 | 1 | -1/+1 |
| | | |||||
| * | fixes #663 | Araq | 2013-11-19 | 1 | -9/+9 |
| | | |||||
| * | Merge pull request #680 from Varriount/core/fix-generic-crashes | Andreas Rumpf | 2013-11-19 | 1 | -2/+3 |
| |\ | | | | | | | Prevent lambdas from crashing if given implicit generic parameters. | ||||
| | * | Prevent lambdas from crashing if given implicit generic parameters. | Clay Sweetser | 2013-11-18 | 1 | -2/+3 |
| | | | | | | | | | | | | Fixes issues #599 and #641 (and possibly other generic-related issues) | ||||
* | | | progress towards adding negative type classes | Zahary Karadjov | 2013-12-09 | 8 | -44/+263 |
| | | | | | | | | | | | | | | | | | | [unittest bugfixes] the block form of check now allows comments errors when inspecting the arguments of var-accepting procs | ||||
* | | | fixes #708 | Zahary Karadjov | 2013-12-07 | 1 | -3/+1 |
| | | | | | | | | | | | | | | | | | | | | | It's unclear to me why for variables were treated as globals. This is likely to cause many problems, but in this particular case it was breaking the unittest/insepectArgs recursive function (the for loop variable has a different value in each stack frame) | ||||
* | | | adding some provisions for writing lower-level unit tests targeting specific ↵ | Zahary Karadjov | 2013-12-07 | 4 | -4/+25 |
|/ / | | | | | | | | | | | | | | | 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 | 6 | -46/+65 |
| | | |||||
* | | improvements for the `is` operator; implemented the type lifting rule in ↵ | Zahary Karadjov | 2013-11-17 | 3 | -12/+32 |
| | | | | | | | | user-defined type classes | ||||
* | | support for multiple test variables and var qualifiers in user-defined type ↵ | Zahary Karadjov | 2013-11-13 | 5 | -11/+34 |
|/ | | | | classes | ||||
* | Merge pull request #631 from mflamer/master | Andreas Rumpf | 2013-10-31 | 1 | -9/+13 |
|\ | | | | | LockFree Hash Table 0.1 | ||||
| * | better better fix for Issue #629 Recursive generic types not working | Mark Flamer | 2013-10-30 | 1 | -5/+4 |
| | | |||||
| * | better fix for Issue #629 Recursive generic types not working | Mark Flamer | 2013-10-29 | 1 | -11/+14 |
| | | |||||
| * | fix for Issue #629 Recursive generic types not working | Mark Flamer | 2013-10-25 | 1 | -0/+2 |
| | | |||||
* | | Merge pull request #630 from mflamer/master | Simon Hafner | 2013-10-22 | 1 | -6/+2 |
|\| | | | | | remove whitespace | ||||
| * | more whitespace removal | Mark Flamer | 2013-10-21 | 1 | -3/+1 |
| | | |||||
| * | remove extra white space | Mark Flamer | 2013-10-21 | 1 | -3/+1 |
| | | |||||
* | | Merge pull request #628 from mflamer/master | Andreas Rumpf | 2013-10-21 | 1 | -2/+6 |
|\| | | | | | fix for Issue #626 - Distinct and generics not working together | ||||
| * | fix for Issue #626 - Distinct and generics not working together | Mark Flamer | 2013-10-21 | 1 | -2/+6 |
| | | |||||
* | | fixes #616 | Araq | 2013-10-10 | 1 | -1/+1 |
| | | |||||
* | | cooler quote for c2nim | Araq | 2013-10-10 | 2 | -17/+15 |
| | | |||||
* | | bugfix: package names should not contain '.' | Araq | 2013-10-07 | 2 | -5/+17 |
| | | |||||
* | | implemented top level asm statements | Araq | 2013-10-07 | 1 | -1/+5 |
| | | |||||
* | | Merge branch 'master' of https://github.com/Araq/Nimrod | Araq | 2013-10-06 | 1 | -2/+2 |
|\ \ | |||||
| * \ | Merge pull request #604 from reactormonk/master | Andreas Rumpf | 2013-10-05 | 1 | -2/+2 |
| |\ \ | | | | | | | | | moved eqproc to the correct magic position | ||||
| | * | | don't mess with semfold, use vars instead | Simon Hafner | 2013-09-26 | 1 | -1/+0 |
| | | | | |||||
| | * | | moved eqproc to the correct magic position | Simon Hafner | 2013-09-26 | 2 | -2/+3 |
| | | | | | | | | | | | | | | | | also added mEqCString to evalOps so the test runs | ||||
| | * | | Revert "deleted EqProc so the magic aligns again" - wrong remote. | Simon Hafner | 2013-09-26 | 1 | -0/+2 |
| | | | | | | | | | | | | | | | | This reverts commit d7c8b3ad06183cb5ad231981f01992016b5805b4. | ||||
| | * | | deleted EqProc so the magic aligns again | Simon Hafner | 2013-09-26 | 1 | -2/+0 |
| | | | | |||||
* | | | | 'noStackFrame' implies 'naked' in the generated C code | Araq | 2013-10-06 | 6 | -12/+21 |
|/ / / | |||||
* | | | fixed another semicolon related parsing bug | Araq | 2013-10-02 | 1 | -4/+3 |
| | | | |||||
* | | | fixes #609 | Araq | 2013-10-01 | 1 | -2/+8 |
| | | |