Skip to content

Files

Latest commit

 

History

History

source-constraints

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 

CI

source-constraints

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

Installation

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

extra-deps:
- git: ssh://git@github.com/mbj/source-constraints
  commit: $use_current_commit_hash

Add the plugin to your packages.yml

ghc-options:
- -fplugin=SourceConstraints