diff options
author | Nadrieril | 2019-03-16 23:21:51 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-16 23:21:51 +0100 |
commit | 05454ab9936514409e1b3c97e36f3fb476d532ba (patch) | |
tree | 9ce983a7d76f861b22a6b8dabb68f34a80db15ac /dhall/src/normalize.rs | |
parent | 0f33caf4c1ee4d1f95d6ac3a41b5cf2f8efa7b54 (diff) |
Use Rc instead of Box in AST to allow structural sharing
Closes #29
Diffstat (limited to 'dhall/src/normalize.rs')
-rw-r--r-- | dhall/src/normalize.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs index c49d313..40112f1 100644 --- a/dhall/src/normalize.rs +++ b/dhall/src/normalize.rs @@ -2,6 +2,7 @@ use dhall_core::core::*; use dhall_generator::dhall_expr; use std::fmt; +use std::rc::Rc; /// Reduce an expression to its weak head normal form, i.e. normalize /// just enough to get the first constructor of the final expression |