| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Dickinson.Check.Scope
Synopsis
- checkScope :: [Declaration a] -> Maybe (DickinsonError a)
- checkScopeExprWith :: MonadError (DickinsonError a) m => IntSet -> Expression a -> m ()
- checkScopeDeclWith :: MonadError (DickinsonError a) m => IntSet -> Declaration a -> m ()
Documentation
checkScope :: [Declaration a] -> Maybe (DickinsonError a) Source #
Checks that there are not any identifiers that aren't in scope; needs to run after the renamer
checkScopeExprWith :: MonadError (DickinsonError a) m => IntSet -> Expression a -> m () Source #
checkScopeDeclWith :: MonadError (DickinsonError a) m => IntSet -> Declaration a -> m () Source #