Jikka.Core.Language.Lint

Lint module checks the invariants of data types. Mainly, this checks types of Expr.

Documentation

precondition :: MonadError Error m => m a -> m a

postcondition :: MonadError Error m => m a -> m a

ensureEagerlyEvaluatable :: MonadError Error m => Program -> m ()

TODO: implement this

ensureWellTyped :: MonadError Error m => Program -> m ()

ensureAlphaConverted :: MonadError Error m => Program -> m ()

lint :: MonadError Error m => Program -> m ()