diff options
| author | Nadrieril | 2020-03-13 20:35:42 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-31 21:44:01 +0100 |
| commit | 6a2a407f27b8068769f208383119ac855f629e96 (patch) | |
| tree | d0aaad7611e081ea7de9fd69cc78577d235ecd10 /dhall/src/lib.rs | |
| parent | b3a05d930dd8f2bbc705145219025af96e5dec86 (diff) | |
Move conversion to SimpleVal/Ty to simple module
Diffstat (limited to 'dhall/src/lib.rs')
| -rw-r--r-- | dhall/src/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 799d86f..07df2b2 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -132,8 +132,8 @@ impl Normalized { pub fn to_value(&self) -> Value { Value { hir: self.to_hir(), - as_simple_val: self.0.to_simple_value(), - as_simple_ty: self.0.to_simple_type(), + as_simple_val: SimpleValue::from_nir(&self.0), + as_simple_ty: SimpleType::from_nir(&self.0), } } |