Spec: PDP-010 — depends on #22
When chaining !> stages with different error types, the compiler should synthesize the union automatically:
input !> validate(in) !> save(in, path)
# validate: ValidationError!T
# save: IOError!U
# result: (ValidationError|IOError)!U — no annotation needed
Tasks
Spec: PDP-010 — depends on #22
When chaining
!>stages with different error types, the compiler should synthesize the union automatically:Tasks
!>stages