diff options
author | Nadrieril | 2019-03-31 18:47:34 +0200 |
---|---|---|
committer | Nadrieril | 2019-03-31 18:47:34 +0200 |
commit | f5d2151d35942b957230c3081a928af3619d9400 (patch) | |
tree | a7d2568153d2086a9fd5292585636a26bc914f83 /dhall/src/main.rs | |
parent | bc64e9e305f50ad04e6e2071dad8c153c1582b8c (diff) |
Make SubExpr a newtype
Diffstat (limited to 'dhall/src/main.rs')
-rw-r--r-- | dhall/src/main.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/dhall/src/main.rs b/dhall/src/main.rs index 1a2e309..eb2206b 100644 --- a/dhall/src/main.rs +++ b/dhall/src/main.rs @@ -1,6 +1,5 @@ use std::error::Error; use std::io::{self, Read}; -use std::rc::Rc; use term_painter::ToStyle; use dhall::*; @@ -66,7 +65,7 @@ fn main() { } }; - let expr: Rc<Expr<_, _>> = rc(imports::panic_imports(&expr)); + let expr: SubExpr<_, _> = rc(imports::panic_imports(&expr)); let type_expr = match typecheck::type_of(expr.clone()) { Err(e) => { |