15.3.280  src/lib/compiler/front/typer/print/prettyprint-raw-syntax.api

## prettyprint-raw-syntax.api 

# Compiled by:
#     src/lib/compiler/front/typer/typer.sublib

# We refer to a literal dump of the raw syntax tree as "prettyprinting".
# We refer to reconstruction of surface syntax from the raw syntax tree as "unparsing".
# Unparsing is good for end-user diagnostics; prettyprinting is good for compiler debugging.
# This is the api for our raw syntax prettyprinter.
# The matching implementation is in  src/lib/compiler/front/typer/print/prettyprint-raw-syntax.pkg
# For our raw syntax unparser, see   src/lib/compiler/front/typer/print/unparse-raw-syntax.api

stipulate
    package pp  =  standard_prettyprinter;                                      # standard_prettyprinter        is from   src/lib/prettyprint/big/src/standard-prettyprinter.pkg
    package raw =  raw_syntax;                                                  # raw_syntax                    is from   src/lib/compiler/front/parser/raw-syntax/raw-syntax.pkg
    package sci =  sourcecode_info;                                             # sourcecode_info               is from   src/lib/compiler/front/basics/source/sourcecode-info.pkg
    package syx =  symbolmapstack;                                              # symbolmapstack                is from   src/lib/compiler/front/typer-stuff/symbolmapstack/symbolmapstack.pkg
herein

    api Prettyprint_Raw_Syntax {

        prettyprint_expression:  (syx::Symbolmapstack,
                                  Null_Or( sci::Sourcecode_Info ))
                                -> pp::Prettyprinter
                                -> (raw::Raw_Expression, Int)
                                -> Void; 

        prettyprint_pattern:   (syx::Symbolmapstack,
                                Null_Or( sci::Sourcecode_Info ))
                             -> pp::Prettyprinter
                             -> (raw::Case_Pattern, Int)
                             -> Void;

        prettyprint_package_expression:  (syx::Symbolmapstack,
                                            Null_Or( sci::Sourcecode_Info ))
                                         -> pp::Prettyprinter
                                         -> (raw::Package_Expression, Int)
                                         -> Void;

        prettyprint_generic_expression:  (syx::Symbolmapstack,
                                          Null_Or( sci::Sourcecode_Info ))
                                       -> pp::Prettyprinter
                                       -> (raw::Generic_Expression, Int)
                                       -> Void;

        prettyprint_where_spec:  (syx::Symbolmapstack,
                                  Null_Or( sci::Sourcecode_Info ))
                               -> pp::Prettyprinter
                               -> (raw::Where_Spec, Int)
                               -> Void;

        prettyprint_api_expression:  (syx::Symbolmapstack,
                                            Null_Or( sci::Sourcecode_Info ))
                                         -> pp::Prettyprinter
                                         -> (raw::Api_Expression, Int)
                                         -> Void;

        prettyprint_generic_api_expression:  (syx::Symbolmapstack,
                                                   Null_Or( sci::Sourcecode_Info ))
                                                -> pp::Prettyprinter
                                                -> (raw::Generic_Api_Expression, Int)
                                                -> Void;

        prettyprint_specification:   (syx::Symbolmapstack,
                                      Null_Or( sci::Sourcecode_Info ))
                                   -> pp::Prettyprinter
                                   -> (raw::Api_Element, Int)
                                   -> Void; 

        prettyprint_declaration:  ( syx::Symbolmapstack,
                                    Null_Or( sci::Sourcecode_Info )
                                  )
                               -> pp::Prettyprinter
                               -> (raw::Declaration, Int)
                               -> Void;

        prettyprint_named_value:   (syx::Symbolmapstack,
                                     Null_Or( sci::Sourcecode_Info )) 
                                  -> pp::Prettyprinter
                                  -> (raw::Named_Value, Int)
                                  -> Void;

        prettyprint_named_recursive_values:  (syx::Symbolmapstack,
                                              Null_Or( sci::Sourcecode_Info ))
                                           -> pp::Prettyprinter
                                           -> (raw::Named_Recursive_Value, Int)
                                           -> Void;



        prettyprint_named_function

           : (syx::Symbolmapstack,
             Null_Or( sci::Sourcecode_Info ))
          -> pp::Prettyprinter
          -> String
          -> (raw::Named_Function, Int)
          -> Void;



        prettyprint_pattern_clause

           : (syx::Symbolmapstack,
             Null_Or( sci::Sourcecode_Info ))
          -> pp::Prettyprinter
          -> (raw::Pattern_Clause, Int)
          -> Void;



        prettyprint_named_lib7function

           : (syx::Symbolmapstack,
             Null_Or( sci::Sourcecode_Info ))
          -> pp::Prettyprinter
          -> String
          -> (raw::Nada_Named_Function, Int)
          -> Void;



        prettyprint_lib7pattern_clause

           : (syx::Symbolmapstack,
             Null_Or( sci::Sourcecode_Info ))
          -> pp::Prettyprinter
          -> (raw::Nada_Pattern_Clause, Int)
          -> Void;



        prettyprint_named_type:   (syx::Symbolmapstack,
                                    Null_Or( sci::Sourcecode_Info ))
                                 -> pp::Prettyprinter
                                 -> (raw::Named_Type, Int)
                                 -> Void;

        prettyprint_sumtype:   (syx::Symbolmapstack,
                                        Null_Or( sci::Sourcecode_Info ))
                                     -> pp::Prettyprinter
                                     -> (raw::Sumtype, Int)
                                     -> Void;  

        prettyprint_sumtype_right_hand_side: (syx::Symbolmapstack,
                                                     Null_Or( sci::Sourcecode_Info ))
                                                  -> pp::Prettyprinter
                                                  -> (raw::Sumtype_Right_Hand_Side, Int)
                                                  -> Void;

        prettyprint_named_exception:   (syx::Symbolmapstack,
                                         Null_Or( sci::Sourcecode_Info ))
                                      -> pp::Prettyprinter
                                      -> (raw::Named_Exception, Int)
                                      -> Void;

        prettyprint_named_package:   (syx::Symbolmapstack,
                                         Null_Or( sci::Sourcecode_Info ))
                                      -> pp::Prettyprinter
                                      -> (raw::Named_Package, Int)
                                      -> Void;

        prettyprint_named_generic:   (syx::Symbolmapstack,
                                       Null_Or( sci::Sourcecode_Info ))
                                    -> pp::Prettyprinter
                                    -> (raw::Named_Generic, Int)
                                    -> Void;

        prettyprint_typevar:  (syx::Symbolmapstack,
                                     Null_Or( sci::Sourcecode_Info ))
                                  -> pp::Prettyprinter
                                  -> (raw::Typevar, Int)
                                  -> Void;

        prettyprint_type:   (syx::Symbolmapstack,
                             Null_Or( sci::Sourcecode_Info ))
                          -> pp::Prettyprinter
                          -> (raw::Any_Type, Int)
                          -> Void; 
    };
end;

## Jing Cao and Lukasz Ziarek 
## Copyright 2003 by University of Chicago 
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.