search

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License
27 stars 5 forks source link

Editor support for UPLC files #340

Closed ChristianoBraga closed 1 year ago

ChristianoBraga commented 2 years ago
ChristianoBraga commented 2 years ago

You will probably want to rebase this off of #337 and make the changes you want.

Why can't we have a new PR for this?

gtrepta commented 2 years ago

Why can't we have a new PR for this?

What do you mean? You already merged a PR with some emacs support, and this PR wasn't based off of master after that merge when I commented.

You have two copies of uplc-mode.el on this branch now, one at the base directory and one under editor-support/. I'll be happy to approve this PR if you remove the copy in the base directory.

ChristianoBraga commented 2 years ago

I'll be happy to approve this PR if you remove the copy in the base directory.

Ok now I understand.

Em qua., 12 de out. de 2022 às 12:48, gtrepta @.***> escreveu:

Why can't we have a new PR for this?

What do you mean? You already merged a PR with some emacs support, and this PR wasn't based off of master after that merge when I commented.

You have two copies of uplc-mode.el on this branch now, one at the base directory and one under editor-support/. I'll be happy to approve this PR if you remove the copy in the base directory.

— Reply to this email directly, view it on GitHub https://github.com/runtimeverification/plutus-core-semantics/pull/340#issuecomment-1276532085, or unsubscribe https://github.com/notifications/unsubscribe-auth/AFNNCEJAQMSAV5TGZU3A5YLWC32YRANCNFSM6AAAAAAQWW5MZQ . You are receiving this because you authored the thread.Message ID: @.*** com>