summary refs log tree commit diff stats
path: root/compiler/isolation_check.nim
Commit message (Collapse)AuthorAgeFilesLines
* 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
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-02-25 07:52:29 +0000
integer)) ((2 integer))) cn1: (((5 integer)) <- ((input)) ((1 literal))) cn1: (((4 integer)) <- ((input)) ((0 literal))) cn1: (((3 integer)) <- ((add)) ((4 integer)) ((5 integer))) cn1: (((reply))) cn1: (((4 integer)) <- ((copy)) ((34 literal))) schedule: main run: main 0: (((1 integer)) <- ((copy)) ((1 literal))) run: main 0: 1 => ((1 integer)) mem: ((1 integer)): 1 <= 1 run: main 1: (((2 integer)) <- ((copy)) ((3 literal))) run: main 1: 3 => ((2 integer)) mem: ((2 integer)): 2 <= 3 run: main 2: (((test1)) ((1 integer)) ((2 integer))) mem: ((1 integer)) => 1 mem: ((2 integer)) => 3 run: test1/main 0: (((5 integer)) <- ((input)) ((1 literal))) arg: (((1 literal))) 1 (1 3) run: test1/main 0: 3 => ((5 integer)) mem: ((5 integer)): 5 <= 3 run: test1/main 1: (((4 integer)) <- ((input)) ((0 literal))) arg: (((0 literal))) 0 (1 3) run: test1/main 1: 1 => ((4 integer)) mem: ((4 integer)): 4 <= 1 run: test1/main 2: (((3 integer)) <- ((add)) ((4 integer)) ((5 integer))) mem: ((4 integer)) => 1 mem: ((5 integer)) => 3 run: test1/main 2: 4 => ((3 integer)) mem: ((3 integer)): 3 <= 4 run: test1/main 3: (((reply))) schedule: done with routine nil