Проблемы с использованием функции «дата» внутри оператора «создать» или оператора «упражнения»

Вот фрагмент кода:

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 в "" и в (). Как указываются даты?


daml
person Meyer Auslander    schedule 18.02.2019    source источник

Ответы (1)


arrow_upward
2
arrow_downward

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

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

daml 1.2
module Main where

import DA.Date
person bame    schedule 18.02.2019