diff --git a/dhall/Types.dhall b/dhall/Types.dhall index 7acdd3b..5447801 100644 --- a/dhall/Types.dhall +++ b/dhall/Types.dhall @@ -132,10 +132,16 @@ let Split = \(a : Type) -> \(v : Type) -> \(c : Type) -> - { sAcnt : a, sValue : v, sCurrency : c, sComment : Text } + \(t : Type) -> + { sAcnt : a + , sValue : v + , sCurrency : c + , sComment : Text + , sTags : List t + } let ExpSplit = - { Type = Split SplitAcnt (Optional SplitNum) SplitCur + { Type = Split SplitAcnt (Optional SplitNum) SplitCur TagID , default = { sValue = None SplitNum, sComment = "" } } diff --git a/dhall/common.dhall b/dhall/common.dhall index 95a21b9..0870988 100644 --- a/dhall/common.dhall +++ b/dhall/common.dhall @@ -7,7 +7,7 @@ let T = ./Types.dhall let nullSplit = \(a : T.SplitAcnt) -> \(c : T.SplitCur) -> - T.ExpSplit::{ sAcnt = a, sCurrency = c } + T.ExpSplit::{ sAcnt = a, sCurrency = c, sTags = [] : List T.TagID } let nullOpts = T.TxOpts::{=}