h%m      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              ! ! ! " " " " " " " " " " " " " " " " " " " # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # ##$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%&&&&&&&&&&&&&&&&&&' Safe-Inferred/145789:<=>( fortran-srcbinary (bitstring) fortran-srcoctal fortran-srchex (also with prefix x) fortran-srcA Fortran BOZ literal constant.8The prefix defines the characters allowed in the string:B: [01]O: [0-7]Z:  [0-9 a-f A-F] fortran-src-UNSAFE. Parses a BOZ literal constant string.Looks for prefix or suffix. Strips the quotes from the string (single quotes only).  fortran-src4Pretty print a BOZ constant. Uses prefix style, and z over nonstandard x for hexadecimal.  fortran-src7Resolve a BOZ constant as a natural (positive integer).Is actually polymorphic over the output type, but you probably want to resolve to  or Natural usually.We assume the 9 is well-formed, thus don't bother with digit predicates.    Safe-Inferred$%/145789:<=>,  fortran-srcKIND=4 (float) fortran-srcKIND=8 (double) fortran-src!KIND=16 ("quad", rare? extension) fortran-src>An exponent is an exponent letter (E, D) and a signed integer.! fortran-srcA Fortran real literal. (Does not include the optional kind parameter.)A real literal is formed of a signed rational significand, and an ."See F90 ISO spec pg.27 / R412-416.Note that we support signed real literals, even though the F90 spec indicates non-signed real literals are the "default" (signed are only used in a "spare" rule). Our parsers should parse explicit signs as unary operators. There's no harm in supporting signed literals though, especially since the exponent *is* signed.# fortran-src>A string representing a signed decimal. ^ Approximate regex: !-? ( [0-9]+ . [0-9]* | . [0-9]+ )% fortran-src Prettify a ! in a Haskell-compatible way. !"$#%&'!"$# %&' Safe-Inferred/145789:<=>,= fortran-srcRead a string as either a signed integer, or a BOZ constant (positive).Useful in manual lexing.== Safe-Inferred!/145789:<=>9> fortran-src;Represents map of files and replacements that will be done.? fortran-srcAs we advance through the [E] list, we consider "chunks" as the unit of text written out. A chunk is either: original source text up to a newline character, end of file or E described in 2. a single E= that has non-empty replacement string or is deleted.@ fortran-srcException raised when two C objects overlap (A) or C points at invalid locations (B).C fortran-src5Represents the intent to replace content in the file.The content in C will be used in place of what is in the range described. Note that the replacement text can be shorter or larger than the original span, and it can also be multi-line.E fortran-srcRepresents a character in the original source text along with any replacement operations applied to the character in place.It expects a character (in case it's empty, Nothing should be used), whether it should be removed, its I1 and a string that should be put in place of it.G fortran-src Represents range in source code.I fortran-src#Represents location in source code. Note that, I indicates space between characters, i.e the following example:  SourceLocation 0 1indicates position between first and second characters in a file.K fortran-src8Parses input string into a list of annotated characters.L fortran-srcMarks RChars& in a given range to be removed later.N fortran-src>Sets replacement string to be prepended to the given location.O fortran-srcSets replacement string to be prepended to the begining of the given range.P fortran-src3Applies all deletions and additions and transforms RChars back to a string.Q fortran-srcIf E is marked as deleted, it'll be evaluated to its replacement string, otherwise original character will be returned.R fortran-srcFrom [E ], obtain a (?, [RChars ]) where the ? is the next ? and the [E] are the remaining Es.T fortran-srcSplits [E] into ?s.U fortran-srcTransform a list of ?s into a single string, applying continuation lines when neccessary.W fortran-srcReturn TRUE iff the C$ constitutes a character insertion.Y fortran-srcSets a single C given a list of Es.Z fortran-srcSets a list of Cs given a list of Es.[ fortran-srcheuristic to wrap line after comma or right parenthesis if applicable] fortran-srcMark removal for the input E^ fortran-src4Append the input character to the replacement string_ fortran-srcChecks whether two Cs are not overlapping.` fortran-srcChecks whether: ,the start is before the end of the range and1both start and end locations are within the code.d fortran-srcApplies Cs to a string and return it.1Firstly, it transforms the string into a list of Es.After that, it validates the G of each C.In the end, it splits up Es in ? s, set the Cs and evaluates the ?s.(>?@BACDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcde(IJGHEFCD@BA?>KLMNOPQRSTUVWXYZ[\]^_`abcde Safe-Inferred/145789:<=>;2s fortran-srcObtain a UTF-8 safe % representation of a file's contents.3Invalid UTF-8 is replaced with the space character.t fortran-srcList files in directory, with the directory prepended to each entry.u fortran-src$List files in directory recursively.stustu Safe-Inferred/145789:;<=>;vwxyz{yz{vwx Safe-Inferred/145789:;<=>; Safe-Inferred/145789:;<=>= fortran-src.line-offset and filename as given by a pragma. fortran-src(line, column) number taking into account any specified line pragmas. fortran-srcC fortran-srcRemove overlapping items from a list of replacements and return a pair of lists containing disjoint items and overlapping items, respectively.Important notes:Replacements that come first in the list will be given precedence over later items. fortran-srcApply a list of  Replacements to the orginal source file.Important notes:9Source locations specified in replacements are 0-indexed.Rewriting applies continuation lines when lines are longer than 72 characters.Example replacements:$Delete the first character in a file  Replacement (SourceRange (SourceLocation 0 0) (SourceLocation 0 1)) "")Prepend "a" to 1 line, 2 column character  Replacement (SourceRange (SourceLocation 0 1) (SourceLocation 0 1)) "a"8Replace a character located in 2 line, 4 column with "a"  Replacement (SourceRange (SourceLocation 1 3) (SourceLocation 1 4)) "a"Replace string starting in 2 line, 4 column and ending in 2 line, 6 column (inclusive) with "a"  Replacement (SourceRange (SourceLocation 1 3) (SourceLocation 1 6)) "a"  fortran-srcUtility function to convert  to  SourceRange fortran-src Given two Span s, returns a  SourceRange that starts at the starting location of the first span, and ends at the starting location of the second span fortran-src Given two Span s, returns a  SourceRange that starts at the ending location of the first span, and ends at the starting location of the second span>@ABCDGHIJIJGHCD@AB>  Safe-Inferred/145789:<=>FS fortran-srcA location-tagged list of t as (t decorated with an a annotation).$The AST is polymorphic on some type a, which is used for arbitrary annotations. Since many AST nodes use lists (e.g. executable statements, declarations), we define a dedicated annotated list type to reuse.(Note that the list itself also holds an a annotation. fortran-srcConvert a non-empty list to an . fortran-srcConvert a list to an *, returning Nothing iff the list is empty.  5  Safe-Inferred/145789:<=>H( fortran-srcThe Fortran specification version used (or relevant to its context).The constructor ordering is important, since it's used for the Ord instance (which is used extensively for pretty printing). fortran-src Deduce the  from a  using extension.1Defaults to Fortran 90 if suffix is unrecognized.    Safe-Inferred/145789:<=>H88 None/145789:<=>INone/145789:<=>LNone/145789:<=>M3 Safe-Inferred/145789:<=>O fortran-srcObtain set of intrinsics that are most closely aligned with given version. Safe-Inferred/145789:;<=>d fortran-srcDimension declarator stored in  dimension attributes and s. fortran-src0Declarators. R505 entity-decl from F90 ISO spec.Declaration statements can have multiple variables on the right of the double colon, separated by commas. A  identifies a single one of these. In F90, they look like this::VAR_NAME ( OPT_ARRAY_DIMS ) * CHAR_LENGTH_EXPR = INIT_EXPRF77 doesn't standardize so nicely -- in particular, I'm not confident in initializing expression syntax. So no example.Only CHARACTERs may specify a length. However, a nonstandard syntax feature uses non-CHARACTER lengths as a kind parameter. We parse regardless of type and warn during analysis. fortran-src/The string representation of an integer literal fortran-src+The string representation of a real literal fortran-src/The real and imaginary parts of a complex value fortran-srcA string literal fortran-srcA BOZ literal constant fortran-srcA Hollerith literal fortran-srcThe name of a variable fortran-srcThe name of a built-in function fortran-srcA boolean value fortran-src$User-defined operators in interfaces fortran-src#Overloaded assignment in interfaces fortran-srcUse a value as an expression. fortran-src-A binary operator applied to two expressions. fortran-src+A unary operator applied to one expression. fortran-srcArray indexing fortran-src%) notation for variables inside data types fortran-src5A function expression applied to a list of arguments. fortran-src$Implied do (i.e. one-liner do loops) fortran-srcArray initialisation fortran-src#Function return value specification fortran-srcNote that the s in common group definitions do not contain initializing expressions. fortran-src5A COMMON statement, defining a list of common blocks. fortran-srcNothing indicates an yet-to-be processed include. (The F77 parser parses Nothing, then fills out each include statement in a post-parse step.) fortran-src The first + in the abbreviation tuple is always an ExpValue _ _ (ValVariable id). Also guaranteed nonempty. fortran-src/The "kind selector" of a declaration statement.HP's F90 spec (pg.24) actually differentiates between "kind selectors" and "char selectors", where char selectors can specify a length (alongside kind), and the default meaning of an unlabelled kind parameter (the 8 in INTEGER(8)) is length instead of kind. We handle this correctly in the parsers, but place both into this  type.The upshot is, length is invalid for non-CHARACTER types, and the parser guarantees that it will be Nothing. For CHARACTER types, both maybe or may not be present. fortran-srcThe type specification of a declaration statement, containing the syntactic type name and kind selector.See HP's F90 spec pg.24. fortran-srcType name referenced in syntax.In many Fortran specs and compilers, certain types are actually "synonyms" for other types with specified kinds. The primary example is DOUBLE PRECISION being equivalent to REAL(8). Type kinds were introduced in Fortran 90, and it should be safe to replace all instances of DOUBLE PRECISION with REAL(8) in Fortran 90 code. However, type kinds weren't present in (standard) Fortran 77, so this equivalence was detached from the user.In any case, it's unclear how strong the equivalence is and whether it can be retroactively applied to previous standards. We choose to parse types directly, and handle those transformations during type analysis, where we assign most scalars a kind (see '(). fortran-srcThe empty annotation. fortran-srcSet a  Declarator'6s initializing expression only if it has none already.  fortran-srcVariable fortran-src%Declarator type (dimensions if array) fortran-srcLength (character) fortran-src Initial value fortran-src Lower index fortran-src Upper index fortran-srcStride fortran-srcLabel fortran-src Statement fortran-srcLabel fortran-srcConstruct name fortran-srcHeader information fortran-srcBody fortran-srcLabel to END DO fortran-srcLabel fortran-srcConstruct name fortran-src Conditions fortran-srcBodies fortran-srcLabel to END IF fortran-srcLabel fortran-srcConstruct name fortran-src Scrutinee fortran-src Case ranges fortran-srcBodies fortran-srcLabel to END SELECT fortran-srcLabel fortran-srcConstruct name fortran-src Target label fortran-srcDo Specification fortran-srcBody fortran-srcLabel to END DO fortran-srcLabel fortran-srcConstruct name fortran-src Target label fortran-src Condition fortran-srcBody fortran-srcLabel to END DO fortran-srclabel fortran-src abstract? fortran-srcRoutine decls. in the interface fortran-srcModule procedures fortran-srclength (if present) fortran-srckind (if present) Safe-Inferred!/145789:<=>n  fortran-srcn  9 9 None/145789:<=>o  9 9 None/145789:<=>o}  9 9 None/145789:<=>p}  fortran-srcUNSAFE. Must be called with expected token types (see usage sites). Will cause a runtime exception if it doesn't form a valid REAL literal.  None/145789:<=>p  9 9 None/145789:<=>q+  9 9  Safe-Inferred/145789:<=>rE  fortran-src A subset of 8 which can only contain values that can be assigned to.  fortran-src=If the expression can be seen as an lvalue, convert it to an  .   Safe-Inferred!/145789:<=>y  fortran-srcspecified with a *  fortran-srcspecified with a : (Fortran2003) FIXME, possibly, with a more robust const-exp:  fortran-src'specified with a non-trivial expression  fortran-src!specified with a constant integer  fortran-srcThe declared dimensions of a staticically typed array variable type is of the form [(dim1_lower, dim1_upper), (dim2_lower, dim2_upper)]  fortran-src$Semantic type assigned to variables.( stores the "type tag" given in syntax.  s add metadata (kind and length), and resolve some "simple" types to a core type with a preset kind (e.g. `DOUBLE PRECISION` -> `REAL(8)`).;Fortran 90 (and beyond) features may not be well supported.  fortran-src"Nothing denotes dynamic dimensions  fortran-srcAttempt to recover the  that generated the given  .  fortran-srcRecover the most appropriate  for the given  , depending on the given .Kinds weren't formalized as a syntactic feature until Fortran 90, so we ask for a context. If possible (>=F90), we prefer the more explicit representation e.g. REAL(8)<. For older versions, for specific type-kind combinations, DOUBLE PRECISION and DOUBLE COMPLEX are used instead. However, we otherwise don't shy away from adding kind info regardless of theoretical version support.Array types don't work properly, due to array type info being in a parent node that holds individual elements.  fortran-srcGiven a ? infer the "default" kind (or size of the variable in memory).Useful when you need a default kind, but gives you an unwrapped type. Consider using Analysis.deriveSemTypeFromBaseType also.Further documentation: https://docs.oracle.com/cd/E19957-01/805-4939/c400041360f5/index.html  None/145789:<=>z(  fortran-srcoriginal annotation  fortran-srcunique name for function/variable, after variable renaming phase  fortran-src8original name for function/variable found in source text  fortran-srcbasic block graph  fortran-src5unique number for each block during dataflow analysis  fortran-src:Information about potential / actual constant expressions.  fortran-srcinterpreted integer  fortran-srcuninterpreted integer  fortran-srcuninterpreted real  fortran-src'binary operation on potential constants  fortran-src&unary operation on potential constants  fortran-src+The type of "transformBiM"-family functions  fortran-src*The type of "transformBi"-family functions  fortran-srcBasic block graph.  fortran-srcthe underlying graph  fortran-srcthe entry node(s)  fortran-srcthe exit node(s)  fortran-src Basic block  fortran-srcEmpty basic block graph  fortran-src%Call function on the underlying graph  fortran-src1Monadically call function on the underlying graph  fortran-src;True iff the expression can be used with varName or srcName  fortran-srcObtain either uniqueName or source name from an ExpValue variable.  fortran-src1Obtain the source name from an ExpValue variable.  fortran-srcObtain either uniqueName or source name from an LvSimpleVar variable.  fortran-src4Obtain the source name from an LvSimpleVar variable.  fortran-srcGenerate an ExpValue variable with its source name == to its uniqueName.  fortran-src?Obtain either ProgramUnit uniqueName or whatever is in the AST.  fortran-src?Obtain either ProgramUnit sourceName or whatever is in the AST.  fortran-srcCreate analysis annotations for the program, saving the original annotations.  fortran-srcRemove analysis annotations from the program, restoring the original annotations.  fortran-srcReturn list of expressions used as the left-hand-side of assignment statements (including for-loops and function-calls by reference).  fortran-srcReturn list of expressions that are not "left-hand-side" of assignment statements.  fortran-src,Is this an expression capable of assignment?  fortran-src"Set of names found in an AST node.  fortran-srcInitiate (lazy) computation of all LHS variables for each node of the AST so that it may be accessed later.  fortran-srcSet of names found in the parts of an AST that are the target of an assignment statement. allLhsVars :: (Annotated b, Data a, Data (b (Analysis a))) => b (Analysis a) -> [Name]  fortran-src:Set of expressions used -- not defined -- by an AST-block.  fortran-src4Set of names used -- not defined -- by an AST-block.  fortran-src%Set of names defined by an AST-block. None/145789:<=>  fortran-src(Information about a detected type error.  fortran-src%Mapping of names to type information.  fortran-srcAnnotate AST nodes with type information and also return a type environment mapping names to type information.  fortran-srcAnnotate AST nodes with type information and also return a type environment mapping names to type information; provided with a starting type environment.  fortran-srcAnnotate AST nodes with type information, return a type environment mapping names to type information and return any type errors found; provided with a starting type environment.  fortran-srcAttempt to derive the  = of a variable from the relevant parts of its surrounding .+This is an example of a simple declaration:INTEGER(8) :: var_nameA declaration holds a 0 (left of the double colon; LHS) and a list of s (right of the double colon; RHS). However, CHARACTER variable are allowed to specify their length via special syntax on the RHS:CHARACTER :: string*10so to handle that, this function takes that length as a Maybe Expression (as provided in ).If a length was defined on both sides, the declaration length (RHS) is used. This matches gfortran's behaviour, though even with -Wall they don't warn on this rather confusing syntax usage. We report a (soft) type error.  fortran-srcAttempt to derive a   from a .  fortran-srcDerive   directly from , using relevant default kinds. None/145789:<=>  fortran-srcAnnotate unique names for variable and function declarations and uses.  fortran-srcAnnotate unique names for variable and function declarations and uses. With external module map.  fortran-srcTake the unique name annotations and substitute them into the actual AST.  fortran-src,Take a renamed program and undo the renames.  None/145789:<=>  None/145789:<=>=  None/145789:<=>  !None/145789:<=>  "None/145789:<=>  fortran-src1A mapping of program unit names to bblock graphs.  fortran-src;Insert basic block graphs into each program unit's analysis  fortran-srcCreate a mapping of (non-module) program unit names to their associated bblock graph.  fortran-src2Show a basic block graph in a somewhat decent way.  fortran-src,Show a basic block graph without the clutter  fortran-srcShow a basic block supergraph  fortran-srcPick out and show the basic block graphs in the program file analysis.  fortran-src)Output a graph in the GraphViz DOT format  fortran-src.Output a supergraph in the GraphViz DOT format  fortran-srcSome helper functions to output some pseudo-code for readability.  #None/145789:<=>A2  fortran-srcCallMap : program unit name -> { name of function or subroutine }  fortran-src7InductionVarMapByASTBlock : AST-block label -> { name }  fortran-srcMap of loop header nodes to the induction variables within that loop.  fortran-src,LoopNodeMap : bblock node -> { bblock node }  fortran-src(BackEdgeMap : bblock node -> bblock node  fortran-srcThe map of all expressions and whether they are undecided (not present in map), a constant value (Just Constant), or probably not constant (Nothing).  fortran-srcThe map of all parameter variables and their corresponding values  fortran-src#Represent "flows" between variables  fortran-srcFlowsGraph : nodes as AST-block (numbered by label), edges showing which definitions contribute to which uses.  fortran-srcUDMap : use -> { definition }  fortran-srcDUMap : definition -> { use }  fortran-src-DefMap : variable name -> { AST-block label }  fortran-srcBlockMap : AST-block label -> AST-block Each AST-block has been given a unique number label during analysis of basic blocks. The purpose of this map is to provide the ability to lookup AST-blocks by label.  fortran-src?OutF, a function that returns the out-dataflow for a given node  fortran-src=InF, a function that returns the in-dataflow for a given node  fortran-src=InOutMap : node -> (dataflow into node, dataflow out of node)  fortran-src>InOut : (dataflow into the bblock, dataflow out of the bblock)  fortran-srcAn OrderF is a function from graph to a specific ordering of nodes.  fortran-src-IDomMap : node -> immediate dominator of node  fortran-src#DomMap : node -> dominators of node  fortran-srcCompute dominators of each bblock in the graph. Node A dominates node B when all paths from the start node of that program unit must pass through node A in order to reach node B. That will be represented as the relation (B, [A, ...]) in the DomMap.  fortran-srcCompute the immediate dominator of each bblock in the graph. The immediate dominator is, in a sense, the closest dominator of a node. Given nodes A and B, you can say that node A is immediately dominated by node B if there does not exist any node C such that: node A dominates node C and node C dominates node B.  fortran-srcThe postordering of a graph outputs the label after traversal of children.  fortran-srcReversed postordering.  fortran-srcThe preordering of a graph outputs the label before traversal of children.  fortran-srcReversed preordering.  fortran-srcApply the iterative dataflow analysis method. Forces evaluation of intermediate data structures at each step.  fortran-srcBuild a BlockMap from the AST. This can only be performed after analyseBasicBlocks has operated, created basic blocks, and labeled all of the AST-blocks with unique numbers.  fortran-srcBuild a DefMap from the BlockMap. This allows us to quickly look up the AST-block labels that wrote into the given variable.  fortran-srcDataflow analysis for live variables given basic block graph. Muchnick, p. 445: A variable is "live" at a particular program point if there is a path to the exit along which its value may be used before it is redefined. It is "dead" if there is no such path.  fortran-srcReaching definitions dataflow analysis. Reaching definitions are the set of variable-defining AST-block labels that may reach a program point. Suppose AST-block with label A defines a variable named v. Label A may reach another program point labeled P if there is at least one program path from label A to label P that does not redefine variable v.  fortran-srcdef-use map: map AST-block labels of defining AST-blocks to the AST-blocks that may use the definition.  fortran-srcInvert the DUMap into a UDMap  fortran-srcuse-def map: map AST-block labels of variable-using AST-blocks to the AST-blocks that define those variables.  fortran-src6"Flows-To" analysis. Represent def-use map as a graph.  fortran-srcCreate a map (A -> Bs) where A "flows" or contributes towards the variables Bs.  fortran-src3Evaluate possible constant expressions within tree.  fortran-srcGenerate a constant-expression map with information about the expressions (identified by insLabel numbering) in the ProgramFile pf (must have analysis initiated & basic blocks generated) .  fortran-srcGet constant-expression information and put it into the AST analysis annotation. Must occur after analyseBBlocks.  fortran-srcAnnotate AST with constant-expression information based on given ParameterVarMap.  fortran-srcFind the edges that 'loop back' in the graph; ones where the target node dominates the source node. If the backedges are viewed as (m -> n) then n is considered the 'loop-header'  fortran-srcFor each loop in the program, find out which bblock nodes are part of the loop by looking through the backedges (m, n) where n is considered the 'loop-header', delete n from the map, and then do a reverse-depth-first traversal starting from m to find all the nodes of interest. Intersect this with the strongly-connected component containing m, in case of improper& graphs with weird control transfers.  fortran-srcSimilar to loopNodes except it creates a map from loop-header to the set of loop nodes, for each loop-header.  fortran-src9The strongly connected component containing a given node.  fortran-srcFor each loop in the program, figure out the names of the induction variables: the variables that are used to represent the current iteration of the loop.  fortran-srcGenerate an induction variable map that is indexed by the labels on AST-blocks within those loops.  fortran-srcFor every expression in a loop, try to derive its relationship to a basic induction variable.  fortran-src.Show some information about dataflow analyses.  fortran-srcOutputs a DOT-formatted graph showing flow-to data starting at the given AST-Block node in the given Basic Block graph.  fortran-src7Create a call map showing the structure of the program.  fortran-srcbasic block graph fortran-src'initialisation for in and out dataflows fortran-srcordering function fortran-src.compute the in-flow given an out-flow function fortran-src.compute the out-flow given an in-flow function fortran-srcfinal dataflow for each node  fortran-srcresult of reaching definitions $None/145789:<=>1 fortran-src,Status of mod-file compared to Fortran file. fortran-srcA set of decoded mod files. fortran-src"The data stored in the "mod files" fortran-src8A map of variables => their constant expression if known fortran-srcA map of aliases => strings, in order to save space and share structure for repeated strings. fortran-srcMap of unique variable name to the unique name of the program unit where it was defined, and the corresponding SrcSpan. fortran-srcContext of a declaration: the ProgramUnit where it was declared. fortran-src(uniqName, srcName) fortran-src(uniqName, srcName) fortran-src1Standard ending of fortran-src-format "mod files" fortran-srcEmpty set of mod files. (future proof: may not always be a list) fortran-srcStarting point. fortran-srcExtracts the module map, declaration map and type analysis from an analysed and renamed ProgramFile, then inserts it into the ModFile. fortran-srcGenerate a fresh ModFile from the module map, declaration map and type analysis of a given analysed and renamed ProgramFile. fortran-srcLooks up the raw "other data" that may be stored in a ModFile by applications that make use of fortran-src. fortran-srcGet a list of the labels present in the "other data" of a ModFile. More of a meta-programming / debugging feature. fortran-srcAllows modification insertiondeletion of "other data" that may be stored in a ModFile by applications that make use of fortran-src. See )*< for more information about the interface of this function. fortran-src environment) by collecting all of the stored module maps within the PUModule annotation. fortran-srcExtract map of declared variables with their associated program unit and source span. fortran-srcExtract a string map from the given data, leaving behind aliased values in place of strings in the returned version. fortran-src7Extract a map of variables assigned to constant values. fortran-srcCompare the source file timestamp to the fsmod file timestamp, if it exists.((%None/145789:<=>! fortran-srcOur common Fortran parser type takes a filename and input, and returns either a normalized error (tokens are printed) or an untransformed . fortran-srcThe default post-parse AST transformation for each Fortran version./Formed by composing transformations end-to-end.Note that some transformations are noncommutative e.g. labeled DO grouping must be done before block DO grouping. fortran-srcInitialize free-form parser state with the lexer configured for standalone expression parsing.The free-form lexer needs a non-default start code for lexing standaloe expressions. fortran-src4Convenience wrapper to easily use a parser unsafely.This throws a catchable runtime IO exception, which is used in the tests.!!&None/145789:<=>  + Safe-Inferred/145789:<=>X,-./00123456789:;<=>?@ABCDEFGHHIJKKLMNOPQRSTUVWXYZ[\]^_`abcdefghijkllmmnnoopqrstuvwxyz{|}~                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (                             ''                                                                                                                                    ! ! ! " " " " " " " " " " " " " " " " " " " # # # # # # # # # # # # # # # # # # # # # ## # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % & & & & & & & & & & & & & & & & & &              + + + + + + + + fortran-src-0.9.0-inplaceLanguage.Fortran.AST.BozLanguage.Fortran.AST.RealLit"Language.Fortran.Parser.LexerUtils"Language.Fortran.Rewriter.InternalLanguage.Fortran.Util.Files$Language.Fortran.Util.FirstParameter%Language.Fortran.Util.SecondParameterLanguage.Fortran.Util.PositionLanguage.Fortran.RewriterLanguage.Fortran.AST.AListLanguage.Fortran.VersionLanguage.Fortran.Parser.Monad"Language.Fortran.Parser.Free.Lexer"Language.Fortran.Parser.Free.Utils#Language.Fortran.Parser.Fixed.LexerLanguage.Fortran.IntrinsicsLanguage.Fortran.ASTLanguage.Fortran.PrettyPrint&Language.Fortran.Parser.Free.Fortran95&Language.Fortran.Parser.Free.Fortran90(Language.Fortran.Parser.Free.Fortran2003#Language.Fortran.Parser.Fixed.Utils'Language.Fortran.Parser.Fixed.Fortran77'Language.Fortran.Parser.Fixed.Fortran66Language.Fortran.LValue'Language.Fortran.Analysis.SemanticTypesLanguage.Fortran.AnalysisLanguage.Fortran.Analysis.Types"Language.Fortran.Analysis.Renaming%Language.Fortran.Transformation.Monad(Language.Fortran.Transformation.Grouping8Language.Fortran.Transformation.Disambiguation.Intrinsic7Language.Fortran.Transformation.Disambiguation.Function!Language.Fortran.Analysis.BBlocks"Language.Fortran.Analysis.DataFlowLanguage.Fortran.Util.ModFileLanguage.Fortran.Parser"Language.Fortran.Analysis.ModGraphAnalysisSemTypeData.Map.StrictalterPaths_fortran_src BozPrefix BozPrefixB BozPrefixO BozPrefixZBoz bozPrefix bozStringparseBoz prettyBoz bozAsNatural$fEqBoz $fShowBoz $fGenericBoz $fDataBoz$fOrdBoz $fNFDataBoz$fOutBoz $fEqBozPrefix$fShowBozPrefix$fGenericBozPrefix$fDataBozPrefix$fOrdBozPrefix$fNFDataBozPrefix$fOutBozPrefixExponentLetter ExpLetterE ExpLetterD ExpLetterQExponentexponentLetter exponentNumRealLitrealLitSignificandrealLitExponentprettyHsRealLit readRealLit parseRealLit $fEqRealLit $fShowRealLit $fDataRealLit$fGenericRealLit$fNFDataRealLit $fOutRealLit $fOrdRealLit $fEqExponent$fShowExponent$fDataExponent$fGenericExponent$fNFDataExponent $fOutExponent $fOrdExponent$fEqExponentLetter$fShowExponentLetter$fDataExponentLetter$fGenericExponentLetter$fNFDataExponentLetter$fOutExponentLetter$fOrdExponentLetter readIntOrBozReplacementMapChunkReplacementErrorOverlappingErrorInvalidRangeError ReplacementRChar SourceRangeSourceLocation toRCharList markRChars markRChars_setReplacementStringSLsetReplacementStringSRevaluateRChars evaluateRChar nextChunk nextChunk_ allChunksevaluateChunksevaluateChunks_ isInsertion insertionSRsetReplacementsetReplacementsadjustLineWrapadjustLineWrapAuxdeleteRCappendRC areDisjoint isValidRangeisValidLocation checkRangescheckOverlappingapplyReplacementsapplyReplacements_$fOrdSourceLocation$fShowSourceRange$fOrdReplacement$fExceptionReplacementError$fShowReplacementError$fEqReplacementError$fShowReplacement$fEqReplacement $fShowRChar $fEqRChar$fEqSourceRange$fShowSourceLocation$fEqSourceLocation flexReadFilegetDirContentsrGetDirContentsGFirstParametergetFirstParameter'setFirstParameter'FirstParametergetFirstParametersetFirstParameter$fGFirstParameterkU1[]$fGFirstParameterk:*:e$fGFirstParameterk:+:e$fGFirstParameterkM1e$fGFirstParameterkK1e$fGFirstParameterkK1e0SecondParametergetSecondParametersetSecondParameter$fGSecondParameterk:+:e$fGSecondParameterkM1e$fGSecondParameterkK1e$fGSecondParameter'kK1e$fGSecondParameter'kK1e0$fGSecondParameter'k:*:e$fGSecondParameter'kM1e$fParameterLeafk:*:$fParameterLeafkM1$fGSecondParameterk:*:e SpannedPair getTransSpanSpannedgetSpansetSpanSrcSpanPositionposAbsoluteOffset posColumnposLinefilePathposPragmaOffsetLocgetPos initPositionlineColapparentLineColapparentFilePathcolumnDistance lineDistance spannedLines initSrcSpan$fShowPosition$fNFDataPosition$fBinaryPosition $fOutSrcSpan $fShowSrcSpan$fNFDataSrcSpan$fBinarySrcSpan$fSpannedEither$fSpannedSrcSpan$fSpannedPaira[]$fSpannedPaira[]0$fSpannedPairab $fSpanned(,,)$fSpanned(,,)0$fSpanned(,,)1$fSpanned(,,)2 $fSpanned(,) $fSpanned(,)0 $fSpanned(,)1 $fSpanned[] $fEqSrcSpan $fOrdSrcSpan $fDataSrcSpan$fGenericSrcSpan $fEqPosition $fOrdPosition$fDataPosition$fGenericPositionpartitionOverlappingprocessReplacementsspanToSourceRangespanToSourceRange2sourceRangeBetweenTwoSpansATupleAListfromList fromList'fromReverseListfromReverseList'aConsaReverseaStripaStrip'aMap $fNFDataAList $fOutAList$fSpannedAList$fSecondParameterAListSrcSpan$fFirstParameterALista$fFunctorAList$fNFDataATuple $fOutATuple$fSpannedATuple$fSecondParameterATupleSrcSpan$fFirstParameterATuplea $fEqATuple $fShowATuple $fDataATuple$fGenericATuple$fFunctorATuple $fEqAList $fShowAList $fDataAList$fGenericAListFortranVersion Fortran66 Fortran77Fortran77ExtendedFortran77Legacy Fortran90 Fortran95 Fortran2003 Fortran2008fortranVersionAliasesselectFortranVersiondeduceFortranVersion$fNFDataFortranVersion$fOutFortranVersion$fShowFortranVersion$fOrdFortranVersion$fEqFortranVersion$fDataFortranVersion$fGenericFortranVersionParseunParseTokeofToken LastToken getLastTokenParseErrorSimpleerrorPos errorFilenameerrorMsg ParseResultParseOk ParseFailed ParseErrorerrPos errLastToken errFilenameerrMsg ParseState psAlexInputpsParanthesesCount psVersion psFilename psContextContextConStartConData ConImplicit ConNamelist ConCommonParanthesesCountpcActual pcHasReached0tokenMsgrunParserunParseUnsafe throwIOError evalParse execParse getVersionputAlexgetAlex topContext popContext pushContext getPosition getSrcSpangetParanthesesCountresetParincPardecPar$fExceptionParseError$fShowParseError$fShowParseErrorSimple$fMonadErrorParseErrorParse$fMonadStateParseStateParse$fApplicativeParse$fFunctorParse$fMonadFailParse $fMonadParse$fExceptionParseErrorSimple$fFunctorParseResult$fShowParseState $fShowContext $fEqContext$fShowParanthesesCount$fEqParanthesesCountTokenTIdTCommentTStringTIntegerLiteral TRealLiteral TBozLiteralTCommaTComma2 TSemiColonTColon TDoubleColon TOpAssignTArrowTPercentTLeftPar TLeftPar2 TRightPar TLeftInitPar TRightInitPar TOpCustomTOpExpTOpPlusTOpMinusTStar TOpDivisionTSlashTOpOrTOpAndTOpNot TOpEquivalentTOpNotEquivalentTOpLTTOpLETOpEQTOpNETOpGTTOpGETLogicalLiteral TUnderscoreTProgram TEndProgram TFunction TEndFunctionTResultTPure TElemental TRecursive TSubroutineTEndSubroutine TBlockData TEndBlockDataTModule TEndModule TContainsTUseTOnlyTImport TAbstract TInterface TEndInterface TProcedureTModuleProcedure TAssignment TOperatorTCallTReturnTEntryTIncludeTBindTCTName TAllocatable TAsynchronous TDimension TExternalTIntent TIntrinsic TNonIntrinsic TOptional TParameterTPointerTPrivateTPublic TProtectedTSaveTTargetTValue TVolatileTInTOutTInOutTData TNamelist TImplicit TEquivalenceTCommonTFormatTBlob TAllocateTStatTErrMsgTSource TDeallocateTNullifyTNoneTGotoTAssignTTo TContinueTStopTPauseTDoTEndDoTWhileTIfTThenTElseTElsifTEndIfTCase TSelectCase TEndSelectTDefaultTCycleTExitTForall TEndForall TAssociate TEndAssociateTWhere TElsewhere TEndWhereTTypeTEndType TSequenceTClassTEnum TEnumeratorTEndEnumTKindTLenTIntegerTRealTDoublePrecisionTLogical TCharacterTComplexTOpenTCloseTReadTWriteTPrint TBackspaceTRewindTInquireTEndfileTEndTNewlineTEOFTFlushTUnitTIOStatTIOMsgTErr LexAction AlexInput aiSourceBytes aiPosition aiEndOffsetaiPreviousCharaiLexeme aiStartCodeaiPreviousTokenaiPreviousTokensInLine StartCodescActualscStatusStartCodeStatusReturnStablevanillaAlexInputlexerlexer'scN$fSpannedLexeme $fTokToken$fSpannedToken$fFirstParameterTokenSrcSpan$fLastTokenAlexInputToken$fLocAlexInput$fSpecifiesType[]$fSpecifiesTypeToken$fShowAlexInput $fEqToken $fShowToken $fDataToken$fGenericToken$fShowStartCode$fShowStartCodeStatus $fShowLexeme unitNameCheck parseErroraiBytesaiWhiteSensitiveCharCountaiCaseSensitive aiInFormataiFortranVersion lexemeMatch TLeftArrayParTRightArrayParTDot TStructureTRecordTUnionTMap TEndStructure TEndUnionTEndMapTEndif TCaseDefaultTDoWhile TTypePrintTStatic TAutomaticTInt TExponentTBool TAmpersandTOpXOr THollerithTLabellexN $fOrdTokenIntrinsicsTable IntrinsicTypeITReal ITInteger ITComplexITDouble ITLogical ITCharacterITParamgetVersionIntrinsicsgetIntrinsicReturnTypegetIntrinsicDefsUsesgetIntrinsicNames isIntrinsic allIntrinsics$fShowIntrinsicsEntry$fEqIntrinsicsEntry$fOrdIntrinsicsEntry$fGenericIntrinsicsEntry$fShowIntrinsicType$fEqIntrinsicType$fOrdIntrinsicType$fGenericIntrinsicTypeNamedgetNamesetNameProgramUnitNameNamelessBlockDataNamelessComment NamelessMainLabeledgetLabel getLastLabelsetLabel Annotated getAnnotation setAnnotationmodifyAnnotationBinaryOpAddition SubtractionMultiplicationDivisionExponentiation ConcatenationGTGTELTLTEEQNEOrXOrAnd Equivalent NotEquivalent BinCustomUnaryOpPlusMinusNotUnCustomDimensionDeclaratorDeclaratorType ScalarDecl ArrayDecl DeclaratorValue ValIntegerValReal ValComplex ValStringValBoz ValHollerith ValVariable ValIntrinsic ValLogical ValOperator ValAssignmentValTypeValStarValColonIndexIxSingleIxRange ExpressionExpValue ExpBinaryExpUnary ExpSubscript ExpDataRefExpFunctionCall ExpImpliedDoExpInitialisation ExpReturnSpecDoSpecification FlushSpecFSUnitFSIOStatFSIOMsgFSErr FormatItem FIFormatList FIHollerith FIDelimiterFIFieldDescriptorDEFGFIFieldDescriptorAILFIBlankDescriptor FIScaleFactorUnionMap StructureItem StructFields StructUnionStructStructure DataGroupNamelist CommonGroup ImpElement ImpCharacterImpRangeImpListAllocOptAOStatAOErrMsgAOSource ControlPairIntentInOutInOut AttributeAttrAllocatableAttrAsynchronous AttrDimension AttrExternal AttrIntent AttrIntrinsic AttrOptional AttrParameter AttrPointer AttrPrivate AttrProtected AttrPublicAttrSave AttrSuffix AttrTarget AttrValue AttrVolatileArgumentExpressionArgExpr ArgExprVarArgumentUse UseRenameUseID ModuleNature ModIntrinsicModNonIntrinsicOnly Exclusive Permissive ForallHeader ProcInterfaceProcInterfaceNameProcInterfaceTypeProcDecl Statement StDeclaration StStructureStIntent StOptionalStPublic StPrivate StProtectedStSave StDimension StAllocatableStAsynchronous StPointerStTargetStValue StVolatileStData StAutomaticStStatic StNamelist StParameter StExternal StIntrinsicStCommon StEquivalenceStFormat StImplicitStEntry StIncludeStDo StDoWhileStEnddoStCycleStExit StIfLogicalStIfArithmetic StSelectCaseStCase StEndcase StFunctionStExpressionAssignStPointerAssign StLabelAssignStGotoUnconditionalStGotoAssignedStGotoComputedStCallStReturn StContinueStStopStPauseStReadStRead2StWriteStPrint StTypePrintStOpenStCloseStFlush StInquireStRewind StRewind2 StBackspace StBackspace2 StEndfile StEndfile2 StAllocate StNullify StDeallocateStWhereStWhereConstruct StElsewhere StEndWhereStUseStModuleProcedure StProcedureStType StEndType StSequenceStForallStForallStatement StEndForallStImportStEnum StEnumerator StEndEnum StFormatBogusBlock BlStatementBlForallBlIfBlCaseBlDo BlDoWhile BlAssociate BlInterface BlCommentCommentSuffixSfxBindPrefix PfxRecursive PfxElementalPfxPure PrefixSuffixSuffixesPrefixes ProgramUnitPUMainPUModule PUSubroutine PUFunction PUBlockData PUComment ProgramFileMetaInfo miVersion miFilenameKindSelectorTypeSpecBaseType TypeIntegerTypeRealTypeDoublePrecision TypeComplexTypeDoubleComplex TypeLogical TypeCharacter TypeCustom ClassStar ClassCustomTypeByteNameA0 pfSetFilename pfGetFilename emptyPrefixes emptySuffixesemptyPrefixSuffixvalidPrefixSuffixprogramUnitBodyupdateProgramUnitBodyprogramUnitSubprogramsargExprNormalizeargExtractExprdeclaratorTypesetInitialisationnonExecutableStatementexecutableStatementexecutableStatementBlocknonExecutableStatementBlock$fNFDataBaseType $fOutBaseType$fBinaryBaseType$fNFDataMetaInfo $fOutMetaInfo$fNFDataPrefix $fOutPrefix$fSpannedPrefix$fSecondParameterPrefixSrcSpan$fFirstParameterPrefixa$fNFDataComment $fOutComment $fNFDataOnly $fOutOnly$fNFDataModuleNature$fOutModuleNature$fNFDataIntent $fOutIntent$fNFDataImpElement$fOutImpElement$fSpannedImpElement"$fSecondParameterImpElementSrcSpan$fFirstParameterImpElementa$fNFDataUnaryOp $fOutUnaryOp$fBinaryUnaryOp$fNFDataBinaryOp $fOutBinaryOp$fBinaryBinaryOp$fNFDataUnionMap$fNFDataStructureItem$fNFDataSuffix$fNFDataNamelist$fNFDataImpList$fNFDataFlushSpec$fNFDataFormatItem$fNFDataDeclaratorType$fNFDataDeclarator$fNFDataDimensionDeclarator$fNFDataDataGroup$fNFDataAllocOpt$fNFDataControlPair$fNFDataCommonGroup$fNFDataAttribute $fNFDataUse$fNFDataArgumentExpression$fNFDataArgument$fNFDataForallHeader$fNFDataSelector$fNFDataDoSpecification$fNFDataProcInterface$fNFDataProcDecl$fNFDataStatement $fNFDataValue $fNFDataIndex$fNFDataTypeSpec$fNFDataExpression $fNFDataBlock$fNFDataProgramUnit$fOutForallHeader $fOutAllocOpt$fOutControlPair$fOutDeclaratorType$fOutDimensionDeclarator$fOutDeclarator $fOutSelector $fOutTypeSpec $fOutValue$fOutFlushSpec$fOutDoSpecification $fOutIndex$fOutExpression$fOutFormatItem $fOutNamelist $fOutUnionMap$fOutStructureItem$fOutDataGroup$fOutCommonGroup $fOutBlock $fOutImpList$fOutAttribute$fOutUse$fOutArgumentExpression $fOutArgument$fOutProcInterface $fOutProcDecl$fOutStatement $fOutSuffix$fOutProgramUnit$fSpannedAllocOpt$fSpannedControlPair$fSpannedDimensionDeclarator$fSpannedDeclarator$fSpannedFlushSpec$fSpannedDoSpecification$fSpannedIndex$fSpannedExpression$fSpannedFormatItem$fSpannedNamelist$fSpannedUnionMap$fSpannedStructureItem$fSpannedDataGroup$fSpannedCommonGroup$fSpannedBlock$fSpannedImpList$fSpannedSelector$fSpannedProcInterface$fSpannedProcDecl$fSpannedTypeSpec$fSpannedAttribute $fSpannedUse$fSpannedArgument$fSpannedStatement$fSpannedSuffix$fSpannedProgramUnit $fSecondParameterAllocOptSrcSpan#$fSecondParameterControlPairSrcSpan+$fSecondParameterDimensionDeclaratorSrcSpan"$fSecondParameterDeclaratorSrcSpan!$fSecondParameterFlushSpecSrcSpan'$fSecondParameterDoSpecificationSrcSpan$fSecondParameterIndexSrcSpan"$fSecondParameterExpressionSrcSpan"$fSecondParameterFormatItemSrcSpan $fSecondParameterNamelistSrcSpan $fSecondParameterUnionMapSrcSpan%$fSecondParameterStructureItemSrcSpan!$fSecondParameterDataGroupSrcSpan#$fSecondParameterCommonGroupSrcSpan$fSecondParameterImpListSrcSpan!$fSecondParameterAttributeSrcSpan $fSecondParameterSelectorSrcSpan%$fSecondParameterProcInterfaceSrcSpan $fSecondParameterProcDeclSrcSpan $fSecondParameterTypeSpecSrcSpan$fSecondParameterUseSrcSpan $fSecondParameterArgumentSrcSpan!$fSecondParameterStatementSrcSpan$fSecondParameterBlockSrcSpan$fSecondParameterSuffixSrcSpan#$fSecondParameterProgramUnitSrcSpan$fFirstParameterAllocOpta$fFirstParameterControlPaira$$fFirstParameterDimensionDeclaratora$fFirstParameterDeclaratora$fFirstParameterFlushSpeca $fFirstParameterDoSpecificationa$fFirstParameterIndexa$fFirstParameterExpressiona$fFirstParameterFormatItema$fFirstParameterNamelista$fFirstParameterUnionMapa$fFirstParameterStructureItema$fFirstParameterDataGroupa$fFirstParameterCommonGroupa$fFirstParameterImpLista$fFirstParameterAttributea$fFirstParameterSelectora$fFirstParameterProcInterfacea$fFirstParameterProcDecla$fFirstParameterTypeSpeca$fFirstParameterUsea$fFirstParameterArgumenta$fFirstParameterStatementa$fFirstParameterBlocka$fFirstParameterSuffixa$fFirstParameterProgramUnita$fNFDataProgramFile$fOutProgramFile$fSpannedProgramFile$fAnnotatedAllocOpt$fAnnotatedControlPair$fAnnotatedDimensionDeclarator$fAnnotatedDeclarator$fAnnotatedFlushSpec$fAnnotatedDoSpecification$fAnnotatedIndex$fAnnotatedExpression$fAnnotatedFormatItem$fAnnotatedNamelist$fAnnotatedUnionMap$fAnnotatedStructureItem$fAnnotatedDataGroup$fAnnotatedCommonGroup$fAnnotatedImpElement$fAnnotatedImpList$fAnnotatedAttribute$fAnnotatedSelector$fAnnotatedProcInterface$fAnnotatedProcDecl$fAnnotatedTypeSpec$fAnnotatedUse$fAnnotatedArgument$fAnnotatedStatement$fAnnotatedBlock$fAnnotatedProgramUnit$fAnnotatedAList$fLabeledBlock$fNFDataProgramUnitName$fBinaryProgramUnitName$fNamedProgramUnit$fOrdProgramUnitName$fEqProgramUnitName$fShowProgramUnitName$fDataProgramUnitName$fGenericProgramUnitName$fEqProgramFile$fShowProgramFile$fDataProgramFile$fGenericProgramFile$fFunctorProgramFile$fEqExpression$fShowExpression$fDataExpression$fGenericExpression$fFunctorExpression $fEqValue $fShowValue $fDataValue$fGenericValue$fFunctorValue $fEqIndex $fShowIndex $fDataIndex$fGenericIndex$fFunctorIndex$fEqDoSpecification$fShowDoSpecification$fDataDoSpecification$fGenericDoSpecification$fFunctorDoSpecification $fEqStatement$fShowStatement$fDataStatement$fGenericStatement$fFunctorStatement$fEqDeclarator$fShowDeclarator$fDataDeclarator$fGenericDeclarator$fFunctorDeclarator$fEqDeclaratorType$fShowDeclaratorType$fDataDeclaratorType$fGenericDeclaratorType$fFunctorDeclaratorType$fEqDimensionDeclarator$fShowDimensionDeclarator$fDataDimensionDeclarator$fGenericDimensionDeclarator$fFunctorDimensionDeclarator $fEqFlushSpec$fShowFlushSpec$fDataFlushSpec$fGenericFlushSpec$fFunctorFlushSpec$fEqFormatItem$fShowFormatItem$fDataFormatItem$fGenericFormatItem$fFunctorFormatItem$fEqStructureItem$fShowStructureItem$fDataStructureItem$fGenericStructureItem$fFunctorStructureItem $fEqUnionMap$fShowUnionMap$fDataUnionMap$fGenericUnionMap$fFunctorUnionMap $fEqAttribute$fShowAttribute$fDataAttribute$fGenericAttribute$fFunctorAttribute $fEqSuffix $fShowSuffix $fDataSuffix$fGenericSuffix$fFunctorSuffix $fEqTypeSpec$fShowTypeSpec$fDataTypeSpec$fGenericTypeSpec$fFunctorTypeSpec $fEqSelector$fShowSelector$fDataSelector$fGenericSelector$fFunctorSelector $fEqDataGroup$fShowDataGroup$fDataDataGroup$fGenericDataGroup$fFunctorDataGroup $fEqNamelist$fShowNamelist$fDataNamelist$fGenericNamelist$fFunctorNamelist$fEqCommonGroup$fShowCommonGroup$fDataCommonGroup$fGenericCommonGroup$fFunctorCommonGroup $fEqImpList $fShowImpList $fDataImpList$fGenericImpList$fFunctorImpList $fEqAllocOpt$fShowAllocOpt$fDataAllocOpt$fGenericAllocOpt$fFunctorAllocOpt$fEqControlPair$fShowControlPair$fDataControlPair$fGenericControlPair$fFunctorControlPair $fEqArgument$fShowArgument$fDataArgument$fGenericArgument$fFunctorArgument$fEqArgumentExpression$fShowArgumentExpression$fDataArgumentExpression$fGenericArgumentExpression$fFunctorArgumentExpression$fEqUse $fShowUse $fDataUse $fGenericUse $fFunctorUse$fEqForallHeader$fShowForallHeader$fDataForallHeader$fGenericForallHeader$fFunctorForallHeader$fEqProcInterface$fShowProcInterface$fDataProcInterface$fGenericProcInterface$fFunctorProcInterface $fEqProcDecl$fShowProcDecl$fDataProcDecl$fGenericProcDecl$fFunctorProcDecl $fEqBlock $fShowBlock $fDataBlock$fGenericBlock$fFunctorBlock$fEqProgramUnit$fShowProgramUnit$fDataProgramUnit$fGenericProgramUnit$fFunctorProgramUnit $fEqBinaryOp $fOrdBinaryOp$fShowBinaryOp$fDataBinaryOp$fGenericBinaryOp $fEqUnaryOp $fOrdUnaryOp $fShowUnaryOp $fDataUnaryOp$fGenericUnaryOp$fEqImpElement$fShowImpElement$fDataImpElement$fGenericImpElement$fFunctorImpElement $fEqIntent $fShowIntent $fDataIntent$fGenericIntent$fEqModuleNature$fShowModuleNature$fDataModuleNature$fGenericModuleNature$fEqOnly $fShowOnly $fDataOnly $fGenericOnly $fEqComment $fShowComment $fDataComment$fGenericComment$fFunctorComment $fEqPrefix $fShowPrefix $fDataPrefix$fGenericPrefix$fFunctorPrefix $fEqMetaInfo$fShowMetaInfo$fDataMetaInfo$fGenericMetaInfo $fOrdBaseType $fEqBaseType$fShowBaseType$fDataBaseType$fGenericBaseType ReformatStateRefmtStNewlineRefmtStComment RefmtStStmtPrettypprint'IndentablePrettypprint IndentationtooOld olderThannewlineincIndentationindentoverlay fixedFormpprintAndRenderendGenkpPrettycommaSep$reformatMixedFormInsertContinuations$fFirstParameterValue[]$fIndentablePrettyUnionMap$fIndentablePretty[]$fIndentablePretty[]0$fIndentablePrettyProgramFile$fIndentablePrettyMaybe$fPrettyBinaryOp$fPrettyUnaryOp$fPrettyDimensionDeclarator$fPrettyDeclarator$fIndentablePrettyStructureItem $fPrettyValue $fPrettyIndex$fPrettyExpression$fPrettyImpElement$fPrettyDataGroup$fPrettyNamelist$fPrettyCommonGroup$fPrettyImpList$fPrettyAllocOpt$fPrettyControlPair$fPrettyDoSpecification$fPrettyFlushSpec$fPrettyFormatItem$fPrettyIntent$fPrettySuffix$fPrettyAttribute$fPrettyArgumentExpression$fPrettyArgument $fPrettyUse $fPrettyOnly$fPrettyProcDecl$fPrettyProcInterface$fPrettyStatement$fPrettySelector$fPrettyTypeSpec$fPrettyBaseType$fPrettyATuple $fPrettyAList $fPretty[] $fPrettyMaybe$fIndentablePrettyBlock$fIndentablePrettyProgramUnit$fIndentablePrettya$fEqReformatState$fOrdReformatState$fShowReformatState programParserfunctionParser blockParserstatementParserexpressionParser makeRealLitconvCmtsincludesParserLValue LvSimpleVar LvSubscript LvDataReftoLValue$fSpannedLValue$fAnnotatedLValue$fSecondParameterLValueSrcSpan$fFirstParameterLValuea $fEqLValue $fShowLValue $fDataLValue$fGenericLValue$fFunctorLValue CharacterLen CharLenStar CharLenColon CharLenExp CharLenInt DimensionsTByteTArrayTCustomcharLenSelectorcharLenSelector'charLenToValue getTypeKind setTypeKind charLenConcatrecoverSemTypeTypeSpeckindOfBaseType getTypeSize setTypeSize$fNFDataCharacterLen$fOutCharacterLen$fBinaryCharacterLen$fPrettySemType $fOutSemType$fBinarySemType $fEqSemType $fOrdSemType $fShowSemType $fDataSemType$fGenericSemType$fOrdCharacterLen$fEqCharacterLen$fShowCharacterLen$fDataCharacterLen$fGenericCharacterLenprevAnnotation uniqueName sourceNamebBlocksinsLabel moduleEnvidType allLhsVarsAnnconstExpConstantConstIntConstUninterpIntConstUninterpReal ConstBinary ConstUnaryIDTypeidVTypeidCType ConstructType CTFunction CTSubroutine CTExternal CTVariableCTArray CTParameter CTIntrinsicModEnvNameType NTSubprogram NTVariable NTIntrinsic TransFuncM TransFuncBBNodeBBGrbbgrGr bbgrEntries bbgrExitsBB bbgrEmptybbgrMapbbgrMapMisNamedExpressionvarNamesrcName lvVarName lvSrcNamegenVarpuName puSrcName initAnalysis stripAnalysislhsExprsrhsExprsisLExprallVarsanalyseAllLhsVarsanalyseAllLhsVars1 allLhsVars blockRhsExprs blockVarUses blockVarDefs$fDataGr $fOutNameType$fBinaryNameType$fBinaryConstructType$fOutConstructType$fBinaryIDType $fOutIDType$fBinaryConstant $fOutConstant $fOutAnalysis$fFunctorAnalysis$fDataAnalysis$fShowAnalysis $fEqAnalysis$fGenericAnalysis$fShowConstant $fOrdConstant $fEqConstant$fGenericConstant$fDataConstant $fOrdIDType $fEqIDType $fShowIDType $fDataIDType$fGenericIDType$fOrdConstructType$fEqConstructType$fShowConstructType$fDataConstructType$fGenericConstructType$fShowNameType $fEqNameType $fOrdNameType$fDataNameType$fGenericNameType $fDataBBGr $fShowBBGr$fEqBBGr $fGenericBBGr TypeErrorTypeEnv analyseTypesanalyseTypesWithEnvanalyseAndCheckTypesWithEnvextractTypeEnv inferState0runInferderiveSemTypeFromDeclarationderiveSemTypeFromTypeSpecderiveSemTypeFromBaseType$fEqInferConfig$fShowInferConfig$fShowInferState ModuleMapanalyseRenamesanalyseRenamesWithModuleMaprenameunrename$fShowRenameState$fEqRenameState Transform runTransformgetProgramFileputProgramFilemodifyProgramFile groupForallgroupDogroupLabeledDodisambiguateIntrinsicdisambiguateFunction$fIndexedExpression$fIndexedArgument SuperBBGrsuperBBGrGraphsuperBBGrClusterssuperBBGrEntries ASTExprNode ASTBlockNode BBlockMapanalyseBBlocks genBBlockMap genSuperBBGrfindLabeledBBlockshowBBGrshowAnalysedBBGr showSuperBBGr showBBlocks bbgrToDOTsuperBBGrToDOT showBlockCallMapDerivedInductionMap InductionExprIETopIELinearIEBottomInductionVarMapByASTBlockInductionVarMap LoopNodeMap BackEdgeMap ConstExpMapParameterVarMap VarFlowsMap FlowsGraphUDMapDUMapDefMapBlockMapOutFInFInOutMapOrderFIDomMapDomMapASTExprNodeSetASTExprNodeMapASTBlockNodeSetASTBlockNodeMap BBNodeSet BBNodeMap dominators iDominators postOrder revPostOrderpreOrder revPreOrderdataFlowSolver genBlockMap genDefMapliveVariableAnalysisreachingDefinitionsgenDUMap duMapToUdMapgenUDMapgenFlowsToGraphgenVarFlowsToMapconstantFoldinggenConstExpMapanalyseConstExpsanalyseParameterVarsgenBackEdgeMap loopNodesgenLoopNodeMapsccWithgenInductionVarMapgenInductionVarMapByASTBlockgenDerivedInductionMap showDataFlow showFlowsDOT genCallMap$fNFDataInductionExpr$fNFDataIEFlow $fShowIEFlow $fEqIEFlow $fOrdIEFlow$fGenericIEFlow $fDataIEFlow$fShowInductionExpr$fEqInductionExpr$fOrdInductionExpr$fGenericInductionExpr$fDataInductionExprTimestampStatus NoSuchFile CompileFile ModFileExistsModFilesModFile ParamVarMap StringMapDeclMap DeclContextDCMain DCBlockDataDCModule DCFunction DCSubroutine modFileSuffix emptyModFiles emptyModFile regenModFile genModFilelookupModFileDatagetLabelsModFileDataalterModFileDataalterModFileDataF encodeModFile decodeModFiledecodeModFilesdecodeModFiles'combinedModuleMapcombinedTypeEnvcombinedDeclMapcombinedStringMapcombinedParamVarMapmoduleFilenamegenUniqNameToFilenameMapextractModuleMapextractDeclMapextractStringMapextractParamVarMapcheckTimestamps$fBinaryDeclContext$fBinaryModFile $fEqModFile $fOrdModFile $fShowModFile $fDataModFile$fGenericModFile$fOrdDeclContext$fEqDeclContext$fShowDeclContext$fDataDeclContext$fGenericDeclContext ParserMaker StateInitParserbyVer byVerWithModsf66f77f77ef77lf90f95f2003f66NoTransformf77NoTransformf77eNoTransformf77lNoTransformf90NoTransformf95NoTransformf2003NoTransformf90Expr transformAsdefaultTransformation makeParsermakeParserFixedmakeParserFreeinitParseStateFixedinitParseStateFreeinitParseStateFreeExprinitParseStateFixedExpr parseUnsafe f77lIncludes collectTokenscollectTokensSafeModGraph mgModNodeMapmgGraph mgNumNodes ModOriginMOFileMOFSMod genModGraph modGraphToDOT takeNextMods delModNodes$fOrdModOrigin $fEqModGraph$fDataModGraph $fEqModOrigin$fDataModOrigin$fShowModOrigin ghc-bignumGHC.Num.IntegerIntegerbytestring-0.10.12.1Data.ByteString.Internal ByteStringbaseGHC.IOFilePathHappyStkversiongetDataFileName getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDir