mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 17:28:46 +03:00
0fdf85442f
* Improve UX of generic templates over Ledger API
Currently, if you write
```
template Template t => Proposal t with
receiver: Party
asset: t
where ...
template Iou with ...
template instance ProposalIou = Proposal Iou
```
you'll get the following DAML-LF types:
```
record Proposal t = { receiver : Party, asset : t }
record Iou = ...
record ProposalIou = { unpack : Proposal Iou }
```
The definition of `ProposalIou` is not particularly user friendly when used
over the Ledger API.
This PR changes the definition of `ProposalIou` to
```
record ProposalIou = { receiver : Party, asset : Iou }
```
Basically, the definition of `Proposal` is copied and `t` is instantiated
with `Iou`. This should make a much nicer UX.
* Update documentation
* Add test
* Fix docs examples
* Fix release notes
|
||
|---|---|---|
| .. | ||
| daml-extension | ||
| daml-lf-ast | ||
| daml-lf-proto | ||
| daml-lf-reader | ||
| daml-lf-tools | ||
| daml-licenses | ||
| damlc | ||
| ghcide | ||
| hie-core | ||
| lsp-tests | ||
| scenario-service | ||
| 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.