Goncharov#29
Conversation
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
| @@ -0,0 +1,138 @@ | |||
| [@@@alert "-deprecated"] | |||
There was a problem hiding this comment.
File 'Goncharov/lib/tests.ml' doesn't have corresponding .mli interface
| (** Copyright 2021-2024, Kakadu and contributors *) | ||
|
|
||
| (** SPDX-License-Identifier: LGPL-3.0-or-later *) | ||
| type binop = |
There was a problem hiding this comment.
OCaml files should provide license information in second line (structure item)
|
|
||
| (** SPDX-License-Identifier: LGPL-3.0-or-later *) | ||
| type binop = | ||
| | Add |
There was a problem hiding this comment.
Constructor 'Add' has no documentation attribute
| (** SPDX-License-Identifier: LGPL-3.0-or-later *) | ||
| type binop = | ||
| | Add | ||
| | Sub |
There was a problem hiding this comment.
Constructor 'Sub' has no documentation attribute
| type binop = | ||
| | Add | ||
| | Sub | ||
| | Mul |
There was a problem hiding this comment.
Constructor 'Mul' has no documentation attribute
| | Fun of 'name * 'name t (** fun **) | ||
| | App of 'name t * 'name t (** Application [f g] *) | ||
| | Int of int | ||
| | Neg of 'name t |
There was a problem hiding this comment.
Constructor 'Neg' has no documentation attribute
| | App of 'name t * 'name t (** Application [f g] *) | ||
| | Int of int | ||
| | Neg of 'name t | ||
| | Bin of binop * 'name t * 'name t |
There was a problem hiding this comment.
Constructor 'Bin' has no documentation attribute
| | Int of int | ||
| | Neg of 'name t | ||
| | Bin of binop * 'name t * 'name t | ||
| | If of 'name t * 'name t * 'name t |
There was a problem hiding this comment.
Constructor 'If' has no documentation attribute
| | Neg of 'name t | ||
| | Bin of binop * 'name t * 'name t | ||
| | If of 'name t * 'name t * 'name t | ||
| | Let of 'name * 'name t * 'name t |
There was a problem hiding this comment.
Constructor 'Let' has no documentation attribute
| | Bin of binop * 'name t * 'name t | ||
| | If of 'name t * 'name t * 'name t | ||
| | Let of 'name * 'name t * 'name t | ||
| | LetRec of 'name * 'name t * 'name t |
There was a problem hiding this comment.
Constructor 'LetRec' has no documentation attribute
|
Документация и тестовое покрытие (96.15%) должны скоро появиться. https://kakadu.github.io/fp25/docs/Goncharov https://kakadu.github.io/fp25/cov/Goncharov 2026-03-27 14:51 |
|
Linter report from 2026-03-27 14:52, for mini language Goncharov |
1 participant
miniml interpreter