nar 0.0.8

Narc, a dependently-typed programming language with dependent pattern matching
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use std::fmt::{Display, Error as FmtError, Formatter};

use voile_util::loc::Ident;

#[derive(Debug, Clone)]
pub enum DesugarErr {
    UnresolvedReference(Ident),

    // === Not* === //
    NotDefn(Ident),
    NotCons(Ident),
}

impl Display for DesugarErr {
    fn fmt(&self, f: &mut Formatter) -> Result<(), FmtError> {
        use DesugarErr::*;
        match self {
            UnresolvedReference(i) => write!(f, "Unresolved reference: `{}` at {}.", i.text, i.loc),
            NotDefn(i) => write!(f, "`{}` is not a definition (at {}).", i.text, i.loc),
            NotCons(i) => write!(f, "`{}` is not a constructor (at {}).", i.text, i.loc),
        }
    }
}