diff options
author | Alon Zakai <azakai@mozilla.com> | 2010-11-25 20:24:20 -0800 |
---|---|---|
committer | Alon Zakai <azakai@mozilla.com> | 2010-11-25 20:24:20 -0800 |
commit | 2c8e0810292289eb17055a4fe793c24d72033dfb (patch) | |
tree | c316a05f9d6c60c530becbc19caf27c1dacd9ca4 /src | |
parent | 85badd676d6069b27ca9d86a97a682b0ac8b8bc5 (diff) |
generate [0 x type] types automatically
Diffstat (limited to 'src')
-rw-r--r-- | src/analyzer.js | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/analyzer.js b/src/analyzer.js index 7597aee8..0d0915b0 100644 --- a/src/analyzer.js +++ b/src/analyzer.js @@ -108,6 +108,15 @@ function analyzer(data, givenTypes) { fields: range(num).map(function() { return subType }), lineNum: '?', }; + // Also add a |[0 x type]| type + var zerod = '[0 x ' + subType + ']'; + if (!data.types[zerod]) { + data.types[zerod] = { + name_: zerod, + fields: [subType], + lineNum: '?', + }; + } return; } |