Skip to content
Snippets Groups Projects

Added pretty-printing of type parameters in CameLIGO.

Merged Christian Rinderknecht requested to merge rinderknecht@let_type into dev

type:none

  • has a changelog entry

This MR fixes point 4 of #1374 and declarations of polymorphic types as well.

Edited by Laurent Canis

Merge request reports

Merge train pipeline #513028957 passed with warnings

Merge train pipeline passed with warnings for a2365b05

Test coverage 48.08% (-0.01%) from 1 job

Merged by Christian RinderknechtChristian Rinderknecht 2 years ago (Apr 9, 2022 3:51pm UTC)

Loading

Pipeline #513032024 passed with warnings

Pipeline: Ligo-Kubernetes-Infrastructure

#513037361

    Pipeline passed with warnings for 544a9534 on dev

    Test coverage 48.08% (-0.01%) from 1 job

    Activity

    Filter activity
    • Approvals
    • Assignees & reviewers
    • Comments (from bots)
    • Comments (from users)
    • Commits & branches
    • Edits
    • Labels
    • Lock status
    • Mentions
    • Merge request status
    • Tracking
  • Sander approved this merge request

    approved this merge request

  • added 1 commit

    Compare with previous version

  • Christian Rinderknecht resolved all threads

    resolved all threads

  • Christian Rinderknecht enabled automatic add to merge train when the pipeline for 85a0f817 succeeds

    enabled automatic add to merge train when the pipeline for 85a0f817 succeeds

  • Christian Rinderknecht aborted automatic add to merge train because source branch was updated

    aborted automatic add to merge train because source branch was updated

  • added 7 commits

    Compare with previous version

  • added 1 commit

    • de7cb8e0 - Fixed merge of dev. Fixed pretty printer of cameligo. Renamed lhs_type

    Compare with previous version

  • Christian Rinderknecht enabled automatic add to merge train when the pipeline for 70545358 succeeds

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

  • Christian Rinderknecht aborted automatic add to merge train because source branch was updated

    aborted automatic add to merge train because source branch was updated

  • added 1 commit

    Compare with previous version

  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Please register or sign in to reply
    Loading