Dependencies for liquidhaskell-boot-0.9.2.5.0
library |
|
---|
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