fix comment

This commit is contained in:
Folkert 2020-03-13 16:38:33 +01:00
parent 242679b841
commit f894459159

View file

@ -394,13 +394,13 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
// Bool module
// isEq or (==) : Attr u1 Bool, Attr u2 Bool -> Attr u3 Bool
// isEq or (==) : *, * -> Attr u Bool
add_type(
Symbol::BOOL_EQ,
unique_function(vec![flex(TVAR1), flex(TVAR2)], bool_type(UVAR3)),
);
// isNeq or (!=) : Attr u1 Bool, Attr u2 Bool -> Attr u3 Bool
// isNeq or (!=) : *, * -> Attr u Bool
add_type(
Symbol::BOOL_NEQ,
unique_function(vec![flex(TVAR1), flex(TVAR2)], bool_type(UVAR3)),