daml

daml copied to clipboard

Expected types don’t propagate to interface implementations

1

For typeclasses I can do the following ``` module A where class C a where f : a -> Int instance C Int where f = _ ``` and I...

cocreature

[FEATURE REQUEST] Archive for Daml Interfaces

7

I confirm that, if this is a feature request that has security implications, I already contacted [email protected] and followed the [responsible disclosure policy](https://digitalasset.com/security/). I confirm that this is not a...

bame-da

Expose authorizing context in Daml

3

I often find myself needing access to the parties that are currently authorizing my update block. I can always get access by looking at the controllers & signatories & recomputing...

cocreature

Improve error message for fields called `this`, `self` or `arg` in templates or template choices

1

Currently, declaring fields with these names results in poor error messages, for example, ```haskell template Foo with p : Party where signatory p choice FooC : () with arg :...

akrmn

Improve the sample dot command call

1

In Windows PowerShell, the command `dot -Tpng .\daml-project.dot > daml-project.png` does not create a valid PNG file. Apparently, the `>` of the binary file did not work properly. Instead I...

WallaceKelly

In the example below the docs for choice A are processed correctly. Choice B produces a syntax error instead. It would be nice to support this as well. ``` module...

cocreature

In the example below R1 is processed correctly by daml-docs while R2 produces a parse error. Putting the docs afterwards via `-- ^` works but I find the first style...

cocreature

dylant-da

TOC test changes

2

Removing toc duplication - this is in conjunction with change to the TOC in the docs repo. [CHANGELOG_BEGIN] [CHANGELOG_END]

carrielaben-da

LF 1.15

3

Previous LF version ticket: https://github.com/digital-asset/daml/issues/9914 Issue to keep track of things to do before releasing LF 1.15. This version includes interfaces.

sofiafaro-da