h& ե      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              !!!!!!!""""""""""""""""""######$$$$$$$%%%%%%%%&&&&&&&&&&&&&&&&&&& Safe-Inferred5:<,} 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.    Safe-Inferred$%5:<0O 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-Inferred1%< fortran-src5Convert a Fortran literal Real into a Haskell Double.= fortran-src9Convert a Fortran literal Integer into a Haskell Integer.<=<= Safe-Inferred!=> 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?:s 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 ;?wvwxyz{yz{vwx Safe-Inferred ;? Safe-Inferred5:;@ fortran-src.line-offset and filename as given by a pragma. fortran-src(line, column) number taking into account any specified line pragmas. fortran-src@ABCDGHIJIJGHCD@AB>  Safe-Inferred57:I 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-Inferred5:K 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. fortran-src=Alias for previous function name. TODO: deprecate eventually.    Safe-Inferred 5:Lb=  Safe-Inferred 5:M Safe-Inferred 5:U Safe-Inferred5:X fortran-srcObtain set of intrinsics that are most closely aligned with given version. fortran-srcname => (return-unit, parameter-units) This is an exhaustive list of intrinsics listed in 15.10 of X3.9-1978 Safe-Inferred 57:;p fortran-srcDimension declarator stored in  dimension attributes and s. fortran-src Declarators.Declaration statements can have multiple variables on the right of the double colon, separated by commas. A " identifies a single one of these.Each declared variable can have an initializing expression. These expressions are defined in HP's F90 spec to be initialization expressions., which are specialized constant expressions.The length expressions here are defined in HP's F90 spec to be specifications expressions, which are scalar integer expressions with a bunch of restrictions similar to initialization expressions.s are also used for some less-used syntax that let you set variable attributes using statements, like:"integer arr dimension arr(10)#Some of these only set part of the  (e.g.  parameter only sets the initial value). Syntax note: length is set like character :: str*10, dimensions are set like integer :: arr(10). Careful to not get confused.Note that lengths may only be specified for CHARACTER types. However, a nonstandard syntax feature is to use this as a kind parameter for non CHARACTERs. So we parse length for all s, handle the nonstandard feature and print a warning during our type 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-srcVariable fortran-srcLength (character) fortran-src Initial value fortran-srcArray fortran-src Dimensions 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!yA  fortran-src `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 Safe-Inferred45:* 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-srcSet of names found in the parts of an AST that are the target of an assignment statement. fortran-src:Set of expressions used -- not defined -- by an AST-block. fortran-src7Set of expression used -- not defined -- by a statement fortran-src4Set of names used -- not defined -- by an AST-block. fortran-src%Set of names defined by an AST-block. Safe-Inferred] fortran-src How to handle declarations like  INTEGER x*8. If true, providing a character length for a non-character data type will treat it as a kind parameter. In both cases, a warning is logged (nonstandard syntax). fortran-src$Mapping of structures to field types 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-srcAuxiliary function for getting semantic and construct type of a declaration. Used in standard declarations and structures fortran-srcCreate a structure env from the list of fields and add it to the InferState fortran-src+Derive the kind of a REAL literal constant.Logic taken from HP's F90 reference pg.33, written to gfortran's behaviour. Stays in the # monad so it can report type errors fortran-src+Get the type of a COMPLEX literal constant.The kind is derived only from the first expression, the second is ignored. fortran-src Combine two  s with a .:No real work done here, no kind combining, just selection. fortran-srcFor all types holding an  (in an  ), set the  field of the . 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-src#Attempt to derive a SemType from a   and a  . fortran-srcDerive  directly from  , using relevant default kinds.   Safe-Inferred[ 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. fortran-srcConcat a scope, a variable, and a freshly generated number together to generate a "unique name".GitHub issue #190 showed it was possible to generate the same unique name for two different variables, if using the following unique name schema:scope "_" var n n=3: int1 -> func_int13 n=13: int -> func_int13Instead, we now insert another underscore between the variable and the fresh number, to disambiguate where the fresh number starts.scope "_" var "_" n n=3: int1 -> func_int1_3 n=13: int -> func_int_13 Safe-Inferred Safe-Inferred Safe-Inferred Safe-Inferred1 Safe-Inferred  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. fortran-src,Fold a function over the graph. Monadically. fortran-src+Map a function over the graph. Monadically. fortran-srcMap a function over the  labels in a graph. Monadically. Safe-Inferred5:9 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-srcIterate KILL" set through a single basic block. fortran-srcIterate GEN" set through a single basic block. fortran-srcKILL set for a single AST-block. fortran-srcGEN set for a single AST-block. 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-src$Convert a UD or DU Map into a graph. 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-srcBasic induction variables are induction variables that are the most easily derived from the syntactic structure of the program: for example, directly appearing in a Do-statement. 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-srcFinds the transitive closure of a directed graph. Given a graph G=(V,E), its transitive closure is the graph: G* = (V,E*) where E*={(i,j): i,j in V and there is a path from i to j in G} tc :: (DynGraph gr) => gr a b -> gr a () tc g = newEdges  insNodes ln empty where ln = labNodes g newEdges = [ toLEdge (u, v) () | (u, _) <- ln, (_, v) <- bfen (outU g u) g ] outU gr = map toEdge . out gr 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 Safe-Inferred5:m  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-srcRewrite the data with the string map aliases replaced by the actual values (implicitly sharing structure). fortran-src7Extract a map of variables assigned to constant values. fortran-srcCompare the source file timestamp to the fsmod file timestamp, if it exists.## Safe-Inferred= fortran-srcThe default post-parse AST transformations for each Fortran version.Note that some of these may not be commutative with each other. Specifically, the DO groupings are written so labeled (nonblock) DO grouping must occur first, followed by block DO grouping.    Safe-Inferredё9 9 ! Safe-Inferred9 9 " Safe-InferredG9 9 # Safe-Inferred9 9 $ Safe-Inferred#9 9 % Safe-Inferred% fortran-srcDeduce the type of parser from the filename and parse the contents of the file. fortran-srcDeduce the type of parser from the filename and parse the contents of the file, within the context of given "mod files". fortran-src7Given a FortranVersion, parse the contents of the file. fortran-srcGiven a FortranVersion, parse the contents of the file, within the context of given "mod files".& Safe-Inferred5q  +,-.//0123456789:;<=>?@ABCDEFFGHIIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijkkllmmnnopqrstuvwxyz{|}~                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (                             ''                                                                    !!!!!!!""""""""""""""""""######$$$$$$$%%%%%%%%&&&&&&&&&&&&&&&&&&  !!""##$$fortran-src-0.7.0-inplaceLanguage.Fortran.AST.BozLanguage.Fortran.AST.RealLitLanguage.Fortran.Parser.Utils"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.ParserMonadLanguage.Fortran.Lexer.FreeForm Language.Fortran.Lexer.FixedFormLanguage.Fortran.IntrinsicsLanguage.Fortran.ASTLanguage.Fortran.PrettyPrint&Language.Fortran.Lexer.FixedForm.UtilsLanguage.Fortran.LValue'Language.Fortran.Analysis.SemanticTypesLanguage.Fortran.AnalysisLanguage.Fortran.Analysis.Types"Language.Fortran.Analysis.Renaming.Language.Fortran.Transformation.TransformMonad(Language.Fortran.Transformation.Grouping8Language.Fortran.Transformation.Disambiguation.Intrinsic7Language.Fortran.Transformation.Disambiguation.Function!Language.Fortran.Analysis.BBlocks"Language.Fortran.Analysis.DataFlowLanguage.Fortran.Util.ModFileLanguage.Fortran.Transformer!Language.Fortran.Parser.Fortran95!Language.Fortran.Parser.Fortran90!Language.Fortran.Parser.Fortran77!Language.Fortran.Parser.Fortran66#Language.Fortran.Parser.Fortran2003Language.Fortran.Parser.Any"Language.Fortran.Analysis.ModGraphAnalysisSemTypeData.Map.Strictalter BozPrefix BozPrefixB BozPrefixO BozPrefixZBoz bozPrefix bozStringparseBoz prettyBoz$fEqBoz $fShowBoz $fDataBoz $fGenericBoz $fNFDataBoz$fOutBoz$fOrdBoz $fEqBozPrefix$fShowBozPrefix$fDataBozPrefix$fGenericBozPrefix$fNFDataBozPrefix$fOutBozPrefix$fOrdBozPrefixExponentLetter 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$fOrdExponentLetterreadReal readIntegerReplacementMapChunkReplacementErrorOverlappingErrorInvalidRangeError 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$fGFirstParameterU1[]$fGFirstParameter:*:e$fGFirstParameter:+:e$fGFirstParameterM1e$fGFirstParameterK1e$fGFirstParameterK1e0SecondParametergetSecondParametersetSecondParameter$fGSecondParameter:+:e$fGSecondParameterM1e$fGSecondParameterK1e$fGSecondParameter'K1e$fGSecondParameter'K1e0$fGSecondParameter':*:e$fGSecondParameter'M1e$fParameterLeaf:*:$fParameterLeafM1$fGSecondParameter:*: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 deduceVersion$fNFDataFortranVersion$fOutFortranVersion$fShowFortranVersion$fOrdFortranVersion$fEqFortranVersion$fDataFortranVersion$fGenericFortranVersionTokeofTokenParseunParse LastToken getLastTokenParseErrorSimpleerrorPos errorFilenameerrorMsg ParseResultParseOk ParseFailed ParseErrorerrPos errLastToken errFilenameerrMsg ParseState psAlexInputpsParanthesesCount psVersion psFilename psContextContextConStartConData ConImplicit ConNamelist ConCommonParanthesesCountpcActual pcHasReached0tokenMsgfromParseResultUnsafe fromRightfromParseResult getVersionputAlexgetAlex topContext popContext pushContext getPosition getSrcSpangetParanthesesCountresetParincPardecPar throwIOerrorrunParserunParseUnsafe evalParse execParse collectTokenscollectTokensSafe$fExceptionParseError$fShowParseError$fFunctorParseResult$fShowParseErrorSimple$fMonadErrorParseErrorParse$fMonadStateParseStateParse$fApplicativeParse$fFunctorParse$fMonadFailParse $fMonadParse$fShowParseState $fShowContext $fEqContext$fShowParanthesesCount$fEqParanthesesCount AlexAccPredAlexAcc AlexAccNone AlexAccSkipAlexAccSkipPred AlexLastAccAlexNone AlexLastSkip AlexReturnAlexEOF AlexErrorAlexSkip AlexTokenAlexAddrAlexA# SpecifiesType isTypeSpecTokenTIdTCommentTStringTIntegerLiteral 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 TBackspaceTRewindTInquireTEndfileTEndTNewlineTEOFTFlushTUnitTIOStatTIOMsgTErrMove ContinuationCharNewlineUser LexAction AlexInput aiSourceBytes aiPosition aiEndOffsetaiPreviousCharaiLexeme aiStartCodeaiPreviousTokenaiPreviousTokensInLine StartCodescActualscStatusStartCodeStatusReturnStableLexeme lexemeMatch lexemeStart lexemeEnd lexemeIsCmt alex_tab_size alex_base alex_table alex_check alex_deflt alex_accept alex_actionsformatPfollowsDoWithOptLabelP followsColonPlabelledWhereP selectorPifConditionEndPopPpartOfExpOrPointerAssignmentPprecedesDoubleColon parenLevel allocateP attributePbindPconstructNameP genericSpecPnotDefinedOperP typeSpecPresultPnotPrecedingDotPfollowsIntentPfollowsProcedureP followsBindP followsCP followsFlushPuseStPcaseStP assignStPprevTokenConstrnextTokenConstr seenConstr fillConstr adjustCommentleftParcommaslashOrDivisionaddSpanaddSpanAndMatch getLexeme putLexeme resetLexemegetMatchputMatchupdatePreviousTokenaddToPreviousTokensInLinecheckPreviousTokensInLine getLexemeSpan lexCharactertoSCstabiliseStartCodenormaliseStartCodeinvalidPositionisValidPosition initLexemevanillaAlexInput updateLexeme alexGetBytealexInputPrevChar currentCharadvanceWithoutContinuationisContinuationskipContinuation skipCCommentadvancelexHashlexerlexer'initParseStatecollectFreeTokensscCscIscNscT alex_action_0 alex_action_1 alex_action_2 alex_action_3 alex_action_5 alex_action_6 alex_action_7 alex_action_8 alex_action_9alex_action_10alex_action_11alex_action_12alex_action_13alex_action_14alex_action_15alex_action_16alex_action_17alex_action_18alex_action_19alex_action_20alex_action_21alex_action_22alex_action_23alex_action_24alex_action_25alex_action_26alex_action_27alex_action_28alex_action_29alex_action_30alex_action_31alex_action_32alex_action_33alex_action_34alex_action_35alex_action_36alex_action_37alex_action_38alex_action_39alex_action_40alex_action_41alex_action_42alex_action_43alex_action_44alex_action_45alex_action_46alex_action_47alex_action_48alex_action_49alex_action_50alex_action_51alex_action_52alex_action_53alex_action_54alex_action_55alex_action_56alex_action_57alex_action_58alex_action_59alex_action_60alex_action_61alex_action_62alex_action_63alex_action_64alex_action_65alex_action_66alex_action_67alex_action_68alex_action_69alex_action_70alex_action_71alex_action_72alex_action_73alex_action_74alex_action_75alex_action_76alex_action_77alex_action_78alex_action_79alex_action_80alex_action_81alex_action_82alex_action_83alex_action_84alex_action_85alex_action_86alex_action_87alex_action_88alex_action_89alex_action_90alex_action_91alex_action_92alex_action_93alex_action_94alex_action_95alex_action_96alex_action_97alex_action_98alex_action_99alex_action_100alex_action_101alex_action_102alex_action_103alex_action_104alex_action_105alex_action_106alex_action_107alex_action_108alex_action_109alex_action_110alex_action_111alex_action_112alex_action_113alex_action_114alex_action_115alex_action_116alex_action_117alex_action_118alex_action_119alex_action_120alex_action_121alex_action_122alex_action_123alex_action_124alex_action_125alex_action_126alex_action_127alex_action_128alex_action_129alex_action_130alex_action_131alex_action_132alex_action_133alex_action_134alex_action_135alex_action_136alex_action_137alex_action_138alex_action_139alex_action_140alex_action_141alex_action_142alex_action_143alex_action_144alex_action_145alex_action_146alex_action_147alex_action_148alex_action_149alex_action_150alex_action_151alex_action_152alex_action_153alex_action_154alex_action_155alex_action_156alex_action_157alex_action_158alex_action_159alex_action_160alex_action_161alex_action_162alex_action_163alex_action_164alex_action_165alex_action_166alex_action_167alex_action_168alex_action_169alex_action_170alex_action_171alex_action_172alex_action_173alex_action_174alex_action_175alex_action_176alex_action_177alex_action_178alex_action_179alex_action_180alex_action_181alex_action_182alex_action_183alex_action_184alex_action_185alex_action_186alex_action_187alex_action_188alex_action_189alex_action_190alex_action_191alex_action_192alex_action_193alex_action_194alex_action_195alex_action_196alex_action_197alex_action_198alex_action_199alex_action_200alex_action_201alex_action_202alex_action_203alex_action_204alex_action_205alex_action_206alex_action_207alex_action_208alexIndexInt16OffAddralexIndexInt32OffAddr quickIndexalexScan alexScanUser alex_scan_tkn alexAndPredalexPrevCharIsalexPrevCharMatchesalexPrevCharIsOneOfalexRightContext$fSpannedLexeme $fTokToken$fSpannedToken$fFirstParameterTokenSrcSpan$fLastTokenAlexInputToken$fLocAlexInput$fSpecifiesType[]$fSpecifiesTypeToken$fShowAlexInput $fEqToken $fShowToken $fDataToken$fGenericToken$fShowStartCode$fShowStartCodeStatus $fShowLexemeaiBytesaiWhiteSensitiveCharCountaiCaseSensitive aiInFormataiFortranVersion TLeftArrayParTRightArrayParTDot TStructureTRecordTUnionTMap TEndStructure TEndUnionTEndMapTEndif TCaseDefaultTDoWhile TTypePrintTStatic TAutomaticTInt TExponentTBool TAmpersandTOpXOr THollerithTLabellexNcollectFixedTokenscollectFixedTokensSafe $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 BinCustomUnaryOpPlusMinusNotUnCustomDimensionDeclarator Declarator DeclVariable DeclArrayValue 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 AttrVolatileArgumentUse 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 emptySuffixesemptyPrefixSuffixvalidPrefixSuffixprogramUnitBodyupdateProgramUnitBodyprogramUnitSubprogramssetInitialisationnonExecutableStatementexecutableStatementexecutableStatementBlocknonExecutableStatementBlock$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$fNFDataDeclarator$fNFDataDimensionDeclarator$fNFDataDataGroup$fNFDataAllocOpt$fNFDataControlPair$fNFDataCommonGroup$fNFDataAttribute $fNFDataUse$fNFDataArgument$fNFDataForallHeader$fNFDataSelector$fNFDataDoSpecification$fNFDataProcInterface$fNFDataProcDecl$fNFDataStatement $fNFDataValue $fNFDataIndex$fNFDataTypeSpec$fNFDataExpression $fNFDataBlock$fNFDataProgramUnit$fOutForallHeader $fOutAllocOpt$fOutControlPair$fOutDimensionDeclarator$fOutDeclarator $fOutSelector $fOutTypeSpec $fOutValue$fOutFlushSpec$fOutDoSpecification $fOutIndex$fOutExpression$fOutFormatItem $fOutNamelist $fOutUnionMap$fOutStructureItem$fOutDataGroup$fOutCommonGroup $fOutBlock $fOutImpList$fOutAttribute$fOutUse $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$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$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$fPrettyArgument $fPrettyUse $fPrettyOnly$fPrettyProcDecl$fPrettyProcInterface$fPrettyStatement$fPrettySelector$fPrettyTypeSpec$fPrettyBaseType$fPrettyATuple $fPrettyAList $fPretty[] $fPrettyMaybe$fIndentablePrettyBlock$fIndentablePrettyProgramUnit$fIndentablePrettya$fEqReformatState$fOrdReformatState$fShowReformatStatemakeRealLValue 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 genModFilelookupModFileDatagetLabelsModFileDataalterModFileData encodeModFile decodeModFilecombinedModuleMapcombinedTypeEnvcombinedDeclMapcombinedStringMapcombinedParamVarMapmoduleFilenamegenUniqNameToFilenameMapextractModuleMapextractDeclMapcheckTimestamps$fBinaryDeclContext$fBinaryModFile $fEqModFile $fOrdModFile $fShowModFile $fDataModFile$fGenericModFile$fOrdDeclContext$fEqDeclContext$fShowDeclContext$fDataDeclContext$fGenericDeclContextTransformation GroupForallGroupDoGroupLabeledDoDisambiguateFunctionDisambiguateIntrinsictransformWithModFiles transformdefaultTransformations$fEqTransformation blockParserstatementParserfunctionParserfortran95Parserfortran95ParserWithTransformsfortran95ParserWithModFiles)fortran95ParserWithModFilesWithTransformsfortran90Parserfortran90ParserWithTransformsfortran90ParserWithModFiles)fortran90ParserWithModFilesWithTransformsexpressionParserfortran77Parserfortran77ParserWithTransformsfortran77ParserWithModFiles)fortran77ParserWithModFilesWithTransformsextended77Parserextended77ParserWithTransformsextended77ParserWithModFiles*extended77ParserWithModFilesWithTransformslegacy77Parserlegacy77ParserWithTransformslegacy77ParserWithModFiles(legacy77ParserWithModFilesWithTransformslegacy77ParserWithIncludes(legacy77ParserWithIncludesWithTransforms includeParserfortran66Parserfortran66ParserWithTransformsfortran66ParserWithModFiles)fortran66ParserWithModFilesWithTransformsfortran2003Parserfortran2003ParserWithTransformsfortran2003ParserWithModFiles+fortran2003ParserWithModFilesWithTransformsParserWithModFilesParserparserVersionsparserWithModFilesVersions fortranParserfortranParserWithModFilesfortranParserWithVersion#fortranParserWithModFilesAndVersionModGraph mgModNodeMapmgGraph mgNumNodes ModOriginMOFileMOFSMod genModGraph modGraphToDOT takeNextMods delModNodes$fOrdModOrigin $fEqModGraph$fDataModGraph $fEqModOrigin$fDataModOrigin$fShowModOriginbytestring-0.11.1.0Data.ByteString.Internal ByteStringbaseGHC.IOFilePathfortran77intrinsicscomputeAllLhsVarsstatementRhsExprs$inferConfigAcceptNonCharLengthAsKind StructTypeEnvhandleDeclarationhandleStructurederiveRealLiteralKindInfercomplexLiteralTypebinopSimpleCombineSemTypes setSemType$deriveSemTypeFromBaseTypeAndSelectoruniquifyufoldM'gmapM'nmapM'fgl-5.7.0.3-9733b0ebf67a0573adc82b832a107bd81009394af7f2985ecd8614221c7d90a2Data.Graph.Inductive.GraphNode bblockKill bblockGen blockKillblockGen mapToGraphbasicInductionVarsconvergeinsEdgesextractStringMaprevertStringMapextractParamVarMapHappyStk