diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-03 17:47:15 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-03 17:47:15 -0600 |
commit | 7029e89bc6ada688da48dc54362aef180b7c20ef (patch) | |
tree | bb41df6904c57d63c10129d05948eb57fe8e34cf /src/options | |
parent | 81ac7cd609ef011b615dccefde702fd5b3a5c39f (diff) |
Add scope methods constructing types in API (#5393)
This addresses the nightly failures. It ensures a node manager is in scope when constructing type nodes.
It also simplifies the construction of atomic type nodes to avoid an extra TypeNode(...) constructor.
Diffstat (limited to 'src/options')
0 files changed, 0 insertions, 0 deletions