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

HasCASL.TypeCheck

Description

type inference based on

http://www.cs.fiu.edu/~smithg/papers/

Principal Type Schemes for Functional Programs with Overloading and Subtyping, Geoffrey S. Smith, Science of Computer Programming 23(2-3), pp. 197-226, December 1994

Synopsis

typeCheck :: Type -> Term -> State Env (Maybe Term)
resolveTerm :: Type -> Term -> State Env (Maybe Term)

Documentation

typeCheck :: Type -> Term -> State Env (Maybe Term) Source #

type checking a term

resolveTerm :: Type -> Term -> State Env (Maybe Term) Source #

mixfix and type resolution