Skip to content
This repository was archived by the owner on Aug 9, 2024. It is now read-only.

Add support for LiquidHaskell Annotations #69

Closed
wants to merge 2 commits into from

Conversation

ranjitjhala
Copy link
Contributor

Hello!

This PR adds support for LiquidHaskell's annotations, by

  1. defining a special "comment pattern" {-@ ... @-}
  2. highlighting the contents as code, rather than just as a comment.

Would it be possible to merge into the main language-haskell package?

Its possible to spin it off in a separate package, but it makes installation
rather cumbersome, thanks to various limitations in atom's package
dependencies.

Many thanks for your consideration,

  • Ranjit.

@lierdakil lierdakil closed this in 2c56ee6 Apr 8, 2016
@ranjitjhala
Copy link
Contributor Author

Thanks!

On Apr 7, 2016, at 7:01 PM, Nikolay Yakimov notifications@github.com wrote:

Closed #69 via 2c56ee6.


You are receiving this because you authored the thread.
Reply to this email directly or view it on GitHub

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant