Conversation
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
| @@ -0,0 +1,78 @@ | |||
| open EChandraSutraDhar_lib | |||
There was a problem hiding this comment.
First item in file should be a documentation comment with copyright information. For example:
(** Copyright 2021-2022, Winnie Pooh et al. *)
| @@ -0,0 +1,78 @@ | |||
| open EChandraSutraDhar_lib | |||
| open Inferencer | |||
There was a problem hiding this comment.
OCaml files should provide license information in second line (structure item)
| @@ -0,0 +1,99 @@ | |||
| open Format | |||
There was a problem hiding this comment.
OCaml files should provide license information in second line (structure item)
| @@ -0,0 +1,652 @@ | |||
|
|
|||
| open Base | |||
There was a problem hiding this comment.
OCaml files should provide license information in second line (structure item)
| @@ -0,0 +1,28 @@ | |||
| open Ast | |||
There was a problem hiding this comment.
OCaml files should provide license information in second line (structure item)
EChandraSutraDhar/lib/interpreter.ml
Outdated
| open Base | ||
| open Stdlib.Format | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
| @@ -0,0 +1,29 @@ | |||
|
|
|||
| open Ast | |||
There was a problem hiding this comment.
OCaml files should provide license information in second line (structure item)
| open Ast | ||
| open Base | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
| @@ -0,0 +1,310 @@ | |||
|
|
|||
| open Ast | |||
There was a problem hiding this comment.
OCaml files should provide license information in second line (structure item)
| @@ -0,0 +1,2 @@ | |||
|
|
|||
| val parse : string -> (Ast.program, string) result | |||
There was a problem hiding this comment.
OCaml files should provide license information in second line (structure item)
EChandraSutraDhar/lib/interpreter.ml
Outdated
| open Base | ||
| open Stdlib.Format | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
| open Ast | ||
| open Base | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
| @@ -0,0 +1,3 @@ | |||
| (** Copyright, Ram Prosad Chandra Sutra Dhar *) | |||
There was a problem hiding this comment.
OCaml files should provide license information in second line (structure item)
EChandraSutraDhar/lib/interpreter.ml
Outdated
| open Base | ||
| open Stdlib.Format | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
| open Ast | ||
| open Base | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
EChandraSutraDhar/lib/interpreter.ml
Outdated
| open Base | ||
| open Stdlib.Format | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
| open Ast | ||
| open Base | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
EChandraSutraDhar/lib/interpreter.ml
Outdated
| open Base | ||
| open Stdlib.Format | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
| open Ast | ||
| open Base | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
EChandraSutraDhar/lib/interpreter.ml
Outdated
| open Base | ||
| open Stdlib.Format | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
| open Ast | ||
| open Base | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
EChandraSutraDhar/lib/interpreter.ml
Outdated
| open Base | ||
| open Stdlib.Format | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
| open Ast | ||
| open Base | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
EChandraSutraDhar/lib/interpreter.ml
Outdated
| open Base | ||
| open Stdlib.Format | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
| open Ast | ||
| open Base | ||
|
|
||
| type env = (ident, value, String.comparator_witness) Map.t |
There was a problem hiding this comment.
Unneeded mutual recursion detected in these type declarations. It's recommended to rewrite 'value_error' as follows:
type value_error =
| UnboundVariable of ident
| TypeError
| DivisionByZeroError
| PatternMatchingError
| LHS
|
Документация и тестовое покрытие (68.32%) должны скоро появиться. https://kakadu.github.io/fp25/docs/EChandraSutraDhar https://kakadu.github.io/fp25/cov/EChandraSutraDhar 2026-01-14 18:27 |
|
Linter report from 2026-01-14 18:28, for mini language EChandraSutraDhar |
1 participant
No description provided.