diff options
author | Nadrieril | 2019-08-13 22:11:45 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-13 22:11:45 +0200 |
commit | 8d45d633dfa60e8d64c9e6e742de4e33496bf0fa (patch) | |
tree | 526c351bbdd6121cdde3cd56f721156d3b34e6de /dhall/src/phase/normalize.rs | |
parent | 07956ccb1daf4a6819f64776f70b6f5f26869184 (diff) |
Store Imports in their own node instead of in Embed
Diffstat (limited to 'dhall/src/phase/normalize.rs')
-rw-r--r-- | dhall/src/phase/normalize.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall/src/phase/normalize.rs b/dhall/src/phase/normalize.rs index 2970f5f..adbcb02 100644 --- a/dhall/src/phase/normalize.rs +++ b/dhall/src/phase/normalize.rs @@ -644,6 +644,9 @@ pub fn normalize_one_layer(expr: ExprF<Thunk, Normalized>) -> Value { }; let ret = match expr { + ExprF::Import(_) => unreachable!( + "There should remain no imports in a resolved expression" + ), ExprF::Embed(_) => unreachable!(), ExprF::Var(_) => unreachable!(), ExprF::Annot(x, _) => Ret::Thunk(x), |