diff options
author | Nadrieril | 2019-03-15 23:41:04 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-15 23:41:04 +0100 |
commit | 22aa5de3fb5836daf066add3e128173bbd396003 (patch) | |
tree | 3220a06b6cf62ee2f73dbfba650f6e752989a32c /dhall_generator | |
parent | 4e09c0205469de021fd95490be0a3d19bba8bfc2 (diff) |
Store a vec in App
Closes #26
Diffstat (limited to 'dhall_generator')
-rw-r--r-- | dhall_generator/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall_generator/src/lib.rs b/dhall_generator/src/lib.rs index 512df94..0d84053 100644 --- a/dhall_generator/src/lib.rs +++ b/dhall_generator/src/lib.rs @@ -42,7 +42,7 @@ fn dhall_to_tokenstream( } App(f, a) => { let f = dhall_to_tokenstream_bx(f, ctx); - let a = dhall_to_tokenstream_bx(a, ctx); + let a = vec_to_tokenstream(a, ctx); quote! { App(#f, #a) } } Const(c) => { |