diff options
| author | Nadrieril | 2020-03-21 21:30:30 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-31 21:44:01 +0100 |
| commit | 85e2e8ee5e83dadd05b6974ba6c951350cb97a61 (patch) | |
| tree | 637043ea591206f695c5b52b6625513de782ddcf /dhall/src/lib.rs | |
| parent | 110bfda418b7f1444a2d32b28c515c172a6572a2 (diff) | |
Introduce option builder
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 0f4b623..adca2de 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -72,6 +72,9 @@ impl Parsed { pub fn resolve(self) -> Result<Resolved, Error> { resolve::resolve(self) } + pub fn skip_resolve(self) -> Result<Resolved, Error> { + resolve::skip_resolve(self) + } /// Converts a value back to the corresponding AST expression. pub fn to_expr(&self) -> Expr { |