Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2003
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

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

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