- data Error = MultipleFunctionDeclaration String [Posn]
- data Warning = UnreachableCode Posn
- data Report
- verify :: Tree TT -> Writer (DList Report) ()
- checkMultipleFuns :: [Statement TT] -> Writer (DList Report) ()
- checkUnreachable :: [Statement TT] -> Writer (DList Report) ()
- ttEq :: Eq t => Tok t -> Tok t -> Bool
- say :: MonadWriter (DList a) m => a -> m ()
- isReturn :: Statement t -> Bool
- findFunctions :: [Statement t] -> [Statement t]
- funName :: Statement t -> t
- funBody :: Statement t -> [Statement t]
- nameOf :: Token -> String
- dropWhile' :: (a -> Bool) -> [a] -> [a]
- dupsBy :: (a -> a -> Bool) -> [a] -> [a]
The main verifier which calls the sub-verifiers.
Given a list of function declarations, checks for multiple function declarations, including the functions' subfunctions.
Returns a list of the functions in the given block.
dropWhile but drops the first element in the result.