feat: implement static analysis for workflows. (#199)

Co-authored-by: Andrew Frantz <andrew.frantz@stjude.org>

Cargo.toml

@@ -54,3 +54,5 @@ line-index = "0.1.1"
 serde_json = "1.0.120"
 uuid = "1.10.0"
 id-arena = "2.2.1"
+clap-verbosity-flag = "2.2.1"
+tracing-log = "0.2.0"

wdl-analysis/CHANGELOG.md

@@ -7,6 +7,27 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## Unreleased
 
+### Added
+
+* Implemented static analysis for workflows ([#199](https://github.com/stjude-rust-labs/wdl/pull/199)).
+
+### Fixed
+
+* Treat a coercion to `T?` for a function argument of type `T` as a preference
+  over any other coercion ([#199](https://github.com/stjude-rust-labs/wdl/pull/199)).
+* Fix the signature of `select_first` such that it is monomorphic ([#199](https://github.com/stjude-rust-labs/wdl/pull/199)).
+* Only consider signatures in overload resolution that have sufficient
+  arguments ([#199](https://github.com/stjude-rust-labs/wdl/pull/199)).
+* Allow coercion from `File` and `Directory` to `String` ([#199](https://github.com/stjude-rust-labs/wdl/pull/199)).
+* Allow non-empty array literals to coerce to either empty or non-empty ([#199](https://github.com/stjude-rust-labs/wdl/pull/199)).
+* Fix element type calculations for `Array` and `Map` so that `[a, b]` and
+  `{"a": a, "b": b }` successfully calculates when `a` is coercible to `b` ([#199](https://github.com/stjude-rust-labs/wdl/pull/199)).
+* Fix `if` expression type calculation such that `if (x) then a else b` works
+  when `a` is coercible to `b` ([#199](https://github.com/stjude-rust-labs/wdl/pull/199)).
+* Ensure that only equality/inequality expressions are supported on `File` and
+  `Directory` now that there is a coercion to `String` ([#199](https://github.com/stjude-rust-labs/wdl/pull/199)).
+* Allow index expressions on `Map` ([#199](https://github.com/stjude-rust-labs/wdl/pull/199)).
+
 ## 0.3.0 - 09-16-2024
 
 ### Added