dylant-da 8e8e0dabdf Convert viewtype and view methods to LF (#14456) ... * 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		2022-08-03 16:23:38 +01:00
..
src	Convert viewtype and view methods to LF (#14456)	2022-08-03 16:23:38 +01:00
BUILD.bazel	choice name overloading in lf/interface (#13938)	2022-05-31 08:41:48 -04:00