What's Changed
- GADTs:
type Foo a b where ...by @runarorama in #6257 - GADT-indexed abilities: index refinement for handlers by @runarorama in #6258
- Improve error message for pattern matching in function definitions by @tfausak in #6217
- Add typed POSIX signal subscriptions to the runtime by @runarorama in #6267
- Add variadic FFI specifications by @runarorama in #6266
Full Changelog: release/1.4.0...release/1.5.0