dylant-da a4e29299be Implement Interface views in speedy (#14565) ... * Add DA_Internal_Interface to convertTypeDef exclusion check * Move desugared types/values for interface views into DA.Internal.Desugar * Convert viewtype and view method declarations * Typecheck view types and view declarations * Add unit viewtypes to InterfaceChoiceCollision tests * Add unit viewtypes to more compiler/damlc tests * Modify empty interfaces/implements to have viewtypes/views * Add unit viewtypes to remaining Interface tests * Test for error thrown when viewtype not specified * Fix daml-lf/ interface tests to use new syntax / unit views * Add placeholder view of type Unit to TestInterfaces CHANGELOG_BEGIN CHANGELOG_END * Fix typescript interface tests with unit viewtype * Add unit viewtype to Java & Scala codegen * Add unit viewtype to triggers tests interface * Add unit viewtypes to ledger/test-common * Add unit viewtypes to ledger-service/http-json * Fix some damlc tests * Use viewtype syntax in InterfaceViewNonSerializable test * Remove HasInferfaceView instances in convertBind * Add unit view to QualifiedInterface.daml test * Generate HasInterfaceView instances in DataDependencies * Add unit viewtypes and views to compiler/damlc/tests * Document reconstruction of HasInterfaceView * Move desugared types/values for interface views into DA.Internal.Desugar * Add desugarable function view w/ EViewInterface desugaring * Remove templateName and viewtype from generated EViewInterface * Update desugared-daml * Proof of concept: use _view -> EViewInterface prim via HasInterfaceView * Move view, HasInterfaceView to DA.Internal.Interface * Update desugared-daml tests * Stop removing and re-generating HasInterfaceView instances * Do not generate docs for generated "_view_" methods * Report errors with interface TypeConNames prettily * Fix InterfaceViewNotSpecified @ERROR to reflect new error text * Don't import magic `view` method from Prelude to avoid name clash * Update shake interface goto definition test locations * Temp disable view spec tests, will re-implement views in speedy * Add unit viewtype to Java code snippet docs * Update Interface syntax docs for views * Add unit viewtype to Transferrable.daml * Add back "empty" interface implementation to interfaces.rst * Re-enable view tests by having _view methods on InterfaceViews.daml file * Remove deprecated commented-out view desugaring code * Remove templateId and viewtype from EViewInterface * Fix lint * Compile DefRefs for views, return them in SBViewInterface * Stop looking for `_view` method, remove ENoViewFound in TypeChecker.hs * Remove ENoViewFound / remove view method lookup, use view param instead * Fix use of viewMethod.returnType / import of MethodName * Replace uses of `_view` in Scala, update parser w/ viewtype/view clauses * Fix lint * Update Interface LF encoding test for views * Stop using unit views in ParsersSpec * Fix tests to have new Scala test parser viewtype/view syntax * Fix Interface_extended_1.dev_.lf to have viewtypes/views * Change all spec/lf viewtypes/views to Unit * Remove accidental use of requires * Fix ParsersSpec to have record viewtypes/views * Fix ValueEnricherSpec for switch to unit views * Remove no view test from Scala - lack of view is caught at compile-time * Remove unused _view method in InterfaceViews.daml test * Return control expression via Control.Expression * Retrieve compiled views via implementation body		2022-08-09 12:49:14 +01:00
..
src	Implement Interface views in speedy (#14565)	2022-08-09 12:49:14 +01:00
BUILD.bazel	Small cleanup to the bazel testing setup for daml-lf/interpreter and daml-lf/validation (#13716)	2022-04-27 13:27:17 +01:00