package reason

You can search for identifiers within the package.

in-package search v0.2.0

package reason

reason
reason.cmdliner
- Vendored_cmdliner
  - Arg
  - Cmd
    
    Env
    
    Exit
  - Manpage
  - Term
reason.easy_format
- Vendored_easy_format
  - Compact
  - Pretty
reason.ocaml-migrate-parsetree
- Reason_omp
  - Ast_402
    
    Asttypes
    
    Outcometree
  - Ast_403
    
    Asttypes
    
    Outcometree
  - Ast_404
    
    Asttypes
    
    Outcometree
  - Ast_405
    
    Asttypes
    
    Outcometree
  - Ast_406
    
    Asttypes
    
    Outcometree
  - Ast_407
    
    Asttypes
    
    Outcometree
  - Ast_408
    
    Asttypes
    
    Outcometree
  - Ast_409
    
    Asttypes
    
    Outcometree
  - Ast_410
    
    Asttypes
    
    Outcometree
    
    Type_immediacy
  - Ast_411
    
    Asttypes
    
    Outcometree
    
    Type_immediacy
  - Ast_412
    
    Asttypes
    
    Outcometree
    
    Type_immediacy
  - Ast_413
    
    Asttypes
    
    Outcometree
    
    Type_immediacy
  - Ast_414
    
    Asttypes
    
    Outcometree
    
    Type_immediacy
  - Ast_500
    
    Asttypes
    
    Outcometree
    
    Type_immediacy
  - Ast_51
    
    Asttypes
    
    Outcometree
    
    Type_immediacy
  - Ast_52
    
    Asttypes
    
    Outcometree
    
    Type_immediacy
  - Compiler_libs
    
    Asttypes
    
    Parsetree
  - Def
  - Migrate_402_403
  - Migrate_403_402
  - Migrate_403_404
  - Migrate_404_403
  - Migrate_404_405
  - Migrate_405_404
  - Migrate_405_406
  - Migrate_406_405
  - Migrate_406_407
  - Migrate_407_406
  - Migrate_407_408
  - Migrate_408_407
    
    Def
  - Migrate_408_409
  - Migrate_409_408
  - Migrate_409_410
  - Migrate_410_409
    
    Def
  - Migrate_410_411
  - Migrate_411_410
  - Migrate_411_412
  - Migrate_412_411
  - Migrate_412_413
  - Migrate_413_412
  - Migrate_413_414
  - Migrate_414_413
  - Migrate_414_500
  - Migrate_500_414
  - Migrate_500_51
  - Migrate_51_500
  - Migrate_51_52
  - Migrate_52_51
  - Versions
    
    Ast
    
    Outcometree
    
    Convert
    
    A
    
    Ast
    
    Outcometree
    
    B
    
    Ast
    
    Outcometree
    
    OCaml_402
    
    OCaml_403
    
    OCaml_404
    
    OCaml_405
    
    OCaml_406
    
    OCaml_407
    
    OCaml_408
    
    OCaml_409
    
    OCaml_410
    
    OCaml_411
    
    OCaml_412
    
    OCaml_413
    
    OCaml_414
    
    OCaml_500
    
    OCaml_51
    
    OCaml_52
    
    OCaml_53
    
    Ast
    
    Asttypes
    
    Outcometree
    
    Type_immediacy
    
    OCaml_version
    
    Ast
    
    Outcometree

Legend:
Library
Module
Module type
Parameter
Class
Class type

There are three main categories of error:

_lexer errors_, thrown by Reason_lexer when the source **text is malformed** and no token can be produced
_concrete parsing errors_, thrown by the menhir parser / parsing loop when a **token is unexpected**
_abstract parsing errors_, thrown by hand-written semantic actions or further AST checks, when the source text was incorrect but this restriction was too fine to be captured by the grammar rules

type lexing_error =

| Illegal_character of char
| Illegal_escape of string
| Unterminated_comment of Ppxlib.Location.t
| Unterminated_string
| Unterminated_string_in_comment of Ppxlib.Location.t * Ppxlib.Location.t
| Keyword_as_label of string
| Invalid_literal of string

type ast_error =

| Not_expecting of Ppxlib.Location.t * string
| Other_syntax_error of string
| Variable_in_scope of Ppxlib.Location.t * string
| Applicative_path of Ppxlib.Location.t

type parsing_error = string

type reason_error =

| Lexing_error of lexing_error
| Parsing_error of parsing_error
| Ast_error of ast_error

exception Reason_error of reason_error * Ppxlib.Location.t

val raise_error : reason_error -> Ppxlib.Location.t -> unit

val raise_fatal_error : reason_error -> Ppxlib.Location.t -> 'a

val recover_non_fatal_errors : 
  (unit -> 'a) ->
  ('a, exn) result * (reason_error * Ppxlib.Location.t) list

val recover_parser_error : 
  (Ppxlib.Location.t -> string -> 'a) ->
  Ppxlib.Location.t ->
  string ->
  'a

val report_error : 
  Format.formatter ->
  loc:Ppxlib.Location.t ->
  reason_error ->
  unit

val error_extension_node_from_recovery : 
  Ppxlib.Location.t ->
  string ->
  string Ppxlib.Location.loc * Ppxlib.Parsetree.payload

val error_extension_node : 
  Ppxlib.Location.t ->
  string ->
  string Ppxlib.Location.loc * Ppxlib.Parsetree.payload