diff options
Diffstat (limited to 'src/parseTools.js')
| -rw-r--r-- | src/parseTools.js | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/parseTools.js b/src/parseTools.js index 206557b5..0cd76bc4 100644 --- a/src/parseTools.js +++ b/src/parseTools.js @@ -2336,3 +2336,10 @@ function stripCorrections(param) { return param; } +function getImplementationType(varInfo) { + if (varInfo.impl == 'nativized') { + return removePointing(varInfo.type); + } + return varInfo.type; +} + |