Copyright | (c) Christian Maeder and Uni Bremen 2003 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
choose a minimal type
Documentation
q2p :: (a, b, c, d) -> (c, d)
haveCommonSupertype :: Env -> TypeScheme -> TypeScheme -> Bool
getCommonSupertype :: Env -> TypeScheme -> TypeScheme -> Maybe TypeTriple