language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-01 15:51:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

setup for mono reports

Browse source
This commit is contained in:
Folkert 2020-04-12 01:56:57 +02:00
parent b5c050e068
commit 97c10e1211
10 changed files with 229 additions and 91 deletions
Download patch file Download diff file Expand all files Collapse all files

39
compiler/reporting/src/report.rs
View file

@ -81,7 +81,7 @@ impl<'b> Report<'b> {
.expect(err_msg);
}
fn pretty(self, alloc: &'b RocDocAllocator<'b>) -> RocDocBuilder<'b> {
pub fn pretty(self, alloc: &'b RocDocAllocator<'b>) -> RocDocBuilder<'b> {
if self.title.is_empty() {
self.doc
} else {
@ -142,6 +142,43 @@ pub const UNDERLINE_CODE: &str = "\u{001b}[4m";
pub const RESET_CODE: &str = "\u{001b}[0m";
pub fn mono_problem<'b>(
alloc: &'b RocDocAllocator<'b>,
filename: PathBuf,
problem: roc_mono::expr::MonoProblem,
) -> Report<'b> {
use roc_mono::expr::MonoProblem::*;
use roc_mono::pattern::Error::*;
//#[derive(Clone, Debug, PartialEq)]
//pub enum Error {
// Incomplete(Region, Context, Vec<Pattern>),
// Redundant(Region, Region, usize),
//}
//
//pub enum Context {
// BadArg,
// BadDestruct,
// BadCase,
//}
//
//#[derive(Clone, Debug, PartialEq)]
//pub enum Guard {
// HasGuard,
// NoGuard,
//}
//
match problem {
PatternProblem(Incomplete(region, context, missing)) => todo!("incomplete"),
PatternProblem(Redundant {
overall_region,
branch_region,
index,
}) => todo!("redundant"),
}
}
pub fn can_problem<'b>(
alloc: &'b RocDocAllocator<'b>,
filename: PathBuf,