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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
// use dhall_core::{Expr, FilePrefix, Import, ImportLocation, ImportMode, X};
use dhall_core::{Expr, Import, X};
// use std::path::Path;
use dhall_core::*;
use std::fmt;
use std::fs::File;
use std::io::Read;
use std::path::Path;
use std::path::PathBuf;
pub fn panic_imports<S: Clone>(expr: &Expr<S, Import>) -> Expr<S, X> {
let no_import = |i: &Import| -> X { panic!("ahhh import: {:?}", i) };
expr.map_embed(&no_import)
}
/// A root from which to resolve relative imports.
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum ImportRoot {
LocalDir(PathBuf),
}
fn resolve_import(
import: &Import,
root: &ImportRoot,
) -> Result<Expr<X, X>, DhallError> {
use self::ImportRoot::*;
use dhall_core::FilePrefix::*;
use dhall_core::ImportLocation::*;
let cwd = match root {
LocalDir(cwd) => cwd,
};
match &import.location {
Local(prefix, path) => {
let path = match prefix {
Parent => cwd.parent().unwrap().join(path),
Here => cwd.join(path),
_ => unimplemented!("{:?}", import),
};
load_dhall_file(&path, true)
}
_ => unimplemented!("{:?}", import),
}
}
#[derive(Debug)]
pub enum DhallError {
ParseError(ParseError),
IOError(std::io::Error),
}
impl From<ParseError> for DhallError {
fn from(e: 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),
}
}
}
pub fn load_dhall_file(
f: &Path,
resolve_imports: bool,
) -> Result<Expr<X, X>, DhallError> {
let mut buffer = String::new();
File::open(f)?.read_to_string(&mut buffer)?;
let expr = parse_expr(&*buffer)?;
let expr = if resolve_imports {
let root = ImportRoot::LocalDir(f.parent().unwrap().to_owned());
let resolve = |import: &Import| -> Expr<X, X> {
resolve_import(import, &root).unwrap()
};
expr.map_embed(&resolve).squash_embed()
} else {
panic_imports(&expr)
};
Ok(expr)
}
pub fn load_dhall_file_no_resolve_imports(
f: &Path,
) -> Result<ParsedExpr, DhallError> {
let mut buffer = String::new();
File::open(f)?.read_to_string(&mut buffer)?;
let expr = parse_expr(&*buffer)?;
Ok(expr)
}
|
