[D] (E) SlarnML #108
[D] (E) SlarnML #108
Conversation
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
slarnML/test/anf_conv_test.t
Outdated
| (let anf_app#19=(anf_app#17 anf_app#18) | ||
| in | ||
| anf_app#19)))))) | ||
| ) |
There was a problem hiding this comment.
- В процессе построения ANF должно быть адекватным. Стоит его распечатывать обратно в исходный синтаксис, и проверять, что типы (не) разъехались.
По-моему этот пункт не соблюдается.
There was a problem hiding this comment.
Хорошо, перепишу печать ANF. Какие ещё замечания нужно исправить?
| $ dune exec parser_test < manytests/typed/006partial3.ml | ||
| (let foo a=(let ()=(print_int->a) in (fun b->(let ()=(print_int->b) in (fun c->(print_int->c)))))) | ||
| (let main=(let ()=(foo->4->8->9) in 0)) | ||
| $ dune exec parser_test < manytests/typed/007order.ml |
slarnML/test/parser_tests.t
Outdated
| (let foo a b c=(let ()=(print_int->a) in (let ()=(print_int->b) in (let ()=(print_int->c) in (a+(b*c)))))) | ||
| (let main=(let foo=(foo->1) in (let foo=(foo->2) in (let foo=(foo->3) in (let ()=(print_int->foo) in 0))))) | ||
| $ dune exec parser_test < manytests/typed/006partial3.ml | ||
| (let foo a=(let ()=(print_int->a) in (fun b->(let ()=(print_int->b) in (fun c->(print_int->c)))))) |
There was a problem hiding this comment.
По-поему pretty-printer сломан и не работает.
slarnML/test/anf_conv_test.t
Outdated
| in | ||
| anf_if_1 | ||
| $ dune exec anf_conv_test < manytests/do_not_type/003occurs.ml | ||
| Id f not found in env |
slarnML/test/riscv64_instr_test.t
Outdated
| > (fack n (fun x -> x)) | ||
| > ;; | ||
| > EOF | ||
| f not found |
There was a problem hiding this comment.
Вы на шару скинули не работающие тесты? Комиссии это очень понравится.
| @@ -0,0 +1,1537 @@ | |||
| $ dune exec riscv64_instr_test << EOF | |||
There was a problem hiding this comment.
У меня все тесты массово не работают. Подозреваю, потому что там внутри дюна вызывается.
There was a problem hiding this comment.
У меня работают, в CI тоже запускаются, в других работах dune внутри тоже запускается
Соблюдается ли это невозможно понять из тестов. |
@Kakadu, в последнем тесте из anf_conv_test, есть применение для такого случая |
|
Linter report from 2025-04-24 17:12, for mini language slarnML |
3 participants
No description provided.