BNFC3-3.0: A compiler front-end generator.
Safe HaskellNone
LanguageHaskell2010

BNFC.Check.Expressions

Description

Check definition bodies.

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

Synopsis

Documentation

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

Entry point to check contents of a Function.