Interface: OsfqlDiagnostic

@kortexya/reasoninglayer / Osfql / OsfqlDiagnostic

Interface: OsfqlDiagnostic

Defined in: src/types/osfql.ts:162

One problem detected while diagnosing an OSFQL program.

Remarks

kind is one of "syntax", "compile", "contradiction" (incompatible sorts whose lattice meet is bottom, surfaced as a unification failure), or "clash" (a normative conflict between clause Psi-terms).

Properties

involved?

optional involved: string[]

Defined in: src/types/osfql.ts:164

Display labels of the claims involved (for clash); empty otherwise.

kind

kind: string

Defined in: src/types/osfql.ts:166

Problem class: syntax, compile, contradiction, or clash.

message

message: string

Defined in: src/types/osfql.ts:168

Human-readable explanation.

range?

optional range: OsfqlRange | null

Defined in: src/types/osfql.ts:170

Source range of the offending statement, when it could be localised.