13.5.33  per_compile_info

The internal compiler per_compile_info package implements a state record used to track information about a file being compiled, such as its name.

The per_compile_info package has no explicit API.

The per_compile_info package source code is in src/lib/compiler/front/typer-stuff/main/per-compile-info.pkg.

The above information is manually maintained and may contain errors.

api {    make_per_compile_info : {make_fresh_stamp_maker:Void -> Void -> stamp::Stamp, 
                             prettyprinter_or_null:Null_Or(?.prettyprinter::Prettyprinter ), 
                             sourcecode_info:sourcecode_info::Sourcecode_Info, 
                             transform:X -> X}
                            -> Per_Compile_Info(X );
    saw_errors : Per_Compile_Info(X ) -> Bool;
    Per_Compile_Info X = {cpu_timer:?.internal_cpu_timer::Cpu_Timer, 
                          error_fn:error_message::Error_Function, 
                          error_match:line_number_db::Source_Code_Region -> String, 
                          issue_highcode_codetemp:Null_Or(symbol::Symbol ) -> Int, 
                          make_fresh_stamp:Void -> stamp::Stamp, 
                          prettyprinter_or_null:Null_Or(?.prettyprinter::Prettyprinter ), 
                          saw_errors:Ref(Bool ),  source_name:String, 
                          transform:X -> X};
};