在'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 d放在""和()中。如何指定日期？

Answer 1

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

由于您在Syntax errors in Main.daml中发布了更完整的代码段，因此我可以大胆地猜测一下，并说您缺少DA.Date标准库。尝试将import DA.Date行添加到文件开头：

daml 1.2
module Main where

import DA.Date