Проблема с использованием функции 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