Davletshin#26
Conversation
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
|
|
||
| (* ---------- old tests ---------- *) | ||
|
|
||
| let%expect_test _ = |
There was a problem hiding this comment.
A test without description. Try `let%expect_test "name" = ...
| (App ((Var fact), (Int 5))))) |}] | ||
| ;; | ||
|
|
||
| let%expect_test _ = |
There was a problem hiding this comment.
A test without description. Try `let%expect_test "name" = ...
| [%expect {| (App ((Var x), (Var y))) |}] | ||
| ;; | ||
|
|
||
| let%expect_test _ = |
There was a problem hiding this comment.
A test without description. Try `let%expect_test "name" = ...
| [%expect {| (Abs (x, (App ((Var x), (Var x))))) |}] | ||
| ;; | ||
|
|
||
| let%expect_test _ = |
There was a problem hiding this comment.
A test without description. Try `let%expect_test "name" = ...
| [%expect {| (Abs (f, (Abs (x, (App ((Var f), (App ((Var x), (Var x))))))))) |}] | ||
| ;; | ||
|
|
||
| let%expect_test _ = |
There was a problem hiding this comment.
A test without description. Try `let%expect_test "name" = ...
| [%expect {| (Abs (f, (Abs (x, (App ((Var f), (App ((Int 1), (Int 1))))))))) |}] | ||
| ;; | ||
|
|
||
| let%expect_test _ = |
There was a problem hiding this comment.
A test without description. Try `let%expect_test "name" = ...
| [%expect {| (Abs (f, (Binop (Plus, (Int 1), (Int 2))))) |}] | ||
| ;; | ||
|
|
||
| let%expect_test _ = |
There was a problem hiding this comment.
A test without description. Try `let%expect_test "name" = ...
|
Документация и тестовое покрытие (89.26%) должны скоро появиться. https://kakadu.github.io/fp25/docs/Davletshin https://kakadu.github.io/fp25/cov/Davletshin 2026-03-14 14:16 |
|
Linter report from 2026-03-14 14:17, for mini language Davletshin |
1 participant
miniml interpreter
author: Davletshin Vyacheslav