jonmsterling.com / project-pterodactyl
This repository has no description www.jonmsterling.com/01HC/
dependent-types proof-assistant swift
3
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

Fix diagnostics in ProgramDecl

Jon Sterling (Apr 4, 2026, 10:32 PM +0100) 2e3cfd86 8f640c70

+2 -2
+2 -2
Sources/PterodactylKernel/Rules/ProgramDecl.swift
··· 53 53 54 54 var clauses = body[...] 55 55 guard let clause = clauses.popFirst() else { 56 - declEnv.state.emitFeedback( 57 - .diagnostic(Diagnostic(message: "Expected a clause", severity: .warning, utf16Range: nil)) 56 + env.state.emitFeedback( 57 + .diagnostic(Diagnostic(message: "Expected a clause", severity: .warning, utf16Range: provenance)) 58 58 ) 59 59 return 60 60 }