(type, argNum)
| 252 | } |
| 253 | |
| 254 | function addArgCallEffect(type, argNum) { |
| 255 | addEffect(type, function(_self, args) { |
| 256 | if (args[argNum]) args[argNum].propagate( |
| 257 | new infer.IsCallee(infer.cx().topScope, type.args[argNum].args, null, infer.ANull)) |
| 258 | }) |
| 259 | } |
| 260 | |
| 261 | function parseType(spec, name, base, forceNew) { |
| 262 | var type = new TypeParser(spec, null, base, forceNew).parseType(false, name, true); |
no test coverage detected