package minicaml

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Minicaml.Interface`Source

Sourcemodule T = ANSITerminal

Sourcetype location =

Sourceval location_of_lex : Lexing.lexbuf -> location

Sourceexception Error of location * string * string

Exception Error (loc, err, msg) indicates an error of type err with error message msg, occurring at location loc.

error ~loc ~kind raises an error of the given kind. The kfprintf magic allows one to write msg using a format string.

val error : 
  ?kind:string ->
  ?loc:location ->
  ('a, Format.formatter, unit, 'b) format4 ->
  'a

Sourceval print_location : location -> Format.formatter -> unit

val print_message : 
  ?color:T.color ->
  ?loc:location ->
  string ->
  ('a, Format.formatter, unit, unit) format4 ->
  'a

Print a message at a given location loc of message type msg_type.

Sourceval print_error : (location * string * string) -> unit

Print the caught error

Sourceval fatal_error : ('a, Format.formatter, unit, 'b) format4 -> 'a

A fatal error reported by the toplevel.

val syntax_error : 
  ?loc:location ->
  ('a, Format.formatter, unit, 'b) format4 ->
  'a

A syntax error reported by the toplevel

Sourceval wrap_syntax_errors : (Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> 'a

Parser wrapper that catches syntax-related errors and converts them to errors.

Sourceval print_position : Lexing.lexbuf -> string