Проблема с использованием функции date в операторе create или упражнении

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

То, как вы указываете даты, выглядит правильно.

Поскольку вы разместили более полный фрагмент кода в Синтаксические ошибки в Main.daml , я могу рискнуть предположить искажем, что вам не хватает стандартной библиотеки DA.Date.Попробуйте добавить строку import DA.Date в начало вашего файла:

daml 1.2
module Main where

import DA.Date