| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Implement the `is` operator for the new static and typedesc type classes | Zahary Karadjov | 2018-06-16 | 4 | -25/+69 |
| | | | | | | | | | | This also makes the first baby steps towards a sound treatment of higher-order kinds (type type int). Adds test cases showcasing the new features. * Also fixes breakage after the rebase | ||||
| * | Bugfix: the size of an array may be a static tuple element | Zahary Karadjov | 2018-06-16 | 1 | -1/+2 |
| | | |||||
| * | Bugfix: aliases to generic types were not considered implicit generic parameters | Zahary Karadjov | 2018-06-16 | 1 | -0/+3 |
| | | |||||
| * | A minimal patch enabling the new typedesc and static types syntax | Zahary Karadjov | 2018-06-16 | 7 | -52/+110 |
| | | |||||
| * | Merge pull request #8039 from yglukhov/proc-pragmas | Andreas Rumpf | 2018-06-16 | 2 | -60/+75 |
| |\ | | | | | Fixed stacktrace/linetrace proc pragmas when appended by macro pragma | ||||
| | * | Fixed proto options | Yuriy Glukhov | 2018-06-15 | 1 | -0/+1 |
| | | | |||||
| | * | Fixed stacktrace/linetrace proc pragmas when appended by macro pragma | Yuriy Glukhov | 2018-06-14 | 2 | -60/+74 |
| | | | |||||
| * | | nimpretty: render and/or/notin/in properly | Andreas Rumpf | 2018-06-16 | 1 | -2/+9 |
| | | | |||||
| * | | nimpretty: first version that seems useful for others to test it | Andreas Rumpf | 2018-06-16 | 4 | -3/+231 |
| | | | |||||
| * | | Merge pull request #8021 from yglukhov/seq-lit | Andreas Rumpf | 2018-06-14 | 1 | -1/+1 |
| |\ \ | | | | | | | Added NIM_STRLIT_FLAG to seq literals | ||||
| | * | | Added NIM_STRLIT_FLAG to seq literals | Yuriy Glukhov | 2018-06-12 | 1 | -1/+1 |
| | | | | |||||
| * | | | implements pkg/ prefix to enforce searching for the module ignore the stdlib ↵ | Araq | 2018-06-14 | 1 | -18/+14 |
| | |/ |/| | | | | | paths; refs #7250 | ||||
| * | | Fixed uncaught exception in vm gen | Yuriy Glukhov | 2018-06-13 | 1 | -1/+1 |
| | | | |||||
| * | | implements a --nep1:on switch to make the compiler enforce the naming ↵ | Andreas Rumpf | 2018-06-13 | 12 | -45/+58 |
| | | | | | | | | | conventions outlined in NEP-1 | ||||
| * | | bugfix: allow 'export' in the VM | Andreas Rumpf | 2018-06-12 | 2 | -1/+2 |
| | | | |||||
| * | | Merge pull request #8019 from yglukhov/proc-stacktrace | Andreas Rumpf | 2018-06-12 | 2 | -2/+5 |
| |\ \ | | | | | | | Allow stacktrace and linetrace pragmas on procs | ||||
| | * | | Allow stacktrace and linetrace pragmas on procs | Yuriy Glukhov | 2018-06-12 | 2 | -2/+5 |
| | |/ | |||||
| * | | Merge pull request #7981 from cooldome/Fix_-7980 | Andreas Rumpf | 2018-06-12 | 2 | -3/+7 |
| |\ \ | |/ |/| | Fixes 7980 | ||||
| | * | style improvements | cooldome | 2018-06-12 | 2 | -3/+3 |
| | | | |||||
| | * | add comment | cooldome | 2018-06-12 | 1 | -0/+1 |
| | | | |||||
| | * | New approach | cooldome | 2018-06-12 | 3 | -32/+27 |
| | | | |||||
| | * | fixes 7980 | cooldome | 2018-06-06 | 1 | -21/+29 |
| | | | |||||
| * | | Merge pull request #8014 from yglukhov/fix-6803 | Andreas Rumpf | 2018-06-11 | 2 | -13/+11 |
| |\ \ | | | | | | | Fixes #6803 | ||||
| | * | | Fixes #6803 | Yuriy Glukhov | 2018-06-11 | 2 | -13/+11 |
| | | | | |||||
| * | | | Correct field lookup in concept types | LemonBoy | 2018-06-12 | 1 | -1/+1 |
| |/ / | | | | | | | Fixes #6770 | ||||
| * | | fixes yet another merge conflict | Araq | 2018-06-11 | 4 | -91/+4 |
| |\ \ | |||||
| | * \ | Merge pull request #8009 from yglukhov/remove-oldIterTransf | Andreas Rumpf | 2018-06-11 | 4 | -91/+4 |
| | |\ \ | | | | | | | | | Removed oldIterTranf feature | ||||
| | | * | | Removed oldIterTranf feature | Yuriy Glukhov | 2018-06-10 | 4 | -91/+4 |
| | | | | | |||||
| * | | | | disable -d:nimIncremental for devel | Araq | 2018-06-11 | 1 | -1/+1 |
| | | | | | |||||
| * | | | | fixes merge conflict | Araq | 2018-06-11 | 1 | -4/+2 |
| |\| | | | |||||
| | * | | | Merge pull request #8005 from Vindaar/fixes-7997 | Andreas Rumpf | 2018-06-11 | 1 | -4/+2 |
| | |\ \ \ | | |/ / | |/| | | fix #7997 | ||||
| | | * | | fix #7997 | Vindaar | 2018-06-10 | 1 | -4/+2 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fixes issue #7997, which was caused by an export of a `release` proc in `locks`. Thus the `release` in `defined(release)` of the `ifDebug` template, was of kind `nkSym` instead of `nkIdent`. We fix this by getting the `PIdent` of the argument to `defined` using `considerQuotedIdent`. This has the nice property of also checking for a valid identifier for us. E.g. `defined(123)` would fail with ``` Error: in expression 'defined(123)': identifier expected, but found '123' ``` The `localError` is removed, due to a clear distinction between `declared` and `defined` now. | ||||
| * | | | | make tests green properly | Andreas Rumpf | 2018-06-11 | 1 | -2/+2 |
| | | | | | |||||
| * | | | | fixes merge conflict | Andreas Rumpf | 2018-06-11 | 4 | -15/+24 |
| |\| | | | |||||
| | * | | | fix #7653 | Zahary Karadjov | 2018-06-10 | 2 | -12/+15 |
| | |/ / | |||||
| | * | | Fix type inference with static literals. | LemonBoy | 2018-06-10 | 1 | -1/+1 |
| | | | | | | | | | | | | | Fixes #3977 | ||||
| | * | | Merge pull request #7873 from ehmry/GenodeEnv | Andreas Rumpf | 2018-06-09 | 1 | -2/+8 |
| | |\ \ | | | | | | | | | Native access to Genode environment | ||||
| | | * | | Native access to Genode environment | Emery Hemingway | 2018-06-07 | 1 | -2/+8 |
| | | |/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add a 'GenodeEnv' type and a 'componentConstructHook' to the system module. The 'componentConstructHook' allows for detection of POSIX style programs that exit implicitly or native Genode components that initialize to serve RPC requests and OS signals. This hook takes a 'GenodeEnv' argument so that the environment interface is passed cleanly to application code after globals are initialized. This is an typed pointer to a C++ object, procedures for accessing the environment will be available from a Nimble library and not included in the standard library. The standard library has an internal pointer to the environment object but this is not for external use, the undocumented global environment pointer has been removed. | ||||
| * | | | make tests green again | Andreas Rumpf | 2018-06-11 | 2 | -8/+10 |
| | | | | |||||
| * | | | incremental compilation: save the configuration | Andreas Rumpf | 2018-06-11 | 2 | -11/+29 |
| | | | | |||||
| * | | | record cppdefine for incremental compilation | Andreas Rumpf | 2018-06-10 | 3 | -3/+5 |
| | | | | |||||
| * | | | implement passL and passC for the compilation cache | Andreas Rumpf | 2018-06-10 | 3 | -8/+13 |
| | | | | |||||
| * | | | fixex merge conflicts | Araq | 2018-06-08 | 17 | -96/+1479 |
| |\| | | |||||
| | * | | Merge pull request #7986 from yglukhov/fix-7982 | Andreas Rumpf | 2018-06-07 | 3 | -4/+15 |
| | |\ \ | | | | | | | | | Fixes #7982 | ||||
| | | * | | Fixes #7982 | Yuriy Glukhov | 2018-06-07 | 3 | -4/+15 |
| | | | | | |||||
| | * | | | Fixes #7985 | Yuriy Glukhov | 2018-06-07 | 1 | -9/+8 |
| | |/ / | |||||
| | * / | Fixed yield in nkBlockExpr | Yuriy Glukhov | 2018-06-07 | 1 | -2/+14 |
| | |/ | |||||
| | * | Merge pull request #7550 from jangko/fix4799 | Andreas Rumpf | 2018-06-06 | 2 | -1/+11 |
| | |\ | | | | | | | fixes #4799, varargs now can accept polymorphic types | ||||
| | | * | add more test to 4799 | andri lim | 2018-06-05 | 2 | -1/+11 |
| | | | | |||||
| | * | | Fixed yield in dotExpr and nkOfBranch lowering. Closes #7969. | Yuriy Glukhov | 2018-06-06 | 1 | -2/+15 |
| | | | | |||||