Dependencies for liquidhaskell-0.9.12.2
Libraries
liquidhaskell
- base (>=4.11.1.0 && <5)
- bytestring
- containers
- ghc-prim
- liquidhaskell-boot (==0.9.12.2)
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| devel | Enable more warnings and fail compilation when warnings occur. Turn this flag on in CI. | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info