summary refs log tree commit diff stats
path: root/compiler/ast.nim
Commit message (Collapse)AuthorAgeFilesLines
* [refactoring] remove zeroExtend and friends from the compiler builtins. (#11531)Arne Döring2019-06-241-8/+0
| | | | | * remove zeroExtend and friends from the compiler builtins. * fix jssys
* [bugfix] owned closures (#11544)Andreas Rumpf2019-06-201-0/+2
|
* Remove immediate pragma (#11308)Arne Döring2019-05-291-4/+0
| | | | | * remove immediate from tests * remove immediate from the compiler
* fixes #10889Andreas Rumpf2019-05-291-14/+0
|
* Iterator fixes (#11234)Jasper Jenkins2019-05-131-0/+3
|
* rename tyExpr/tyStmt to tyUntyped/tyTyped (#11227)Arne Döring2019-05-111-3/+3
|
* Make range checks in semConv (#7164)Oscar Nihlgård2019-05-101-1/+0
| | | | | | | | | | | * Remove NaN/Inf/NegInf magic * Make range checks in semConv * fix the failing line * fix `firstOrd` and `lastOrd` * fix `localError` * remove debug comment * Cleanup, fix failing test * make tests green
* Replace countup(x, y) with x .. yClyybber2019-05-071-4/+4
|
* Replace countup(x, y-1) with x ..< yClyybber2019-05-071-6/+6
|
* Fixes for ptr array deref codegen (#11191)Jasper Jenkins2019-05-071-0/+2
| | | | | * fixes for ptr array derefence codegen * fix comments, make diff nicer
* added system.unown to make 'owned' sane to use in practice; later on we ↵Araq2019-04-291-1/+1
| | | | might change the type inference rules to make it more convenient
* destructors: internal compiler refactoringAraq2019-04-181-10/+14
|
* an owned ref parameter behaves as a 'sink' parameterAndreas Rumpf2019-04-071-0/+6
|
* more efficient enumToStr implementation that works without the old typeinfo ↵Andreas Rumpf2019-04-071-0/+14
| | | | structures
* destructors: we are cooking nowAraq2019-04-061-0/+3
|
* more destructor based changes (#10885)Andreas Rumpf2019-03-231-4/+8
| | | | | | | | | | | * mark user defined destructors with sfOverriden to simplify the logic * refactoring in preparation to merge liftings and generic instantiations for destructors * ast: introduce nkHiddenTryStmt for destructor generation in order to be able to optimize better the code later on * renamed 'patterns' switch to 'trmacros' as it was totally misleading before * destructors: introduce tfCheckedForDestructor flag in preparation of strict =destroy checking * test for invalid/too late destructor introductions * liftdestructors: make code robust for nimsuggest * --newruntime works for hello world again * newruntime: code generation for closures
* sizeof alignof offsetof macros api (#10855)Arne Döring2019-03-191-1/+1
|
* multi-methods: remove hack, make tmethod_various compile under strict C++ ↵Andreas Rumpf2019-03-141-1/+1
| | | | [backport]
* owned refs must be movedAndreas Rumpf2019-03-071-1/+1
|
* explicit default values for a leaner codegen, .cursor variables for optimizationAndreas Rumpf2019-03-071-0/+5
|
* introduce tfHasOwned for fast must-move checkings; removed tfAcyclic as the ↵Andreas Rumpf2019-03-051-1/+8
| | | | GC has ignored this hint for quite some time now
* added system.default in order to prevent the abstraction inversion that ↵Andreas Rumpf2019-03-051-1/+1
| | | | 'template default(T): untyped = (var x: T; x)' causes
* Initial version of the hot-code reloading support for native targets (#10729)zah2019-02-261-4/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * squashed work by Zahary * squashing a ton of useful history... otherwise rebasing on top of upstream Nim after commit 82c009a2cbc5d07ab9a847f1c58228a20efaf219 would be impossible. * Code review changes; Working test suite (without code reloading enabled) * - documentation - implemented the HCR test - almost works... - fix the issue on Unix where for executable targets the source file for the main module of a project in nimcache was being overwritten with the binary itself (and thus the actual source code was lost) - fixing embedded paths to shared objects on unix (the "lib" prefix was being prepended to the entire path instead of just the filename) - other fixes - removing unnecessary includes since that file is already included in chcks.nim which is in turn included in system.nim (and previously was getting imported in chcks.nim but then system.nim improts something... and that breaks HCR (perhaps it could be fixed but it would be nice not to import anything in system)) * fix for clang & C++ - explicitly casting a function pointer to void* more stable mangling of parameter names when HCR is on the length of the static arrays in the DatInit functions is now part of the name of the variables, so when they get resized they get also recreated more stable mangling for inline functions - no longer depends on the module which first used them work on the new complicated HCR test - turned surprisingly complex - WIP test now successfully passes even when re-running `koch test` (previously when the nimcache wasn't cold that lead to errors) better documentation calling setStackBottomWith for PreMain passes over the HcrInit/DatInit/Init calls of all modules are now in the proper order (first all of one type, then all of the next). Also typeinfo globals are registered (created) in a single pass before the DatInit pass (because of the way generic instantiations are handled) Fix the test suite execution on macOs fix for being able to query the program arguments when using HCR on posix! other fixes * Bugfix: Fix a compilation error in C++ mode when a function pointer is converted to a raw pointer * basic documentation for the new hot code reloading semantics * Add change log entry * Don't re-execute the top-level statements while reloading JS code * fix a number of tests broken in a recent bugfix * Review changes * Added {.executeOnReload.} pragma that indicates top-level statements that should be executed on each reload. To make this work, I've modified the way the `if (hcr_init_) {...}` guards are produced in the init code. This still needs more work as the new guards seem to be inserted within the previously generated guards. This change also removes the need for `lastRegistedGlobal` in nimhcr. * Implemented the `signatureHash` magic and the `hasModuleChanged` API depending on it (the actual logic is not imlemented yet). * Add the "hcr" prefix to all HCR-related symbols in the system module. Added a new `hotcodereloading` module exporting the high-level API to the user. Besides being more hygienic, this was also required in order to make it possible to use macros in the high-level API. Without the split, `system` would have to import `macros`, which was going to produce the well-known init problems. * Attempted to solve the "GC markers problem". Crashes were expected with the previous code, because the GC markers were compiled as normal procs are registered in the GC. When their module is unloaded, dangling pointers will remain in the GC tables. To solve this issue, I don't register any GC markers when HCR is on, but I add them to the HCR globals metadata and I use a single marker registed in nimhcr during the initialization of the system module that will be responsible for marking all globals. * fix a compilation error * - implemented the hasModuleChanged functionality - tuples can be returned and broken into different vars in global scope - added comments for the closnig scopes of the if statements in the init proc - the new executeOnReload pragma works now! - other fixes * finally! fixing this hack in a proper way - declaring the destructor out of line (out of the class body) - we no longer need to forward-declare popCurrentExceptionEx * Force full module parsing This is a temporary hack that breaks some tests. I'll investigate later how these can be fixed. * tuples are now properly handled when global! * these comments mess up the codegen in debug mode when $n is not actually a new line (or something like that) - these labels are intended only for GOTO labels anyway... * "solved" the issue with the .pdb locks on windows when a binary is being debugged and hot code reloading is used at the same time * fixes after rebasing... * small fixes for the test * better handling of globals! no more compiler crashes for locals with the global pragma, also simplified code around loops in global scope which have local vars (actually globals) * we can now use the global pragma even for ... globals! * the right output * lets try those boehm GC tests * after the test is ran it will be at its starting state - no git modifications * clarification in the docs * removed unnecessary line directives for forward declarations of functions - they were causing trouble with hot code reloading when no semantic change propagates to the main module but a line directive got changed and thus the main module had to be recompiled since the .c code had changed * fixed bug! was inserting duplicate keys into the table and later was removing only 1 copy of all the duplicates (after a few reloads) * no longer breaking into DatInit code when not supposed to * fixes after rebasing * yet more fixes after rebasing * Update jssys.nim * Rework the HCR path-handling logic After reviewing the code more carefully, I've noticed that the old logic will be broken when the user overrides the '--out:f' compiler option. Besides fixing this issues, I took the opportunity to implement the missing '--outdir:d' option. Other changes: * ./koch test won't overwrite any HCR and RTL builds located in nim/lib * HCR and RTL are compiled with --threads:on by default * Clean up the globals registration logic * Handle non-flattened top-level stmtlists in JS as well * The HCR is not supported with the Boehm GC yet Also fixes some typos and the expected output of the HCR integration test * The GC marker procs are now properly used as trampolines * Fix the HCR integration test in release builds * Fix ./koch tools * this forward declaration doesn't seem to be necessary, and in fact breaks HCR because a 2nd function pointer is emitted for this externed/rtl func * the forward declaration I removed in the last commit was actually necessary * Attempt to make all tests green * Fix tgenscript * BAT file for running the HCR integration test on Windows [skip ci] * Fix the docgen tests * A final fix for Travis (hopefully)
* code cleanup: there is no tyOptRefAndreas Rumpf2019-02-221-1/+1
|
* it's spelt callsiteAndreas Rumpf2019-02-221-1/+1
|
* 32 bit fixes (#10608)Arne Döring2019-02-131-1/+8
|
* Implement {.booldefine.} (#10533)Oscar Nihlgård2019-02-031-1/+1
|
* gc: destructors is beginning to work (#10483)Andreas Rumpf2019-01-291-1/+0
| | | | | | | | | | | | | | | | * kochdocs.nim: code cleanup * docgen: nicer indentation * parser.nim: code cleanup * fixes #10458 * make tests green again * make =destroy mixins * gc:destructors: produced C code is almost working * --gc:destructors simple program compiles (but leaks memory) * gc:destructors make examples compile in C++ mode * destructors: string implementation bugfixes * strs.nim: minor code cleanup * destructors: builtin seqs are beginning to work * remove debugging helpers
* add custom pragma support for var and let symbols (#9582)jcosborn2019-01-071-0/+7
| | | | | | * add custom pragma support for var and let symbols * updated changelog for custom pragmas on var and let symbols * add oldast switch for backwards compatibility
* much simpler implementation of constant tuple declarationsAndreas Rumpf2018-12-191-2/+1
|
* Const tuple unpacking (#9964)Neelesh Chandola2018-12-191-1/+2
| | | | | | | | | | * tuple unpacking is now supported for consts * Move nkConstTuple to the end of TNodeKind * Add nnkConstTuple in macros.nim * Fix Formatting
* compiler refactoring: TSymSeq is gone for goodAraq2018-12-111-2/+1
|
* fixes nested gensym'ed parameters; fixes #9476Araq2018-12-081-3/+3
|
* More dead code (#9835)Jacek Sieka2018-12-041-2/+0
| | | | | | * remove more assignment flags * needsComplexAssignment > containsGarbageCollectedRef * remove OnStackShadowDup
* IC: further progressAraq2018-12-011-6/+6
|
* fixes #9675Andreas Rumpf2018-11-261-2/+2
|
* Remove dead code (#9777)Jacek Sieka2018-11-261-1/+0
| | | | | | | | | * gc/gc2: remove unused ref counting stuff * also removes some false threading support - hasSharedHeap is always false in gc/gc2 * gc: remove some threading cruft * remove asgnRefNoCycle * compiler: remove TLoc.dup (unused)
* Add isInstanceOf for generic procs to the macros module (#9730)cooldome2018-11-211-1/+2
|
* compiler cleanup: flag tfOldSchoolExprStmt is goneAraq2018-11-061-3/+0
|
* language cleanup: the .unchecked pragma is deadAraq2018-11-061-1/+0
|
* fixes tnre regressionAraq2018-10-291-1/+1
|
* make tstatic_t_bug compile with the C++ backendAraq2018-10-281-2/+2
|
* Change the order of compilation passes, transformation is made lazy at code ↵cooldome2018-10-181-2/+2
| | | | | | | | | | | | | | | gen (#8489) * Ast no transformation * Add getImplNoTransform to the macros module * progress on delaying transf * Fix methods tranformation * Fix lazy lambdalifting * fix create thread wrapper * transform for lambda lifting * improve getImplTransformed * Fix destructor tests * try to fix nimprof for linux
* Merge branch 'Fixes-7845' of https://github.com/cooldome/Nim into ↵Araq2018-10-151-6/+5
|\ | | | | | | cooldome-Fixes-7845
| * one more attemptcooldome2018-06-281-3/+5
| |
| * Fix failing testcooldome2018-06-261-1/+1
| |
| * Merge branch 'devel' into Fixes-7845cooldome2018-06-261-34/+45
| |\
| * | FIx test tembarrassing_generic_failurecooldome2018-06-121-1/+1
| | |
| * | Fixescooldome2018-06-121-5/+4
| | |
| * | Fixes 7845cooldome2018-06-101-7/+5
| | |
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-02-13 11:58:07 +0000