summaryrefslogtreecommitdiff
path: root/dhall/src/lib.rs
blob: 66d132e1f94533ca1b0fa75ebe30a4a8ec87ee78 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
#![feature(box_patterns)]
#![feature(trace_macros)]
#![feature(proc_macro_hygiene)]

mod normalize;
pub use crate::normalize::*;
pub mod imports;
pub mod typecheck;

use dhall_core::*;
use std::fmt;
use std::fs::File;
use std::io::Read;
use std::path::Path;

#[derive(Debug)]
pub enum DhallError {
    ParseError(parser::ParseError),
    IOError(std::io::Error),
}
impl From<parser::ParseError> for DhallError {
    fn from(e: parser::ParseError) -> Self {
        DhallError::ParseError(e)
    }
}
impl From<std::io::Error> for DhallError {
    fn from(e: std::io::Error) -> Self {
        DhallError::IOError(e)
    }
}
impl fmt::Display for DhallError {
    fn fmt(&self, f: &mut fmt::Formatter) -> Result<(), fmt::Error> {
        use self::DhallError::*;
        match self {
            ParseError(e) => e.fmt(f),
            IOError(e) => e.fmt(f),
        }
    }
}

/// `source_pool` is a Vec of strings to be used to store the contents of imported files.
/// No ideal but necessary for lifetime reasons for now.
pub fn load_dhall_file<'i, 'a: 'i>(
    f: &Path,
    source_pool: &'a mut Vec<String>,
    _resolve_imports: bool,
) -> Result<Expr_<String, X, X>, DhallError> {
    source_pool.push(String::new());
    let mut buffer = source_pool.last_mut().unwrap();
    File::open(f)?.read_to_string(&mut buffer)?;
    let expr = parser::parse_expr(&*buffer)?;
    let expr = expr.take_ownership_of_labels();
    let expr = imports::resolve_imports(&expr);
    Ok(expr)
}