15.3.207  src/lib/compiler/back/top/anormcode/prettyprint-anormcode.api

## prettyprint-anormcode.api -- Pretty printer for A-Normal intermediate code language.

# Compiled by:
#     src/lib/compiler/core.sublib


stipulate
    package acf =  anormcode_form;                                              # anormcode_form        is from   src/lib/compiler/back/top/anormcode/anormcode-form.pkg
    package tmp =  highcode_codetemp;                                           # highcode_codetemp     is from   src/lib/compiler/back/top/highcode/highcode-codetemp.pkg
herein
    api Prettyprint_Anormcode {
        #
        print_fkind:            acf::Function_Notes       -> Void;              # Not currently used outside prettyprint-anormcode.pkg
        print_rkind:            acf::Record_Kind          -> Void;              # Not currently used outside prettyprint-anormcode.pkg
        print_case_constant:    acf::Casetag              -> Void;              # Used in src/lib/compiler/back/top/lambdacode/prettyprint-lambdacode-expression.pkg
        print_sval:             acf::Value                -> Void;              # Used in src/lib/compiler/back/top/improve/do-crossmodule-anormcode-inlining.pkg
                                                                                #         def-use-analysis-of-anormcode.pkg improve-mutually-recursive-anormcode-functions.pkg improve-anormcode.pkg abcopt.pkg
        print_lexp:             acf::Expression -> Void;
        print_fundec:           acf::Function -> Void;
        print_prog:             acf::Function -> Void;

        prettyprint_prog
            :
            standard_prettyprinter::Prettyprinter 
            ->
            acf::Function
            ->
            Void;

        # Defaults to lv::name_of_highcode_codetemp 
        #
        lvar_string:  Ref (tmp::Codetemp -> String);
    };
end;

## COPYRIGHT (c) 1997 YALE FLINT PROJECT 
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.