Skip to content

Bracketing for snippet completions#1709

Merged
mergify[bot] merged 16 commits into
haskell:masterfrom
OliverMadine:bracket-snippet-completions
Apr 13, 2021
Merged

Bracketing for snippet completions#1709
mergify[bot] merged 16 commits into
haskell:masterfrom
OliverMadine:bracket-snippet-completions

Conversation

@OliverMadine

Copy link
Copy Markdown
Collaborator

Fix: #1700

This can easily be changed to the first variation suggested in the issue (without typed holes).
I'm not sure how to write a test case for this.

@pepeiborra pepeiborra left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I left a comment in the original issue on why I am skeptical that this is an improvement.

Comment thread ghcide/src/Development/IDE/Plugin/Completions/Logic.hs Outdated

@pepeiborra pepeiborra left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice job!

It looks like a symbolic link was accidentally deleted - please restore it before merging.

Comment thread ghcide/bench/example/HLS

@Ailrun Ailrun left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Awesome, thank you!

Comment thread ghcide/src/Development/IDE/Plugin/Completions/Logic.hs Outdated
@Ailrun Ailrun added the merge me Label to trigger pull request merge label Apr 13, 2021

@konn konn left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍
Sorry for late reaction, and thank you for the implementation!

@mergify
mergify Bot merged commit f933011 into haskell:master Apr 13, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge me Label to trigger pull request merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Enhancement: parenthesise compound completion snippets

5 participants