Initial desugaring pass over AST after parsing
val opt_undefined_gen : bool refGenerate undefined_T functions for every type T. False by default.
val opt_fast_undefined : bool refGenerate 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.
val opt_magic_hash : bool refAllow # in identifiers when set, much like the GHC option of the same name
val have_undefined_builtins : bool refThis is a bit of a hack right now - it ensures that the undefiend builtins (undefined_vector etc), only get added to the AST once. The original assumption in sail is that the whole AST gets processed at once (therefore they could only get added once), and this isn't true any more with the interpreter. This needs to be public so the interpreter can set it back to false if it unloads all the loaded files.
val undefined_builtin_val_specs : Ast_util.uannot Ast.def listVal specs of undefined functions for builtin types that get added to the AST if opt_undefined_gen is set (minus those functions that already exist in the AST).
val generate_undefineds :
Ast_util.IdSet.t ->
Ast_util.uannot Ast.def list ->
Ast_util.uannot Ast.def listval generate_enum_functions :
Ast_util.IdSet.t ->
Ast_util.uannot Ast.def list ->
Ast_util.uannot Ast.def listval process_ast :
?generate:bool ->
Parse_ast.defs ->
Ast_util.uannot Ast_defs.astIf the generate flag is false, then we won't generate any auxilliary definitions, like the initialize_registers function
val extern_of_string :
?pure:bool ->
Ast.id ->
string ->
Ast_util.uannot Ast.defval val_spec_of_string : Ast.id -> string -> Ast_util.uannot Ast.defval defs_of_string :
(string * int * int * int) ->
string ->
Ast_util.uannot Ast.def listval ast_of_def_string :
(string * int * int * int) ->
string ->
Ast_util.uannot Ast_defs.astval ast_of_def_string_with :
(string * int * int * int) ->
(Parse_ast.def list -> Parse_ast.def list) ->
string ->
Ast_util.uannot Ast_defs.astval exp_of_string : string -> Ast_util.uannot Ast.expval typ_of_string : string -> Ast.typval constraint_of_string : string -> Ast.n_constraintval parse_file :
?loc:Parse_ast.l ->
string ->
Lexer.comment list * Parse_ast.def listParse 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 list