package asai

  1. Overview
  2. Docs

The functor to create a printer for GitHub Actions workflow commands.



val print : Message.t Diagnostic.t -> unit

Print a diagnostic as a GitHub Actions workflow command. Only the main explanation will be printed; backtraces and extra remarks are ignored. Column numbers are also ignored because GitHub does not seem to use them.

Example output:

::error file=examples/stlc/example.lambda,line=2,endLine=2,title=E002::Variable 'x' is not in scope

Innovation. Community. Security.