summary refs log tree commit diff stats
path: root/compiler/isolation_check.nim
Commit message (Collapse)AuthorAgeFilesLines
* type graph refactor; part 3 (#23064)Andreas Rumpf2023-12-141-7/+9
|
* Types: Refactorings; step 1 (#23055)Andreas Rumpf2023-12-121-4/+4
|
* prepare for the enforcement of `std` prefix (#22873)ringabout2023-10-291-1/+3
| | | follow up https://github.com/nim-lang/Nim/pull/22851
* use strictdefs for compiler (#22365)ringabout2023-08-061-1/+6
| | | | | | | | | | | | | | | * wip; use strictdefs for compiler * checkpoint * complete the chores * more fixes * first phase cleanup * Update compiler/bitsets.nim * cleanup
* isolation spec update; WIP (#21843)Andreas Rumpf2023-05-141-2/+74
| | | | | | | | | | | * isolation spec update; WIP * wip * docs update, WIP * progress * Update doc/manual.md
* move assertions out of system (#19599)flywind2022-03-231-0/+3
|
* deprecate unsafeAddr; extend addr (#19373)flywind2022-01-161-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | * deprecate unsafeAddr; extend addr addr is now available for all addressable locations, unsafeAddr is deprecated and become an alias for addr * follow @Vindaar's advice * change the signature of addr * unsafeAddr => addr (stdlib) * Update changelog.md * unsafeAddr => addr (tests) * Revert "unsafeAddr => addr (stdlib)" This reverts commit ab83c99c507048a8396e636bf22d55fdd84d7d1c. * doc changes; thanks to @konsumlamm Co-authored-by: konsumlamm <44230978+konsumlamm@users.noreply.github.com> Co-authored-by: konsumlamm <44230978+konsumlamm@users.noreply.github.com>
* fixes #19013 [backport:1.6] (#19111)Andreas Rumpf2021-11-091-1/+16
| | | | | * fixes #19013 [backport:1.6] * added test case
* fixes #18326 (#18335)Andreas Rumpf2021-06-231-2/+2
| | | | | * fixes #18326 * make tests green again
* potential fix for semgeneric formal params (#17494)Saem Ghani2021-03-241-0/+3
| | | | marked locations where analysis of return formal param is done prior to args. This might fix some subtle bugs.
* [isolation]fix empty ref object bug (#17471)flywind2021-03-241-2/+6
| | | | | | | | | | | | | * fix nim js cmp fails at CT * [Minor]fix empty ref object for isolation * Update compiler/isolation_check.nim * Update compiler/isolation_check.nim Co-authored-by: Clyybber <darkmine956@gmail.com> Co-authored-by: Clyybber <darkmine956@gmail.com>
* canAlias improvement (#15773)cooldome2020-10-301-2/+11
| | | | | * canAlias improvement * fix comment
* explicit ID generation for easier IC (#15559)Andreas Rumpf2020-10-251-1/+1
| | | | | | | | | | | | | | | | | * refactoring: idents don't need inheritance * refactoring: adding an IdGenerator (part 1) * refactoring: adding an IdGenerator (part 2) * refactoring: adding an IdGenerator (part 3) * refactoring: adding an IdGenerator (part 4) * refactoring: adding an IdGenerator (part 5) * refactoring: adding an IdGenerator (part 5) * IdGenerator must be a ref type; hello world works again * make bootstrapping work again * progress: add back the 'exactReplica' ideas * added back the missing exactReplica hacks * make tcompilerapi work again * make important packages green * attempt to fix the build for 32 bit machines (probably need a better solution here)
* compiler: minor code cleanupsAraq2020-07-271-1/+1
|
* writing to a location counts as "side effect"; implements ↵Andreas Rumpf2020-07-251-1/+1
| | | | https://github.com/nim-lang/RFCs/issues/234 (#15030)
* 'isolate' builtin; refs https://github.com/nim-lang/RFCs/issues/244 (#15011)Andreas Rumpf2020-07-201-0/+117
450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484