Surface.Parser_driverSourceWrapping module around parser and lexer that offers the Surface.Parser_driver.parse_source_file API.
val lines :
Catala_utils.File.t ->
Catala_utils.Global.backend_lang ->
(string * Lexer_common.line_token) Seq.tRaw file parser that doesn't interpret any includes and returns the flat law structure as is
val load_interface :
?default_module_name:string ->
Catala_utils.File.t Catala_utils.Global.input_src ->
Ast.interfaceReads only declarations in metadata in the supplied input file, and only keeps type information. The list of submodules is initialised with names only and empty contents.
Parses a catala file (handling file includes) and returns a program. Interfaces of the used modules are returned empty, use load_interface to fill them.