13.5.18  inlining_information

The standard library inlining_information package implements the compiler framework for passing around inlining information during typechecking.

The inlining_informationl package has no explicit API.

The inlining_information package source code is in src/lib/compiler/front/typer-stuff/basics/inlining-information.pkg.

See also: inlining_mapstack.

The above information is manually maintained and may contain errors.

api {    is_simple : Inlining_Information -> Bool;
    select : (Inlining_Information , Int) -> Inlining_Information;
    Inlining_Information 
      = INFO Exception
      | LIST List(Inlining_Information )
      | NULL;
};