daml - 在“create”语句或“exercise”语句中使用“date”函数时遇到问题

Question

这是一个代码片段：

car1AddCid <- submit dealer1 do
    carCid <- create Car with
      dealer = dealer1
      insurer = insurance1
      vin = "1A"
      daily_insurance_rate = 1.5 
      daily_rate_APD = 0.16
      covered = False 
      observers = [insurance1]
      date_vehicle_added = date 1970 Jan 1   -- must be initialized to something
    exercise carCid Add_Car with startCoverage = date 2019 Apr 5

不接受使用日期功能。我试着把yyyy mmm din""和 in放进去()。如何指定日期？

Answer 1

您指定日期的方式看起来是正确的。

由于您在 Main.daml的语法错误中发布了更完整的代码片段，因此我可以冒险猜测并说您缺少DA.Date标准库。尝试将该行添加import DA.Date到文件的开头：

daml 1.2
module Main where

import DA.Date