BNFC3-3.0: A compiler front-end generator.

Safe Haskell	None
Language	Haskell2010

BNFC.Check.Expressions

Description

Check definition bodies.

Simple first-order type-checking for the bodies of defined constructors.

Synopsis

checkFunction :: Position -> Signature -> LabelName -> [Arg] -> Exp -> FunType -> Check Function

Documentation

checkFunction :: Position -> Signature -> LabelName -> [Arg] -> Exp -> FunType -> Check Function Source #

Entry point to check contents of a Function.