diff --git a/dhall/common.dhall b/dhall/common.dhall index 493664d..b0dd789 100644 --- a/dhall/common.dhall +++ b/dhall/common.dhall @@ -132,21 +132,21 @@ let addDay = \(d : Natural) -> { gYear = x.gmYear, gMonth = x.gmMonth, gDay = d } -let mvP = nullVal // { mvSign = Some True } +let mvP = nullVal // { vmSign = Some True } -let mvN = nullVal // { mvSign = Some False } +let mvN = nullVal // { vmSign = Some False } -let mvNum = \(x : Natural) -> nullVal // { mvNum = Some x } +let mvNum = \(x : Natural) -> nullVal // { vmNum = Some x } -let mvDen = \(x : Natural) -> nullVal // { mvDen = Some x } +let mvDen = \(x : Natural) -> nullVal // { vmDen = Some x } -let mvNumP = \(x : Natural) -> mvP // { mvNum = Some x } +let mvNumP = \(x : Natural) -> mvP // { vmNum = Some x } -let mvNumN = \(x : Natural) -> mvN // { mvNum = Some x } +let mvNumN = \(x : Natural) -> mvN // { vmNum = Some x } -let mvDenP = \(x : Natural) -> mvP // { mvDen = Some x } +let mvDenP = \(x : Natural) -> mvP // { vmDen = Some x } -let mvDenN = \(x : Natural) -> mvN // { mvDen = Some x } +let mvDenN = \(x : Natural) -> mvN // { vmDen = Some x } in { nullSplit , nullMatch