(type)
| 245 | }; |
| 246 | |
| 247 | function addArgCallEffects(type) { |
| 248 | if (type instanceof infer.Fn && type.args) for (var i = 0; i < type.args.length; ++i) { |
| 249 | var arg = type.args[i] |
| 250 | if (arg instanceof infer.Fn && arg.args && arg.args.length) addArgCallEffect(type, i) |
| 251 | } |
| 252 | } |
| 253 | |
| 254 | function addArgCallEffect(type, argNum) { |
| 255 | addEffect(type, function(_self, args) { |
no test coverage detected