PreviousUpNext

14.5.54  Var_Home

The compiler Varhome api defines management of storage class information associated with a user variable during the compilation process.

The Varhome api is implemented by the varhome package.

The Varhome api source code is in src/lib/compiler/front/typer-stuff/basics/varhome.api.

The above information is manually maintained and may contain errors.

api {   Varhome
        = EXTERN
        picklehash::Picklehash
        |
        HIGHCODE_VARIABLE
        highcode_codetemp::Codetemp
        |
        NO_VARHOME
        |
        PATH
        (Varhome , Int);
        Valcon_Form
        = CONSTANT
        Int
        |
        EXCEPTION
        Varhome
        |
        LISTCONS
        |
        LISTNIL
        |
        REFCELL_REP
        |
        SUSPENSION
        Null_Or(((Varhome , Varhome)) )
        |
        TAGGED
        Int
        |
        TRANSPARENT
        |
        UNTAGGED;
    Valcon_Signature  = CONSTRUCTOR_SIGNATURE (Int , Int) | NULLARY_CONSTRUCTOR;
    print_varhome : Varhome -> String;
    print_representation : Valcon_Form -> String;
    print_constructor_api : Valcon_Signature -> String;
    is_exception : Valcon_Form -> Bool;
    select_varhome : (Varhome , Int) -> Varhome;
        duplicate_varhome :
        (highcode_codetemp::Codetemp , (Null_Or(symbol::Symbol ) -> highcode_codetemp::Codetemp)) -> Varhome;
        named_varhome :
        (symbol::Symbol , (Null_Or(symbol::Symbol ) -> highcode_codetemp::Codetemp)) -> Varhome;
    make_varhome : (Null_Or(symbol::Symbol ) -> highcode_codetemp::Codetemp) -> Varhome;
    external_varhome : picklehash::Picklehash -> Varhome;
    null_varhome : Varhome;
    highcode_variable_or_null : Varhome -> Null_Or(highcode_codetemp::Codetemp );};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext