Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Language.Haskell.Liquid.Types.Meet
Description
This code has various wrappers around meet
and strengthen
that are here so that we can throw decent error messages if
they fail. The module depends on RefType
and Tidy
.