Libsail.Initial_checkSourceInitial desugaring pass over AST after parsing
If enabled, bitvector types are only well-formed if their arguments are natural numbers.
Generate faster undefined_T functions. Rather than generating functions that allow for the undefined values of enums and variants to be picked at runtime using a RNG or similar, this creates undefined_T functions for those types that simply return a specific member of the type chosen at compile time, which is much faster. These functions don't have the right effects, so the -no_effects flag may be needed if this is true. False by default.
Allow # in identifiers when set, much like the GHC option of the same name
val generate_undefined_record :
Ast.id ->
Ast.typquant ->
(Ast.typ * Ast.id) list ->
Ast_util.untyped_def listVal specs of undefined functions for builtin types that get added to the AST by generate_undefinds (minus those functions that already exist in the AST).
val generate_initialize_registers :
Ast_util.IdSet.t ->
(Ast.id * Ast.typ) list ->
Ast_util.untyped_def listval defs_of_string :
(string * int * int * int) ->
ctx ->
string ->
Ast_util.untyped_def list * ctxval ast_of_def_string :
?inline:Lexing.position ->
(string * int * int * int) ->
ctx ->
string ->
Ast_util.untyped_ast * ctxval ast_of_def_string_with :
?inline:Lexing.position ->
(string * int * int * int) ->
ctx ->
(Parse_ast.def list -> Parse_ast.def list) ->
string ->
Ast_util.untyped_ast * ctxParse a file into a sequence of comments and a parse AST
val parse_file_from_string :
filename:string ->
contents:string ->
Lexer.comment list * Parse_ast.def listval parse_project :
?inline:Lexing.position ->
?filename:string ->
contents:string ->
unit ->
Project.def Project.spanned list