On This Page
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package asai
On This Page
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module AsaiSource
Compiler diagnostics
A diagnostic is a message for the end user, for example a compiler warning or error.
Core API
The definition of diagnostics and some utility functions.
Generating and handling diagnostics using algebraic effects. The API is optimized for attaching free-form text.
Generating and handling diagnostics using algebraic effects. The API is optimized for fully structured messages.
Signatures that specify the minimum interface for libraries, applications, and handlers to work together.
Experimental Diagnostic Handlers
These handlers are subject to changes, but we will minimize incompatible changes between minor versions.
module Tty : sig ... endDiagnostic display for UNIX terminals.
Internals
The internals are exposed for convenience, but they are subject to changes between minor versions.
The definition of highlighted text suitable for rendering. You probably do not need this module unless you want to create your own diagnostic handler.
Turning location information into highlighted text suitable for rendering. You probably do not need this module unless you want to create your own diagnostic handler.
Reading the source content. It uses memory-mapped I/O for files. You probably do not need this module unless you want to create your own diagnostic handler.
On This Page