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
80ed7ae740
daml/compiler
History
dylant-da eb537914a4
Make scripts cancellable (#16588) 
* Begin work on cancellable scenarios

* Stubs that pass typechecking, for bidirectional streams

* Place default value in running handlers

* Support start/stop requests

* switch script to scenario

* ScenarioServiceMain lint

* Fix nonexhaustive check

* Working but ugly

* Remove ugliness / print debugging

* lint

* Distinguish cancellation by timeout vs request, refactor ior

* lint

* Implement automatic cancellation of outdated scripts, and test

* lint

* Fix boolean blindness in script cancellation signal

* Add timeout & steps to script interrupt test case

* Add test case for hover resetting script progress

* Remove unused ReplacedByOtherThread datatype

* remove dead debugging print statements

* Improve semaphore code

* Turn handler structure into a Semigroup, handle multiple response error
2023-05-02 17:51:45 +00:00
..
daml-dar-reader Extract daml-dar-reader (#16786) 2023-05-02 16:17:23 +00:00
daml-extension Automatically run scenarios in Studio with "Autorun All Tests" setting for Daml Extension (#16398) 2023-03-01 09:38:01 +00:00
daml-lf-ast [engine] choice authority: clarify remaining things to do (#16752) 2023-04-27 18:30:32 +00:00
daml-lf-proto [LF] Kill expirmental optimized text primitives (#16759) 2023-04-25 15:42:03 +00:00
daml-lf-reader bump copyright (#16002) 2023-01-04 18:21:15 +01:00
daml-lf-tools [LF] Kill expirmental optimized text primitives (#16759) 2023-04-25 15:42:03 +00:00
damlc Make scripts cancellable (#16588) 2023-05-02 17:51:45 +00: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 Make scripts cancellable (#16588) 2023-05-02 17:51:45 +00:00
repl-service bump copyright (#16002) 2023-01-04 18:21:15 +01:00
scenario-service Make scripts cancellable (#16588) 2023-05-02 17:51:45 +00:00
README.md Daml case and logo (#8433) 2021-01-08 12:50:15 +00: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.