libcspm-1.0.0: A library providing a parser, type checker and evaluator for CSPM.

Safe HaskellNone




data ErrorOptions Source

A datatype used to hold which errors and warnings to actually emit.

runTypeChecker :: TypeInferenceState -> TypeCheckMonad a -> IO aSource

Runs the typechecker, starting from state st. If any errors are encountered then a SourceError will be thrown with the relevent error messages.