diff options
author | Nadrieril | 2019-03-21 15:42:16 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-21 15:42:16 +0100 |
commit | 427c5e55a6e6768b22c3e7ad40594d451ac024e7 (patch) | |
tree | ed5b8ae5af363536bbbf8054a0eeb6c014e3e2fa /dhall_generator | |
parent | 7bbf42dc5d3727dffcb036ffe30dd433faff1950 (diff) |
Rename Record/Union to RecordType/UnionType
Diffstat (limited to 'dhall_generator')
-rw-r--r-- | dhall_generator/src/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall_generator/src/lib.rs b/dhall_generator/src/lib.rs index 434d297..a246818 100644 --- a/dhall_generator/src/lib.rs +++ b/dhall_generator/src/lib.rs @@ -76,9 +76,9 @@ fn dhall_to_tokenstream( let es = vec_to_tokenstream(es, ctx); quote! { NEListLit(#es) } } - Record(m) => { + RecordType(m) => { let m = map_to_tokenstream(m, ctx); - quote! { Record(#m) } + quote! { RecordType(#m) } } RecordLit(m) => { let m = map_to_tokenstream(m, ctx); |