WebBits-0.9.2: JavaScript analysis toolsSource codeContentsIndex
staticEnvironment :: [Statement SourcePos] -> ([Statement Ann], Env, Int)
type Ann = (Env, Int, SourcePos)
type LabelledStatement = Statement Ann
type LabelledExpression = Expression Ann
type Env = Map String Int
staticEnvironment :: [Statement SourcePos] -> ([Statement Ann], Env, Int)Source
Annotates each expression with its static environment. In addition, a map of free identifiers is returned, along with the next valid label.
type Ann = (Env, Int, SourcePos)Source
type LabelledStatement = Statement AnnSource
type LabelledExpression = Expression AnnSource
type Env = Map String IntSource
Produced by Haddock version 2.3.0