| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Constraint.Generate
Description
This module defines the representation of Subtyping and WF Constraints, and the code for syntax-directed constraint generation.
- generateConstraints :: GhcInfo -> CGInfo
Documentation
generateConstraints :: GhcInfo -> CGInfo Source #
Constraint Generation: Toplevel -------------------------------------------