package libsail

  1. Overview
  2. Docs
Sail is a language for describing the instruction semantics of processors

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (10)

Authors

  1. A
    Alasdair Armstrong
  2. T
    Thomas Bauereiss
  3. B
    Brian Campbell
  4. S
    Shaked Flur
  5. J
    Jonathan French
  6. K
    Kathy Gray
  7. R
    Robert Norton
  8. C
    Christopher Pulte
  9. P
    Peter Sewell
  10. M
    Mark Wassell

Maintainers

  1. S
    Sail Devs <cl-sail-dev@lists.cam.ac.uk>

Sources

sail-0.20.3.tbz
sha256=0b223ed83f521ad87eaacd88186390fbaf0b944f63c6a04a3ebdf96a1ff5a60c
sha512=83298218175c7a9ff7f0a304021287a2b9c20523cb16e1b8bf0ede81fa8e256a32b309626bc1553a5b46d68e44821524c27a5de0fb2f2d7f013025f61ce76519

doc/libsail/Libsail/Chunk_ast/index.html

Module Libsail.Chunk_astSource

Module for breaking AST into syntactic chunks and interleaving comments.

This module is part of the Sail formatting system. It takes a parsed AST (not a desugared AST, as for formatting we need to preserve as much as possible), and breaks it up into more abstract syntactic elements - 'chunks' for want of a better term.

Sourcetype binder =
  1. | Var_binder
  2. | Let_binder
  3. | Internal_plet_binder
Sourceval binder_keyword : binder -> string
Sourcetype if_format = {
  1. then_brace : bool;
  2. else_brace : bool;
}
Sourcetype match_kind =
  1. | Try_match
  2. | Match_match
Sourceval match_keywords : match_kind -> string * string option
Sourceval comment_type_delimiters : Parse_ast.comment_type -> string * string
Sourcetype infix_chunk =
  1. | Infix_prefix of string
  2. | Infix_op of string
  3. | Infix_chunks of chunks
Sourceand chunk =
  1. | Comment of Parse_ast.comment_type * int * int * string * bool
  2. | Doc_comment of Parse_ast.doc_comment
  3. | Spacer of bool * int
  4. | Attributes of (string * chunks option) list
  5. | Function of {
    1. id : Parse_ast.id;
    2. clause : bool;
    3. rec_opt : chunks option;
    4. typq_opt : chunks option;
    5. return_typ_opt : chunks option;
    6. funcls : (chunks * pexp_chunks) list;
    7. hanging : bool;
    }
  6. | Val of {
    1. id : Parse_ast.id;
    2. extern_opt : Parse_ast.extern option;
    3. typq_opt : chunks option;
    4. typ : chunks;
    }
  7. | Enum of {
    1. id : Parse_ast.id;
    2. enum_functions : chunks list option;
    3. members : chunks list;
    }
  8. | Function_typ of {
    1. mapping : bool;
    2. lhs : chunks;
    3. rhs : chunks;
    }
  9. | Exists of {
    1. vars : chunks;
    2. constr : chunks option;
    3. typ : chunks;
    }
  10. | Typ_quant of {
    1. vars : chunks;
    2. constr_opt : chunks option;
    }
  11. | App of Parse_ast.id * chunks list
  12. | Field of chunks * Parse_ast.id
  13. | Tuple of string * string * int * chunks list
  14. | Intersperse of string * chunks list
  15. | Atom of string
  16. | String_literal of string
  17. | Multiline_string_literal of string list
  18. | Pragma of string * string
  19. | Unary of string * chunks
  20. | Binary of chunks * string * chunks
  21. | Vector_binary of chunks * string * chunks
  22. | Assign of chunks * (string * chunks) option * string * chunks
  23. | Infix_sequence of infix_chunk list
  24. | Index of chunks * chunks
  25. | Delim of string
  26. | Opt_delim of string
  27. | Block of bool * chunks list
  28. | Binder of binder * chunks * chunks * chunks
  29. | Block_binder of binder * chunks * chunks
  30. | If_then of bool * chunks * chunks
  31. | If_then_else of if_format * chunks * chunks * chunks
  32. | Struct_update of chunks * chunks list
  33. | Match of {
    1. kind : match_kind;
    2. exp : chunks;
    3. aligned : bool;
    4. cases : pexp_chunks list;
    }
  34. | Foreach of {
    1. var : chunks;
    2. decreasing : bool;
    3. from_index : chunks;
    4. to_index : chunks;
    5. step : chunks option;
    6. body : chunks;
    }
  35. | While of {
    1. repeat_until : bool;
    2. termination_measure : chunks option;
    3. cond : chunks;
    4. body : chunks;
    }
  36. | Vector_updates of chunks * chunks list
  37. | Chunks of chunks
  38. | Raw of string
Sourceand chunks = chunk Queue.t
Sourceand pexp_chunks = {
  1. funcl_space : bool;
  2. attr : chunks option;
  3. pat : chunks;
  4. guard : chunks option;
  5. body : chunks;
}
Sourceval prerr_chunk : string -> chunk -> unit
Sourceval coalesce_line_comments : chunks -> chunk list
Sourceval chunk_defs : string -> Lexer.comment list -> Parse_ast.def list -> chunks