https://github.com/mbj/source-constraints

GHC plugins to constrain the haskell source
https://github.com/mbj/source-constraints

Last synced: over 1 year ago
JSON representation

GHC plugins to constrain the haskell source

• Host: GitHub
• URL: https://github.com/mbj/source-constraints
• Owner: mbj
• License: bsd-3-clause
• Created: 2018-10-31T17:51:08.000Z (over 7 years ago)
• Default Branch: main
• Last Pushed: 2021-06-13T00:18:16.000Z (about 5 years ago)
• Last Synced: 2025-04-16T03:16:42.844Z (over 1 year ago)
• Language: Haskell
• Size: 73.2 KB
• Stars: 3
• Watchers: 7
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
![CI](https://github.com/mbj/source-constraints/workflows/CI/badge.svg)

# source-constraints

An in progress GHC plugin to add constraints on the GHC AST.

## Installation

Add the following extra-dep to your `stack.yml`:

```yaml

extra-deps:

- git: ssh://git@github.com/mbj/source-constraints

  commit: $use_current_commit_hash

```

Add the plugin to your `packages.yml`

```yaml

ghc-options:

- -fplugin=SourceConstraints

```