digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-11-10 10:46:11 +03:00
Code Issues Projects Releases Wiki Activity
5934b22dda
daml/compiler
History
Moritz Kiefer 0a8c1eba4e
Integrate time service into DAML Script (#6417) 
This integrates the time service into DAML script thereby covering the
main piece of scenarios that was missing from DAML script.

This PR does two things (they are very related and doing them together
makes it much easier to test):

1. It “fixes” `getTime` to return the ledger time in static mode by
   querying the ledger time service instead of defaulting to the Unix
   epoch which is pretty useless and I would consider the old behavior
   a bug. We keep the old behavior via the JSON API since there is no
   time service.

2. It adds `setTime` to set the ledger time via the time service. This
   is only supported in static time mode (sadbonx and other ledgers do
   not expose the time service in wallclock mode because changing time
   makes it not wallclock) or via the JSON API (no time service).

fixes #6220

changelog_begin

- [DAML Script] DAML Script’s `getTime` now correctly handles time
  changes in static time mode and returns the current time by querying
  the time service rather than defaulting to the Unix epoch. Note that
  when run via the JSON API, it still returns the Unix epoch.

- [DAML Script] Add `setTime` to DAML Script which sets the ledger
  time via the ledger API time service. Note that this is only
  supported when running over gRPC in static time mode.

changelog_end
2020-06-18 18:25:24 +02:00
..
daml-extension Fix vscode extension (#6379) 2020-06-17 13:17:48 +00:00
daml-lf-ast damlc inspect: Add output modes with less details (#6280) 2020-06-10 08:12:07 +00:00
daml-lf-proto Use com.daml as root package (#5343) 2020-04-05 19:49:57 +02:00
daml-lf-reader replace DAML Authors with DA in copyright headers (#5228) 2020-03-27 01:26:10 +01:00
daml-lf-tools damlc: Run simplifier on templates as well (#6286) 2020-06-15 11:24:25 +00:00
daml-lf-verify damlc: Run simplifier on templates as well (#6286) 2020-06-15 11:24:25 +00:00
daml-licenses replace DAML Authors with DA in copyright headers (#5228) 2020-03-27 01:26:10 +01:00
damlc Fix packaging performance (#6350) 2020-06-16 15:12:34 +02:00
ghcide Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
hie-core Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
lsp-tests Turn warnings for module name/record name mismatches into errors (#5266) 2020-03-30 10:21:53 +00:00
repl-service Integrate time service into DAML Script (#6417) 2020-06-18 18:25:24 +02:00
scenario-service Speedy: refactor Machine builders (#6368) 2020-06-18 15:39:55 +02:00
README.md open-sourcing daml 2019-04-04 09:33:38 +01:00

README.md

DAML Compiler

This directory contains several libraries used by and the executable for the DAML compiler.

Libraries

  • daml-lf-ast: The DAML-LF AST and type checker.