HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-10-05 20:27:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

merge: pull request #554 from HigherOrderCO/552-add-new-type-of-error-messages-used-for-llms

Browse Source 
Add new type of error messages used for llms
This commit is contained in:
Sofia Rodrigues 2023-04-30 10:03:26 -03:00 committed by GitHub
commit cc14180a01
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 2 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/kind-cli/Cargo.toml
View File

@ -5,7 +5,7 @@ keywords = ["functional", "language", "type-theory", "proof-assistant"]
license = "MIT"
name = "kind2"
repository = "https://github.com/Kindelia/Kind2"
version = "0.3.9"
version = "0.3.10"
[[bin]]
name = "kind2"

5
crates/kind-report/src/data.rs
View File

@ -75,11 +75,6 @@ pub enum Log {
Failed(Duration),
}
pub struct DiagnosticConfig {
hide_vals: bool,
indent_ctx_vars: bool
}
pub trait Diagnostic {
fn get_syntax_ctx(&self) -> Option<SyntaxCtxIndex>;
fn get_severity(&self) -> Severity;

3
crates/kind-report/src/report/mode/classic.rs
View File

@ -2,11 +2,10 @@ use super::CodeBlock;
use super::{Classic, Renderable, Res};
use crate::data::*;
use crate::report::code::{count_width, group_markers, LineGuide, Spaces};
use crate::report::code::{FileMarkers, Point};
use crate::report::code::Point;
use crate::RenderConfig;
use crate::report::group_marker_lines;
use fxhash::{FxHashMap, FxHashSet};
use pathdiff::diff_paths;
use std::fmt::Write;
use std::path::PathBuf;

2
crates/kind-report/src/report/mode/mod.rs
View File

@ -1,7 +1,5 @@
use std::{fmt::Write, path::Path};
use refl::Id;
use crate::{data::{FileCache, Diagnostic, DiagnosticFrame, Log}, RenderConfig};
use super::code::FileMarkers;