make hash work for integers/floats/strings

This commit is contained in:
Folkert 2021-02-06 21:33:56 +01:00
parent 1afd64f7e7
commit 2d63e24843
9 changed files with 88 additions and 18 deletions

View file

@ -729,6 +729,12 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
// Dict module
// Dict.hashTestOnly : k, v -> Nat
add_type(
Symbol::DICT_TEST_HASH,
top_level_function(vec![flex(TVAR1), flex(TVAR2)], Box::new(nat_type())),
);
// len : Dict * * -> Nat
add_type(
Symbol::DICT_LEN,