diff options
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/phase/typecheck.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dhall/src/semantics/phase/typecheck.rs b/dhall/src/semantics/phase/typecheck.rs index 9a41be9..97a29ca 100644 --- a/dhall/src/semantics/phase/typecheck.rs +++ b/dhall/src/semantics/phase/typecheck.rs @@ -457,7 +457,9 @@ fn type_last_layer( return mkerr(InvalidListType(t)); } - RetTypeOnly(Value::from_builtin(crate::syntax::Builtin::List).app(t)) + RetTypeOnly( + Value::from_builtin(crate::syntax::Builtin::List).app(t), + ) } SomeLit(x) => { let t = x.get_type()?; |