cargo fmt

This commit is contained in:
Richard Feldman 2022-04-11 13:17:46 -04:00
parent 1df1b4bc84
commit d81228df80
No known key found for this signature in database
GPG key ID: 7E4127D1E4241798
2 changed files with 6 additions and 6 deletions

View file

@ -675,7 +675,7 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
vec![float_type(flex(TVAR1)), float_type(flex(TVAR1))],
Box::new(float_type(flex(TVAR1)))
);
// divChecked : Float a, Float a -> Result (Float a) [ DivByZero ]*
add_top_level_function_type!(
Symbol::NUM_DIV_FLOAT_CHECKED,