hashing always returns a U64

This commit is contained in:
Folkert 2021-08-29 00:51:48 +02:00
parent fdd34a5d3e
commit 727222bbe7

View File

@ -985,11 +985,11 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
// Dict module
// Dict.hashTestOnly : Nat, v -> Nat
// Dict.hashTestOnly : U64, v -> U64
add_top_level_function_type!(
Symbol::DICT_TEST_HASH,
vec![u64_type(), flex(TVAR2)],
Box::new(nat_type())
Box::new(u64_type())
);
// len : Dict * * -> Nat