Class: Diagnostic
Diagnostic
()
Structured parser, evaluator, or type-checker diagnostic with a stable code and 1-based source span.
Constructor
new Diagnostic
()
Source:
rml-links.mjs
,
line 27
Home
Classes
Diagnostic
Env
TraceEvent
Global
DIALECTS
SUPPORTED_LANGUAGES
check
checkProgram
cloneCst
computeFormSpans
cstToLino
evaluate
evaluateFile
exportIsabelle
extractLiterateLino
extractProgram
isConvertible
leaves
linoToCst
list
nf
parseJs
parseLean
parseLino
parseRocq
parseRust
parseToCst
printCst
printFromCst
printJs
printLean
printRocq
printRust
roundTrip
run
synth
token
trivia
whnf