akrmn

This is exactly what I'm looking for right now. It seems like the build error is the same one I got on #337, @jaspervdj, could we ignore it again for...

hm, this seems to fail on post qualified explicit imports: ```haskell import Data.Aeson qualified as JSON (Value) ``` gives me: ``` RealSrcSpan SrcSpanOneLine "./test.hs": parse error on input `qualified' ```...

Two examples:

Another example (thanks @basvangijzel-DA), this one pre-interfaces:  This one is harder to spot because it only shows up when hovering on the comma.

If we change `mkMethod` so the argument function itself takes an identity function `: (r -> r)`, ```diff - mkMethod : forall p i t m r. (Implements t i,...

The extra errors (the ones with location 1:1-1:1) come from the records preprocessor (`DA.Daml.Preprocessor.Records`), which adds the following instance ``` instance HasField "f" T MyBrokenType where -- ^^^^^^^^^^^^ getField =...

Now that interface choices are not "inherited" by templates, it would be a relatively simple change to add `instance HasExercise Archive` and `instance HasArchive `. If there's still a need...

Thanks @dylant-da. @stefanobaghino-da we also have ~a few~ 25 remaining TODOs/FIXMEs in the repo (some of them actually already done), @dylant-da and I are currently going through them. ```bash >...

@cocreature, how is this different from (closed) https://github.com/digital-asset/daml/issues/2111?

ah that's fair, thanks for clearing up!