Moisés Ackerman

In the (haskell) LF typechecker, error messages are given a context with the `Error` constructor `EContext`, which takes a `Context`, taken from the `Gamma` field `_locCtx`. The `Context` type has...

`SResultNeedKey` callback takes error argument

3

Currently, `SResultNeedKey`'s callback, unlike any other `SResult*`'s, returns a `Boolean`. All handlers of `SResultNeedKey` ignore the value returned by the callback, except for the one in `ScenarioRunner` (via `missingWith`), which...

Retroactive implements: LF conversion

1

Part of https://github.com/digital-asset/daml/issues/14560, in turn part of https://github.com/digital-asset/daml/issues/14047

Improve scenario-service errors

1

Part of https://github.com/digital-asset/daml/issues/13518

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 :...

`DA.Internal.Desugar` types show in IDE when hovering on certain parts of the source code

3

The problem here is that we use the location information in the DA-GHC AST for (at least) two purposes: * Providing error messages in LF conversion and typechecker. * Showing...

Use the interface name instead of type synonyms in *interface instance*s: It is common to use a qualified type synonym `I` for interfaces. For instance: ``` import Daml.Finance.Interface.Asset.Instrument qualified as...

interface methods are currently also duplicated as functions in the documentation, maybe this is not necessary (spun off from https://github.com/digital-asset/daml/issues/14694)