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.
meet
strengthen
RefType
Tidy
meetVarTypes :: TCEmb TyCon -> Doc -> (SrcSpan, SpecType) -> (SrcSpan, SpecType) -> SpecType Source #