Yi.Verifier.JavaScript

Types

data Error

Constructors

MultipleFunctionDeclaration String [Posn]

Instances

Eq Error

Show Error

data Warning

Constructors

UnreachableCode Posn

Instances

Eq Warning

Show Warning

data Report

Constructors

Err Error

Warn Warning

Instances

Eq Report

Show Report

Instances

Main code

verify :: Tree TT -> Writer (DList Report) ()

The main verifier which calls the sub-verifiers.

checkMultipleFuns :: [Statement TT] -> Writer (DList Report) ()

Given a list of function declarations, checks for multiple function declarations, including the functions' subfunctions.

checkUnreachable :: [Statement TT] -> Writer (DList Report) ()

Helper functions

ttEq :: Eq t => Tok t -> Tok t -> Bool

Given two Tok t, compares the ts.

say :: MonadWriter (DList a) m => a -> m ()

isReturn :: Statement t -> Bool

findFunctions :: [Statement t] -> [Statement t]

Returns a list of the functions in the given block.

funName :: Statement t -> t

Given a FunDecl, returns the token representing the name.

funBody :: Statement t -> [Statement t]

Given a FunDecl, returns its inner body as a list.

nameOf :: Token -> String

Given a ValidName returns the string representing the name.

Misc

dropWhile' :: (a -> Bool) -> [a] -> [a]

Like dropWhile but drops the first element in the result.

dupsBy :: (a -> a -> Bool) -> [a] -> [a]