metagn
4b1a841707
add switch, warning, and bind support for new generic injection behavior ( #23102 )
...
refs #23091 , especially post merge comments
Unsure if `experimental` and `bind` are the perfect constructs to use
but they seem to get the job done here. Symbol nodes do not get marked
`nfOpenSym` if the `bind` statement is used for their symbol, and
`nfOpenSym` nodes do not get replaced by new local symbols if the
experimental switch is not enabled in the local context (meaning it also
works with `push experimental`). However this incurs a warning as the
fact that the node is marked `nfOpenSym` means we did not `bind` it, so
we might want to do that or turn on the experimental switch if we didn't
intend to bind it.
The experimental switch name is arbitrary and could be changed.
---------
Co-authored-by: Andreas Rumpf <rumpf_a@web.de >
2023-12-22 08:49:51 +01:00
..
2023-12-18 17:40:30 +01:00
2023-12-13 10:29:58 +01:00
2023-12-12 16:54:50 +01:00
2023-08-06 14:26:21 +02:00
2023-12-15 10:20:57 +01:00
2023-12-18 17:40:30 +01:00
2023-12-15 12:59:56 +01:00
2023-12-13 10:29:58 +01:00
2023-12-17 18:43:52 +01:00
2023-02-22 20:34:20 +01:00
2023-10-11 17:44:14 +02:00
2023-08-06 14:26:21 +02:00
2023-12-15 10:20:57 +01:00
2023-12-15 10:20:57 +01:00
2022-09-28 15:05:01 +02:00
2022-11-30 21:51:13 +01:00
2023-12-15 10:20:57 +01:00
2023-12-15 10:20:57 +01:00
2022-09-27 10:57:47 +02:00
2023-12-15 10:20:57 +01:00
2023-12-15 10:20:57 +01:00
2023-10-29 14:48:11 +01:00
2023-12-13 10:29:58 +01:00
2023-10-29 14:48:11 +01:00
2023-12-15 10:20:57 +01:00
2023-12-15 08:13:25 +01:00
2023-10-29 14:48:11 +01:00
2023-11-20 21:12:13 +01:00
2023-06-18 16:06:14 +02:00
2023-12-15 10:20:57 +01:00
2023-12-17 12:29:46 +01:00
2017-01-07 22:35:09 +01:00
2022-06-10 20:40:08 +02:00
2023-10-29 14:48:11 +01:00
2023-12-15 10:20:57 +01:00
2023-08-06 14:26:21 +02:00
2023-12-15 08:13:25 +01:00
2023-12-17 18:43:52 +01:00
2023-11-20 21:12:13 +01:00
2023-12-12 16:54:50 +01:00
2023-12-15 10:20:57 +01:00
2023-12-15 10:20:57 +01:00
2023-10-16 00:01:33 +02:00
2023-10-29 14:48:11 +01:00
2023-10-29 14:48:11 +01:00
2023-10-29 14:48:11 +01:00
2023-12-15 08:13:25 +01:00
2023-09-01 06:41:39 +02:00
2023-10-29 14:48:11 +01:00
2023-12-15 08:13:25 +01:00
2020-06-01 19:21:41 +02:00
2023-12-15 10:20:57 +01:00
2023-09-18 22:57:03 +02:00
2023-12-15 08:13:25 +01:00
2023-12-14 16:25:34 +01:00
2023-12-12 16:54:50 +01:00
2023-12-13 10:29:58 +01:00
2023-12-12 16:54:50 +01:00
2023-12-13 10:39:10 +01:00
2023-12-15 08:13:25 +01:00
2023-12-15 10:20:57 +01:00
2023-10-29 14:48:11 +01:00
2023-12-22 08:49:51 +01:00
2023-08-06 14:26:21 +02:00
2023-11-04 17:46:59 +08:00
2023-12-15 07:48:34 +01:00
2023-12-13 10:29:58 +01:00
2021-01-12 09:36:51 +01:00
2023-12-12 16:54:50 +01:00
2023-12-06 18:17:57 +01:00
2023-12-15 08:13:25 +01:00
2023-10-29 14:48:11 +01:00
2023-03-03 07:36:38 +01:00
2023-12-15 08:13:25 +01:00
2022-03-23 20:34:53 +01:00
2023-12-16 07:05:57 +01:00
2023-11-30 14:05:45 +01:00
2023-12-14 17:04:09 +01:00
2023-12-15 08:13:25 +01:00
2023-12-15 08:13:25 +01:00
2023-06-30 23:03:25 +02:00
2023-10-29 14:48:11 +01:00
2023-10-29 14:48:11 +01:00
2023-12-12 16:54:50 +01:00
2023-10-29 14:48:11 +01:00
2023-04-17 20:55:22 +02:00
2023-10-29 14:48:11 +01:00
2023-12-22 08:49:51 +01:00
2023-08-06 14:26:21 +02:00
2023-04-24 06:52:37 +02:00
2023-10-29 14:48:11 +01:00
2023-12-17 09:01:00 +01:00
2022-08-24 09:44:16 +02:00
2023-11-20 21:12:13 +01:00
2023-10-29 14:48:11 +01:00
2023-12-17 18:43:52 +01:00
2023-12-13 10:29:58 +01:00
2023-03-03 07:36:38 +01:00
2023-10-29 14:48:11 +01:00
2018-05-27 19:19:12 +02:00
2023-12-12 16:54:50 +01:00
2023-10-29 14:48:11 +01:00
2023-12-15 08:13:25 +01:00
2023-07-02 22:36:05 +02:00
2023-12-12 16:54:50 +01:00
2023-10-29 14:48:11 +01:00
2023-10-29 14:48:11 +01:00
2023-11-06 18:33:28 +01:00
2023-08-10 14:26:40 +02:00
2020-09-11 01:04:07 +02:00
2023-10-29 14:48:11 +01:00
2023-12-17 18:43:52 +01:00
2023-12-17 18:43:52 +01:00
2023-12-14 16:25:34 +01:00
2023-12-22 08:49:51 +01:00
2023-12-15 08:13:25 +01:00
2023-12-12 16:54:50 +01:00
2023-12-22 08:49:51 +01:00
2023-12-17 18:43:52 +01:00
2023-12-15 10:20:57 +01:00
2023-12-13 10:29:58 +01:00
2023-12-15 08:13:25 +01:00
2023-12-15 08:13:25 +01:00
2023-12-19 10:24:36 +01:00
2023-12-19 00:07:20 +01:00
2022-12-11 16:58:50 +01:00
2023-12-15 08:13:25 +01:00
2023-12-14 16:25:34 +01:00
2023-12-15 10:20:57 +01:00
2023-12-15 10:20:57 +01:00
2023-12-15 10:20:57 +01:00
2023-11-20 21:12:13 +01:00
2023-12-14 16:25:34 +01:00
2023-12-15 08:13:25 +01:00
2023-12-13 10:29:58 +01:00
2023-12-17 18:43:52 +01:00
2023-10-29 14:48:11 +01:00
2023-08-10 14:26:40 +02:00
2023-12-02 05:28:24 +01:00
2023-12-12 16:54:50 +01:00
2023-10-29 14:48:11 +01:00
2023-12-14 16:25:34 +01:00
2023-12-17 18:43:52 +01:00
2023-10-29 14:48:11 +01:00
2023-12-15 10:20:57 +01:00
2023-12-19 17:27:24 +01:00
2023-12-12 16:54:50 +01:00
2023-08-21 20:08:00 +02:00
2023-12-15 10:20:57 +01:00
2023-12-15 10:20:57 +01:00
2023-08-10 14:26:40 +02:00
2023-12-15 10:20:57 +01:00
2023-08-18 16:47:47 +02:00
2023-10-29 14:48:11 +01:00
2023-12-17 18:43:52 +01:00
2023-10-29 14:48:11 +01:00