15.4.594  src/lib/compiler/front/semantic/types/typevar-info.pkg

## typevar-info.pkg
## (C) 2001 Lucent Technologies, Bell Labs

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



###      "I choose a block of marble and chop off whatever I don't need."
###
###                    --Francois-Auguste Rodin, when asked how he managed to
###                                              make his remarkable statues.



stipulate
    package di  =  debruijn_index;                                      # debruijn_index                is from   src/lib/compiler/front/typer/basics/debruijn-index.pkg
    package err =  error_message;                                       # error_message                 is from   src/lib/compiler/front/basics/errormsg/error-message.pkg
    package hcf =  highcode_form;                                       # highcode_form                 is from   src/lib/compiler/back/top/highcode/highcode-form.pkg
    package hut =  highcode_uniq_types;                                 # highcode_uniq_types           is from   src/lib/compiler/back/top/highcode/highcode-uniq-types.pkg
herein

    package typevar_info {

        stipulate

            exception TYPEVAR_INFO
                        {
                          debruijn_depth:       di::Debruijn_Depth,
                          num:                  Int,
                          kind:                 hut::Uniqkind
                        };
        herein

            to_exception  =   TYPEVAR_INFO;


            fun get_typevar_info (TYPEVAR_INFO x)
                    =>
                    x;

                get_typevar_info _
                    =>
                    err::impossible "typevar_info::get_typevar_info";
            end;

        end;
    };
end;