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

use crate::syntax::core::*;

macro_rules! simple_to_loc {
    ($name:ident) => {
        impl ToLoc for $name {
            fn loc(&self) -> Loc {
                self.loc
            }
        }
    };
}

simple_to_loc!(DataInfo);
simple_to_loc!(CodataInfo);
simple_to_loc!(ConsInfo);
simple_to_loc!(TermInfo);
simple_to_loc!(FuncInfo);