From 8d45614571a94f73e8b7068b9d50e5760e8e3f5b Mon Sep 17 00:00:00 2001 From: ndwarshuis Date: Sat, 17 Jun 2023 20:06:14 -0400 Subject: [PATCH] ADD defaults --- dhall/Types.dhall | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/dhall/Types.dhall b/dhall/Types.dhall index c9c31c8..742b49f 100644 --- a/dhall/Types.dhall +++ b/dhall/Types.dhall @@ -500,6 +500,8 @@ let TxSubGetter = , tsgToTags = [] : List TagID , tsgFromComment = "" , tsgToComment = "" + , tsgFromEntries = [] : List EntryGetter.Type + , tsgToEntries = [] : List EntryGetter.Type } } @@ -576,6 +578,8 @@ let TxGetter = { tgOtherEntries = [] : List TxSubGetter.Type , tgFromTags = [] : List TagID , tgToTags = [] : List TagID + , tgFromEntries = [] : List EntryGetter.Type + , tgToEntries = [] : List EntryGetter.Type , tgFromComment = "" , tgToComment = "" }