15.4.539  src/lib/compiler/front/basics/hash/wordstr-hashtable.pkg

## wordstr-hashtable.pkg
## Author: Matthias Blume (blume@tti-c.org)

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



#   A hashtable of strings which are already explicitly paired with
#   their respective hash value.




###             "Please do not shoot the pianist.
###              He is doing his best."
###
###                            -- Oscar Wilde 



                                                                        # typelocked_hashtable_g        is from   src/lib/src/typelocked-hashtable-g.pkg
package word_string_hashtable
    =
    typelocked_hashtable_g (

        Hash_Key = (Unt, String);

        fun hash_value (k:  Hash_Key)
            =
            #1 k;

        fun same_key (  (h,  s ):   Hash_Key,
                        (h', s')
                     )
            =
            h == h'   and
            s == s';
    );


## Copyright (c) 2004 by The Fellowship of SML/NJ
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.