Typed Holes And Obligations

Atlox distinguishes productive incomplete work from a revision that is safe to deploy.

Workbench analysis

An edit session may contain incomplete fragments, typed holes, and compiler errors. The editor keeps the last accepted program intact while continuing to provide type information and commands around the unfinished region.

This permits structural editing without requiring every intermediate keystroke to be a complete program.

Deployment obligations

Some holes affect existing data, clients, workflows, replicas, or rollback. Deployment compilation must stop until the missing meaning is supplied.

Typical diagnostics are local and concrete:

Contact.fullName was replaced by givenName and familyName.
Supply an interpretation for existing Contact values.

ReviewStatus.Rejected cannot be represented for retained revision R12.
Provide a projection, block R12 clients, or retain the incompatibility.

No separate migration project

The resolution is recorded with the semantic edit that created the ambiguity. Atlox does not ask the developer to restate the entire change in a handwritten release DSL.