chanzuckerberg / miniwdl / 14103773167

95%

master: 97%

Build Type

push

github

Committed by web-flow

Commit Message

Array and IfThenElse type inference: pass through Any type for an item/branch

If a literal array item or if-then-else branch had type `Any` (e.g. from `read_json()`), this was conflated with `Type.unify()` returning `Any` to indicate failure, raising `StaticTypeMismatch`. Now we check for this and pass through `Any` for the type of the array item / ternary expression, before proceeding to `Type.unify()`.

(#740 @ahvigil)

Run Details

10 of 10 new or added lines in 1 file covered. (100.0%)

1 existing line in 1 file now uncovered.

7438 of 7810 relevant lines covered (95.24%)

0.95 hits per line