15.4.595  src/lib/compiler/front/typer-stuff/basics/core-basetype-numbers.pkg

## core-basetype-numbers.pkg
## (C) 2001 Lucent Technologies, Bell Labs

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



# Generic set of base type constructor numbers (not SML/NJ-specific). 



api Core_Basetype_Numbers {

    #  The numbers here are consecutive and fill [0... next_free_basetype_number) 

    basetype_number_truevoid:           Int;
    basetype_number_int:                Int;                    #  Default Int (31 bit in Lib7) 
    basetype_number_float64:            Int;
    basetype_number_string:             Int;
    basetype_number_exception:          Int;
    basetype_number_arrow:              Int;
    basetype_number_ref:                Int;
    basetype_number_rw_vector:          Int;
    basetype_number_ro_vector:          Int;

    next_free_basetype_number:  Int;
};

# This package gets 'include'-ed by:
#
#     src/lib/compiler/front/typer/basics/basetype-numbers.pkg

package   core_basetype_numbers
: (weak)  Core_Basetype_Numbers         # Core_Basetype_Numbers is from   src/lib/compiler/front/typer-stuff/basics/core-basetype-numbers.pkg
{
    basetype_number_truevoid   = 0;
    basetype_number_int        = 1;
    basetype_number_float64    = 2;
    basetype_number_string     = 3;
    basetype_number_exception  = 4;
    basetype_number_arrow      = 5;
    basetype_number_ref        = 6;
    basetype_number_rw_vector  = 7;
    basetype_number_ro_vector     = 8;

    next_free_basetype_number = 9;
};