[#1675] Add module signatures on hover

Motivation and Context

Problem

Right now there is a (* ... *) placeholder for module signatures on hover. Let's fill it with the right signature.

Solution

Propagate signatures like types inside types pass in the scopes module. Decompile these Ast_typed.signature and use pretty printers to show them to the user.

Related issues

Resolves #1675 (closed) .

Checklist for the LIGO Language Server

• I checked whether I need to update the README.md file for the plugin and did so if necessary:
  • If I implemented a new LSP request, I added it to the list of supported features that may be disabled
  • If I implemented a new LSP method, I added it to the list of supported functionality
• I checked that my changes work in Emacs, Vim, and Visual Studio Code
• (Before merging) The commit history is squashed and prettified, and follows the Serokell commit policy, or the MR is set to squash the commits

Description

Component

• compiler
• website
• webide
• vscode-plugin
• debugger

Types of changes

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Performance improvement (non-breaking change that improves performance)
• None (change with no changelog)

Changelog

Added signatures for modules on hovering. They're displayed like:

module Bytes : sig
  val concats : bytes list -> bytes

  val pack : a -> bytes

  val unpack : bytes -> a option

  val length : bytes -> nat

  val concat : bytes -> bytes -> bytes

  val sub : nat -> nat -> bytes -> bytes

end

Checklist:

• Changes follow the existing coding style (use dune @fmt to check).
• Tests for the changes have been added (for bug fixes / feature).
• Documentation has been updated.
• Changelog description has been added (if appropriate).
• Start titles under ## Changelog section with #### (if appropriate).
• There is no image or uploaded file in changelog
• Examples in changed behaviour have been added to the changelog (for breaking change / feature).

added directionLanguage Server label

requested review from @heitor.toledo

assigned to @DK318

added 1 commit

• 024ee60c - fixup! [#1675 (closed)] Add module signatures on hover

Compare with previous version

marked this merge request as draft from 024ee60c

I'm not done with the review yet; will complete it later. Here are some thoughts so far (the code looks pretty good though, good job!)

I think your changes look pretty solid, well done. Approving.

approved this merge request

mentioned in merge request !2961 (merged)

deleted the print_module_signature branch. This merge request now targets the dev branch

added 103 commits

• 024ee60c...54c24fcc - 100 commits from branch dev
• d6dd9740 - [#1675 (closed)] Add module signatures on hover
• 71992a5f - fixup! [#1675 (closed)] Add module signatures on hover
• 44c9df0e - fixup! fixup! [#1675 (closed)] Add module signatures on hover

Compare with previous version

resolved all threads

added 1 commit

• a7656b51 - fixup! fixup! fixup! [#1675 (closed)] Add module signatures on hover

Compare with previous version

resolved all threads

added 13 commits

• a7656b51...aa0c156c - 12 commits from branch dev
• 4ec0f67e - [#1675 (closed)] Add module signatures on hover

Compare with previous version

marked this merge request as ready

mentioned in commit ea80b652

added 2 commits

• ea80b652 - Merge branch 'dk318/#1675 (closed)-module-signatures-on-hover' into 'dev'
• 5e07bfb5 - [Bot] add changelog entry

Compare with previous version

enabled automatic add to merge train when the pipeline for d1d81bc4 succeeds

A new deploy preview is available on Netlify at https://2953-b02fa41b--ligolang.netlify.app, you can view the logs at https://app.netlify.com/sites/ligolang/deploys/654bb9c09ffa780697ff9020

started a merge train

merged

mentioned in commit 71256b57