package grace
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
A fancy diagnostics library that allows your compilers to exit with grace
Install
dune-project
Dependency
Authors
Maintainers
Sources
grace-0.3.0.tbz
sha256=6948979d6ffb5e596773baead81e9ceef36726d6956261bdd62abb2666a45bfc
sha512=db8b39cc9a77d919ab3123bb4047bb6c672c61db9fc6810951e267b2b113c4ac07266ef57188c6db0c02cb4d43d054204cd66ebc91648dbd1da1228022b0e67b
doc/grace/Grace/Source/index.html
Module Grace.SourceSource
Source is a file-like abstraction.
Grace provides the abstraction of a file called a 'source'.
There are several benefits with providing a in-memory abstraction of a sources:
- Virtual files: It is often useful to invent temporary files (e.g. test input, command line input, REPL input). By providing a in-memory abstraction, Grace provides the ability to create virtual files.
- Caching: Caching sources is useful in many situations (e.g. LSP semantic analysis, reporting multiple errors in a single file in a diagnostic reporter, etc).
Source
type string_source = {name : string option;(*The name of a string source. The diagnostic render can use the name of a string source in place of a file path.
*)content : string;(*The content of a string source
*)
}An in-memory string source.
Source
type t = [ | `File of string(*A file source specified by its filename.
*)| `String of string_source(*A in-memory string source.
*)| `Reader of Reader.t(*A reader-backed source.
*)
]The type of sources.
include Grace_std.Comparable.S with type t := t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>