test: update tests to use Num.toStr

This commit is contained in:
rvcas 2021-11-30 14:56:08 -05:00
parent 00bd77bf1d
commit 40090f20e6
5 changed files with 42 additions and 88 deletions

View file

@ -228,10 +228,10 @@ mod solve_expr {
infer_eq_without_problem(
indoc!(
r#"
Str.fromInt
Num.toStr
"#
),
"Int * -> Str",
"Num * -> Str",
);
}
@ -4543,8 +4543,8 @@ mod solve_expr {
|> Str.concat ") ("
|> Str.concat (printExpr b)
|> Str.concat ")"
Val v -> Str.fromInt v
Var v -> "Var " |> Str.concat (Str.fromInt v)
Val v -> Num.toStr v
Var v -> "Var " |> Str.concat (Num.toStr v)
main : Str
main = printExpr (Var 3)