ErrorsProject layout and modules · rule
semantic.standard_operation_qualification
Standard-library operation is called without its namespace.
Area 1, Project layout and modules; not declinable; the next step is usually the agent's.
type DueAt = Instant {}type HomeZone = Zone {}type DueTime = ZonedTime {}function local_due(at: DueAt, zone: HomeZone) -> DueTime { var local: ZonedTime = in_zone(at, zone) return DueTime(local)}
error in_zone is a standard-library operation
--> main.jadpo:8:28
|8 | var local: ZonedTime = in_zone(at, zone) | ^^^^^^^ needs its namespace
- reason
- The standard library is always called through its namespace, so the dot says who owns the operation.
- next
- Call
temporal.in_zone(...)(agent) - rule
- semantic.
standard_ operation_ qualification - help
- https://jadpo.
dev/docs/errors/semantic. standard_ operation_ qualification
Markdown for agents: /docs/errors/semantic.standard_operation_qualification.md.Built from Jadpo main at aee2e8f.