diff options
| author | cheneym2 <acheney@nvidia.com> | 2024-05-02 19:01:43 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-02 16:01:43 -0700 |
| commit | 6b3095758679a7699dc26d1af5521b65ace2cc83 (patch) | |
| tree | 6f3de6775e8fa3dc4cedc25d8457dc59ecf10cf9 /source | |
| parent | c763750a7305fbf12c1f5c177260294a32fe286d (diff) | |
Slang: update pointer related documentation (#4088)
Slang does have some support for pointers. Remove an outdated
comment stating the contratry, and update the section that
describes pointer support to also list some relevant limitations.
Fixes #3970
Co-authored-by: Yong He <yonghe@outlook.com>
Diffstat (limited to 'source')
0 files changed, 0 insertions, 0 deletions