package asai

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package asai

asai
- Asai
  - Diagnostic
  - Explication
  - Explicator
    
    Make
    
    Tag
    
    S
    
    Tag
    
    Tag
  - GitHub
    
    Make
    
    Message
  - MinimumSigs
    
    Message
    
    Reporter
    
    Message
  - Range
  - Reporter
    
    Make
    
    Message
    
    Message
    
    S
    
    Message
  - SourceReader
  - StructuredReporter
    
    Make
    
    Message
    
    Message
    
    S
    
    Message
  - Tty
    
    Make
    
    Message

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

Parameters

module Message : Reporter.Message

Signature

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

see https://docs.github.com/en/actions/using-workflows/workflow-commands-for-github-actions