!wG      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                              ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                                                                                                                                   ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                                                                                                                                 ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                                                                                                                     !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~&Q(c) [1995..1999] Manuel M. T. Chakravarty (c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.comalphaportableNone 27EMQXa  language-cNameSpaceMap a is a Map from identifiers to a., which manages global and local name spaces. language-ccreate a name space language-cAdd global definition%(ns',oldDef) = defGlobal ns ident def adds a global definition  ident := def8 to the namespace. It returns the modified namespace ns'|. If the identifier is already declared in the global namespace, the definition is overwritten and the old definition oldDef is returned. language-cEnter new local scopens' = enterNewScope ns& creates and enters a new local scope. language-cLeave innermost local scope(ns',defs) = leaveScope nsE pops leaves the innermost local scope. and returns its definitions language-cAdd local definition$(ns',oldDef) = defLocal ns ident def adds the local definition  ident := def to the innermost local scope, if there is a local scope, and to the global scope otherwise. It returns the modified name space ns'+ and the old binding of the identifier oldDef, which is overwritten.  language-cSearch for a definitiondef = find ns identI returns the definition in some scope (inner to outer), if there is one.  language-c%flatten a namespace into a assoc list [nameSpaceToList ns = (localDefInnermost ns ++ .. ++ localDefsOutermost ns) ++ globalDefs ns  language-cZMerge two namespaces. If they disagree on the types of any variables, all bets are off.   (c) 2008,2011 Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27EMQXk language-c(b,is') = takeByte is# reads and removes the first byte b from the  is language-c(c,is') = takeChar is( reads and removes the first character c from the  is language-creturn True# if the given input stream is empty language-cstr = takeChars n is returns the first n= characters of the given input stream, without removing them language-cread a file into an  language-cconvert  to  language-c convert a  to an  language-c countLines1 returns the number of text lines in the given   (c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27EMQXp language-cName is a unique identifier language-creturn an infinite stream of s starting with nameId 0 language-cGget the infinite stream of unique names starting from the given integerY(c) [1995..2000] Manuel M. T. Chakravarty [2008..2009] Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27EMQXs% language-c4class of type which aggregate a source code location' language-cPosition and length of a token( language-c/uniform representation of source file positions) language-c(absolute offset in the preprocessed file* language-c<row (line) in the original file. Affected by #LINE pragmas.+ language-crcolumn in the preprocessed file. Inaccurate w.r.t. to the original file in the presence of preprocessor macros. language-c(position in source file, including files language-cfile position information language-c source file language-cincluding file, if any. language-c8position absoluteOffset fileName lineNumber columnNumber initializes a Position using the given arguments/ language-cUinitialize a Position to the start of the translation unit starting in the given file0 language-creturns True6 if the given position refers to an actual source file1 language-c.no position (for unknown position information)2 language-creturns True2 if the there is no position information available3 language-c%position attached to built-in objects4 language-creturns True5 if the given position refers to a builtin definition5 language-c!position used for internal errors6 language-creturns True" if the given position is internal7 language-cadvance column8 language-cadvance to next line9 language-cadvance just the offset%&'()+*,-./0123456789(.',*+)-/0123456789%&f(c) [1995..1999] Manuel M. T. Chakravarty (c) 2008 Benedikt Huber (stripped radically) BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27EMQX E language-cGa class for convenient access to the attributes of an attributed objectG language-cParsed entity attributeJ language-c.get the number of characters an AST node spansK language-c-get the position and length of the last tokenO language-cequality by nameQ language-c:create a node with neither name nor positional informationR language-cGreturn True if the node carries neither name nor positional informationS language-c;| Given only a source position, create a new node attributeT language-cbGiven a source position and the position and length of the last token, create a new node attributeU language-cMGiven a source position and a unique name, create a new attribute identifierV language-cGiven a source position, the position and length of the last token and a unique name, create a new attribute identifier. Strict inEFGIHJKLMNOPQRSTUVGIHQRSTUVPEFNMLKJOQ(c) [1995..1999] Manuel M. T. Chakravarty (c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27EMQXV ` language-c C identifiersb language-cReferences uniquely determining a struct, union or enum type. Those are either identified by an string identifier, or by a unique name (anonymous types).e language-c<Return true if the struct/union/enum reference is anonymous.f language-c"build an identifier from a string.only minimal error checking, e.g., the characters of the identifier are not checked for being alphanumerical only; the correct lexis of the identifier should be ensured by the caller, e.g., the scanner.8for reasons of simplicity the complete lexeme is hashed.g language-c returns an internal6 identifier (has internal position and no unique name)h language-c return an internal identifier with position infoi language-c returns a builtin5 identifier (has builtin position and no unique name)j language-creturn True if the given identifier is internalk language-cstring of an identifierl language-c(string of a SUE ref (empty if anonymous)m language-cCdump the identifier string and its positions for debugging purposes`abcdefghijklm`abcdefighjklm1(c) 2008 Benedikt Huber, Manuel M. T. Chakravarty BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27EMQXr| language-cgunspecified error raised by the user (in case the user does not want to define her own error types).} language-cSerror raised if a operation requires an unsupported or not yet implemented feature.~ language-c%errors in Language.C are instance of ~ language-c'obtain source location etc. of an error language-cwrap error in  language-ctry to cast a generic  to the specific error type language-cmodify the error level language-c supertype of all errors language-c1information attached to every error in Language.C language-cError levels (severity) language-creturn TrueQ when the given error makes it impossible to continue analysis or compilation. language-cposition of an Error language-cseverity level of an Error language-cmessage lines of an Error language-c4converts an error into a string using a fixed formatSeither the lines of the long error message or the short message has to be non-empty the format is e <fname>:<row>: (column <col>) [<err lvl>] >>> <line_1> <line_2> ... <line_n> language-c=raise a fatal internal error; message may have multiple lines|}~~}|(c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27EMQXM%&(*+),-/013456EFGIHLMNPQSU`bcdefgijkl|}~*bcdel`fkgji(*+),-%&/135046GIHEFNMLQSUP.(c) [2007..2008] Duncan Coutts, Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27EMQXƸ 5 !(c) 2001 Manuel M. T. Chakravarty BSD-stylebenedikt.huber@gmail.comportableNone 27EMQXȦ ,(c) 2007..2008 Duncan Coutts, Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27EMQX language-cC String literals language-cClang dotted version literal @https://clang.llvm.org/docs/AttributeReference.html#availability language-cFloats (represented as strings) language-c-datatype representing type flags for integers language-c8datatype for memorizing the representation of an integer language-cC char constants (abstract) language-cshowCharConst cG prepends _a_ String representing the C char constant corresponding to c;. If necessary uses octal or hexadecimal escape sequences. language-c1get the haskell representation of a char constant language-cVget integer value of a C char constant undefined result for multi-char char constants language-creturn true if the character constant is wide. language-c.construct a character constant from a haskell  Use cchar_w' if you want a wide character constant. language-c%construct a wide chararacter constant language-c+create a multi-character character constant language-cHconstruct a integer constant (without type flags) from a haskell integer language-c'concatenate a list of C string literals language-cshowStringLiteral sF prepends a String representing the C string literal corresponding to s>. If necessary it uses octal or hexadecimal escape sequences. language-cisAsciiSourceChar b returns Truee if the given character is a character which may appear in a ASCII C source file and is printable. language-c isCChar cq returns true, if c is a source character which does not have to be escaped in C char constants (C99: 6.4.4.4) language-c escapeCChar c% escapes c for use in a char constant language-c isSChar cn returns true if c is a source character which does not have to be escaped in C string literals (C99: 6.4.5)//!F[1999..2004] Manuel M T Chakravarty 2005 Duncan Coutts BSD-stylebenedikt.huber@gmail.com%portable C Tokens for the C lexer.None 27EMQX{      !"#$%&'()*+,-./0123"S(c) [1999..2004] Manuel M T Chakravarty (c) 2005-2007 Duncan Coutts BSD-stylebenedikt.huber@gmail.comportableNone 27EMQX language-cBexecute the given parser on the supplied input stream. returns R if the parser failed, and a pair of result and remaining name supply otherwise Synopsis: JexecParser parser inputStream initialPos predefinedTypedefs uniqNameSupply4 language-c setLastToken modifyCache tok5 language-c0handle an End-Of-File token (changes savedToken)6789:;<=>?@AB45C#None 27EFMQXDE (c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27EMQX$ language-cC unary operator (K&R A7.3-4) language-cprefix increment operator language-cprefix decrement operator  language-cpostfix increment operator  language-cpostfix decrement operator  language-caddress operator  language-cindirection operator  language-c prefix plus language-c prefix minus language-cone's complement language-clogical negation language-c C binary operators (K&R A7.6-15) language-cremainder of division language-c shift left language-c shift right language-cless language-cgreater language-c less or equal language-cgreater or equal language-cequal language-c not equal language-c bitwise and  language-cexclusive bitwise or! language-cinclusive bitwise or" language-c logical and# language-c logical or$ language-c"C assignment operators (K&R A7.17)( language-cremainder and assignment0      !"#$%&'()*+,-./0123450$%&'()*+,-./0 !"#1234     5 O(c) [1999..2007] Manuel M T Chakravarty (c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27=EMQXҖ`H language-cAll AST nodes are annotated. Inspired by the Annotated class of Niklas Broberg's haskell-src-exts package. In principle, we could have Copointed superclass instead of ann&, for the price of another dependency.I language-c!get the annotation of an AST nodeJ language-cpchange the annotation (non-recursively) of an AST node. Use fmap for recursively modifying the annotation.M language-cAttributed string literalsS language-cC constant (K&R A2.5 & A7.2)U language-c  (expr, type)V language-c (type, designator-list)W language-c  (type,type)X language-c  (expr, type)Y language-c*GNU Builtins, which cannot be typed in C99k language-c7integer, character, floating point and string constantsl language-cC99 compound literalm language-cC11 generic selectionn language-c GNU C compound statement as expro language-cGNU C address of labelp language-cbuiltin expressions, see Yq language-cC expression (K&R A7)6these can be arbitrary expression, as the argument of sizeof@ can be arbitrary, even if appearing in a constant expressionGNU C extensions: alignof, __real, __imag, ({ stmt-expr }), && label and built-inst language-c attribute annotationsThose are of the form )CAttr attribute-name attribute-parameters@, and serve as generic properties of some syntax tree elements.v language-carray position designatorw language-cmember designatorx language-carray range designator CRangeDesig from to _ (GNU C)y language-c DesignatorsA designator specifies a member of an object, either an element or range of an array, or the named member of a struct / union.{ language-cInitializer List3The members of an initializer list are of the form (designator-list,initializer). The designator-list specifies one member of the compound type which is initialized. It is allowed to be empty - in this case the initializer refers to the 'next'- member of the compound type (see C99 6.7.8).2Examples (simplified expressions and identifiers): @-- int x[3][4] = { [0][3] = 4, [2] = 5, 8 }; -- corresponds to the assignments -- x[0][3] = 4; x[2][0] = 5; x[2][1] = 8; let init1 = ([CArrDesig 0, CArrDesig 3], CInitExpr 4) init2 = ([CArrDesig 2] , CInitExpr 5) init3 = ([] , CInitExpr 8) in CInitList [init1, init2, init3] -- struct { struct { int a[2]; int b[2]; int c[2]; } s; } x = { .s = { {2,3} , .c[0] = 1 } }; -- corresponds to the assignments -- x.s.a[0] = 2; x.s.a[1] = 3; x.s.c[0] = 1; let init_s_0 = CInitList [ ([], CInitExpr 2), ([], CInitExpr 3)] init_s = CInitList [ ([], init_s_0), ([CMemberDesig "c", CArrDesig 0], CInitExpr 1) ] in CInitList [(CMemberDesig "s", init_s)]} language-cassignment expression~ language-cinitialization list (see |) language-c&C initialization (K&R A8.7, C99 6.7.8)Initializers are either assignment expressions or initializer lists (surrounded in curly braces), whose elements are themselves initializers, paired with an optional list of designators. language-c/C enumeration specifier (K&R A8.4, C99 6.7.2.2)&CEnum identifier enumerator-list attrs represent as enum specifierJEither the identifier or the enumerator-list (or both) have to be present.If enumerator-list$ is present, it has to be non-empty.#The enumerator list is of the form *(enumeration-constant, enumeration-value?)C, where the latter is an optional constant integral expression.attrs is a list of  attribute6 annotations associated with the enumeration specifier language-c(A tag to determine wheter we refer to a struct or union, see . language-c7C structure or union specifiers (K&R A8.3, C99 6.7.2.1)+CStruct tag identifier struct-decls c-attrs6 represents a struct or union specifier (depending on tag).either  identifier or the declaration list  struct-decls (or both) have to be present. Example: in  struct foo x; , the identifier is present, in struct { int y; } x# the declaration list, and in struct foo { int y; } x; both of them.c-attrs is a list of  attribute: annotations associated with the struct or union specifier language-c _Alignas(type) language-c _Alignas(expr) language-c"C alignment specifiers (C99 6.7.5) language-c!C function specifiers (C99 6.7.4)function specifiers inline and  _Noreturn language-c7C type qualifiers (K&R A8.2, C99 6.7.3) and attributes.const, volatile and restrict type qualifiers Additionally,  attributeG annotations for declarations and declarators, and function specifiers language-c+IEC 60227: width (32,64,128), extended flag language-cStruct or Union specifier language-cEnumeration specifier language-c Typedef name language-c  typeof(expr) language-c  typeof(type) language-c  _Atomic(type) language-c&C type specifier (K&R A8.2, C99 6.7.2)/Type specifiers are either basic types such as char or int, struct, union or enum specifiers or typedef names.As a GNU extension, a typeof% expression also is a type specifier. language-cauto language-cregister language-cstatic language-cextern language-ctypedef language-cC11/GNUC thread local storage language-cOpenCL kernel function language-cOpenCL __global variable language-cOpenCL __local variable language-c>C storage class specifier (and typedefs) (K&R A8.1, C99 6.7.1) language-c"storage-class specifier or typedef language-c type name language-ctype qualifier language-cfunction specifier language-calignment specifier language-c'C declaration specifiers and qualifiersDeclaration specifiers include at most one storage-class specifier (C99 6.7.1), type specifiers (6.7.2) and type qualifiers (6.7.3). language-c A statement language-cA local declaration language-cA nested function (GNU C) language-cC99 Block itemsqThings that may appear in compound statements: either statements, declarations or nested function definitions. language-cAssembler operand'CAsmOperand argName? constraintExpr arg2 specifies an operand for an assembler statement. language-cGNU Assembler statement @CAssemblyStatement type-qual? asm-expr out-ops in-ops clobbers _Ois an inline assembler statement. The only type-qualifier (if any) allowed is volatile. asm-expr0 is the actual assembler epxression (a string), out-ops and in-ops7 are the input and output operands of the statement. clobbersR is a list of registers which are clobbered when executing the assembler statement language-c-An (attributed) label followed by a statement language-cA statement of the form case expr : stmt language-cA case range of the form case lower ... upper : stmt language-cThe default case default : stmt language-cjA simple statement, that is in C: evaluating an expression with side-effects and discarding the result. language-ccompound statement #CCompound localLabels blockItems at language-cconditional statement $CIf ifExpr thenStmt maybeElseStmt at language-cswitch statement CSwitch selectorExpr switchStmt , where  switchStmt usually includes case, break and default statements language-cwhile or do-while statement CWhile guard stmt isDoWhile at language-cfor statement CFor init expr-2 expr-3 stmt, where init4 is either a declaration or initializing expression language-cgoto statement  CGoto label language-ccomputed goto CGotoPtr labelExpr language-ccontinue statement language-cbreak statement language-creturn statement CReturn returnExpr language-cassembly statement language-cC statement (K&R A9, C99 6.8) language-c CUnknownSize isCompleteType language-c CArrSize isStatic expr language-cSize of an array language-cPointer declarator CPtrDeclr tyquals declr language-cArray declarator "CArrDeclr declr tyquals size-expr? language-cFunction declarator =CFunDeclr declr (old-style-params | new-style-params) c-attrs language-cDerived declarators, see YIndirections are qualified using type-qualifiers and generic attributes, and additionallyGThe size of an array is either a constant expression, variable length (F) or missing; in the last case, the type of the array is incomplete. The qualifier static is allowed for function arguments only, indicating that the supplied argument is an array of at least the given size.(New style parameter lists have the form  Right (declarations, isVariadic)0, old style parameter lists have the form Left (parameter-names) language-cPC declarator (K&R A8.5, C99 6.7.5) and abstract declarator (K&R A8.8, C99 6.7.6)gA declarator declares a single object, function, or type. It is always associated with a declaration (), which specifies the declaration's type and the additional storage qualifiers and attributes, which apply to the declared object.A declarator is of the form +CDeclr name? indirections asm-name? attrs _ , where nameI is the name of the declared object (missing for abstract declarators),  declquals1 is a set of additional declaration specifiers, asm-nameN is the optional assembler name and attributes is a set of attrs is a set of  attribute% annotations for the declared object. indirections is a set of pointer, array and function declarators, which modify the type of the declared object as described below. If the  declaration specifies the non-derived type T, and we have  indirections = [D1, D2, ..., Dn]$ than the declared object has type (D1 indirect (D2 indirect ... (Dn indirect T))), where(CPtrDeclr attrs) indirect T is attributed pointer to T(CFunDeclr attrs) indirect T is attributed function returning T(CArrayDeclr attrs) indirect T is (attributed array of elemements of type T!Examples (simplified attributes):x is an int int x; CDeclr "x" []x0 is a restrict pointer to a const pointer to int Tconst int * const * restrict x; CDeclr "x" [CPtrDeclr [restrict], CPtrDeclr [const]]f0 is an function return a constant pointer to int ;int* const f(); CDeclr "f" [CFunDeclr [],CPtrDeclr [const]]f2 is a constant pointer to a function returning int Cint (* const f)(); ==> CDeclr "f" [CPtrDeclr [const], CFunDeclr []] language-cmC declarations (K&R A8, C99 6.7), including structure declarations, parameter declarations and type names.A declaration is of the form %CDecl specifiers init-declarator-listX, where the form of the declarator list's elements depends on the kind of declaration:61) Toplevel declarations (K&R A8, C99 6.7 declaration)`C99 requires that there is at least one specifier, though this is merely a syntactic restriction>at most one storage class specifier is allowed per declarationthe elements of the non-empty init-declarator-list are of the form (Just declr, init?, Nothing). The declarator declrX has to be present and non-abstract and the initialization expression is optional.D2) Structure declarations (K&R A8.3, C99 6.7.2.1 struct-declaration)4Those are the declarations of a structure's members.do not allow storage specifiers:in strict C99, the list of declarators has to be non-emptythe elements of init-declarator-list are either of the form (Just declr, Nothing, size?)J, representing a member with optional bit-field size, or of the form (Nothing, Nothing, Just size), for unnamed bitfields. declr has to be non-abstract.3no member of a structure shall have incomplete typeG3) Parameter declarations (K&R A8.6.3, C99 6.7.5 parameter-declaration)init-declarator-list- must contain at most one triple of the form (Just declr, Nothing, Nothing)[, i.e. consist of a single declarator, which is allowed to be abstract (i.e. unnamed).4) Type names (A8.8, C99 6.7.6)do not allow storage specifiersinit-declarator-list- must contain at most one triple of the form (Just declr, Nothing, Nothing) . where declrG is an abstract declarator (i.e. doesn't contain a declared identifier) language-c,C function definition (C99 6.9.1, K&R A10.1)%A function definition is of the form ,CFunDef specifiers declarator decllist? stmt. specifiersm are the type and storage-class specifiers of the function. The only storage-class specifiers allowed are extern and static.The  declarator/ must be such that the declared identifier has  function typeK. The return type shall be void or an object type other than array type.The optional declaration list decllist( is for old-style function declarations.The statement stmt is a compound statement. language-c)External C declaration (C99 6.9, K&R A10)IEither a toplevel declaration, function definition or external assembler. language-c.Complete C tranlsation unit (C99 6.9, K&R A10)A complete C translation unit, for example representing a C header or source file. It consists of a list of external (i.e. toplevel) declarations. language-c#Separate the declaration specifiers attributel of a declaration qualify declarations or declarators (but not types), and are therefore separated as well. language-creturns True2 if the given typespec is a struct, union or enum  definition language-c%Lift a string literal to a C constant      !"#$%&'()*+,-./HJIKLMNOPQRSTUVWXYZk[\]^_`abcdefghijlmnopqrstuvwxyz{|~}trs{y|~}zuvwxqZk[\]^_`abcdefghijlmnop$%&'()*+,-./ !"#     YTUVWXSMNOPQRKLHJI$(c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27EMQX=      !"#$%&'()*+,-./HJIKLMNOPQRSTUVWXYZk[\]^_`abcdefghijlmnopqrstuvwxyz{|~} XCopyright (c) 2007 Bertram Felgenhauer (c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalportableNone 27=>?EMQX language-c,A class of types which can be pretty printed language-cpretty print the given value language-cprettyPrec prec pM pretty prints p assuming that the surrounding context has a precedence of prec language-cXPretty print the given tranlation unit, but replace declarations from header files with #include directives.7The resulting file may not compile (because of missing #define directives and similar things), but is very useful for testing, as otherwise the pretty printed file will be cluttered with declarations from system headers.%None 27=?EFMQXh language-cparseC input initialPos\ parses the given preprocessed C-source input and returns the AST or a list of parse errors. language-c translUnitP[ provides a parser for a complete C translation unit, i.e. a list of external declarations.  language-cextDeclP; provides a parser for an external (file-scope) declaration  language-c statementP# provides a parser for C statements  language-c expressionP$ provides a parser for C expressions   G9 H9 (c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27EMQX  language-cIrun the given parser using a new name supply and builtin typedefs see  Synopsis: 'runParser parser inputStream initialPos          (c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.comalphaghcNone 27EMQXZtW  language-c  is currently an alias for  (Syntax) language-c is an alias for  (Syntax) language-c attribute annotationsThose are of the form (Attr attribute-name attribute-parameters@, and serve as generic properties of some syntax tree elements.Some examples:labels can be attributed with unused to indicate that their not used*struct definitions can be attributed with packed< to tell the compiler to use the most compact representation$declarations can be attributed with  deprecated-function declarations can be attributes with noreturn: to tell the compiler that the function will never return,or with const' to indicate that it is a pure functionTODOM: ultimatively, we want to parse attributes and represent them in a typed way language-cAssembler name (alias for CStrLit) language-c%Top level assembler block (alias for CStrLit) language-cVarName name assembler-name is a name of an declared object language-c is currently an alias for .uWe're planning a normalized representation, but this depends on the implementation of constant expression evaluation language-c0Type qualifiers: constant, volatile and restrict" language-cXAn Enumerator consists of an identifier, a constant expressions and the link to its type$ language-c%Representation of C enumeration types% language-c .EnumType name enumeration-constants attrs node& language-c(a tag to determine wheter we refer to a struct or union, see ).) language-c!Composite type (struct or union).- language-ccomposite type declarations/ language-c!floating point type (C99 6.7.2.2)4 language-cintegral types (C99 6.7.2.2)C language-cNtypdef references If the actual type is known, it is attached for convenienceE language-c Builtin type (va_list, anything)H language-cnormalized type representationP language-cAn array type may either have unknown size or a specified array size, the latter either variable or constant. Furthermore, when used as a function parameters, the size may be qualified as staticI. In a function prototype, the size may be `Unspecified variable size' ([*]).Q language-c UnknownArraySize is-starredR language-c "FixedSizeArray is-static size-exprS language-cFunction types are of the form %FunType return-type params isVariadic.?If the parameter types aren't yet known, the function has type FunTypeIncomplete type attrs.V language-ctypes of C objectsW language-ca non-derived typeX language-c pointer typeY language-c array typeZ language-c function type[ language-ca defined type\ language-cHLinkage: Either no linkage, internal to the translation unit or externalb language-c*Storage duration and linkage of a variablec language-c no storaged language-c&automatic storage (optional: register)e language-c?static storage, linkage spec and thread local specifier (gnu c)f language-c-function, either internal or external linkagek language-c#Declaration attributes of the form 0DeclAttrs isInlineFunction storage linkage attrs:They specify the storage and linkage of a declared object.l language-c DeclAttrs fspecs storage attrsm language-cGeneric variable declarationso language-ctypedef definitions.0The identifier is a new name for the given type.q language-cStruct/Union member declarationr language-c $MemberDecl vardecl bitfieldsize nodes language-c AnonBitField typ sizet language-cParameter declarationw language-cFunction definitionsUA function definition is a declaration together with a statement (the function body).y language-cObject DefinitionsCAn object definition is a declaration together with an initializer.rIf the initializer is missing, it is a tentative definition, i.e. a definition which might be overriden later on.{ language-c&Declarations, which aren't definitions} language-cDeclaration eventsPThose events are reported to callbacks, which are executed during the traversal.~ language-c"file-scope struct/union/enum event language-c$file-scope declaration or definition language-cparameter declaration language-c(local variable declaration or definition language-ca type definition language-cassembler block language-c<global declaration/definition table returned by the analysis language-c?identifiers, typedefs and enumeration constants (namespace sum) language-cobject or function declaration language-cobject definition language-cfunction definition language-cdefinition of an enumerator language-c9All datatypes aggregating a declaration are instances of  Declaration language-cLget the name, type and declaration attributes of a declaration or definition language-c!Composite type definitions (tags) language-c6accessor class : composite type tags (struct or union) language-c(accessor class : struct/union/enum names language-c1return the type corresponding to a tag definitionI language-c1get the declaration corresponding to a definition language-ckget the variable identifier of a declaration (only safe if the the declaration is known to have a name) language-cget the variable name of a  Declaration language-cget the type of a  Declaration language-c$get the declaration attributes of a  Declaration language-c,textual description of the kind of an object language-csplitIdentDecls includeAllDecls splits a map of object, function and enumerator declarations and definitions into one map holding declarations, and three maps for object definitions, enumerator definitions and function definitions. If includeAllDecls is Trueu all declarations are present in the first map, otherwise only those where no corresponding definition is available. language-cempty global declaration table language-cfilter global declarations language-cmerge global declarations language-cReturns True- if the given object definition is tentative. language-creturn the idenitifier of a typedef language-cget the b of a declaration language-c.get the `function attributes' of a declaration language-creturn True if the object has linkage language-cGet the linkage of a definition language-c.return the type of a composite type definition language-c%return the type of an enum definition language-cno type qualifiers language-cmerge (&&) two type qualifier sets language-cEmpty attribute list language-cMerge attribute lists TODO&: currently does not remove duplicates  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPRQSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~}~{|yzwxtuvqrsopmnklghijbcdefa`\]^_VWXYZ[STUPRQCDHIJKLMNOEFG456789:;<=>?@AB/0123-.)*&'(+,$%"# ! None 27EMQXb language-coFor an arithmetic operator, if the arguments are of the given types, return the type of the full expression.(c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.comalphaghcNone 27EMQXg language-cNRedefError is caused by an invalid redefinition of the same identifier or type! language-cCBadSpecifierError is caused by an invalid combination of specifiers# language-cEInvalidASTError is caused by the violation of an invariant in the AST !"#$%&'(#$%!"&' ({(c) 2008 Benedikt Huber based on code from c2hs (c) [1999..2001] Manuel M. T. Chakravarty BSD-stylebenedikt.huber@gmail.comalphaghcNone 27EMQX%1 language-cStatus of a declaration2 language-c new entry3 language-cold def was overwritten4 language-cnew def was discarded5 language-c"new def shadows one in outer scope6 language-c kind mismatch7 language-c!Table holding current definitions9 language-cdeclared `ordinary identifiers': language-cdeclared structunion enum tags; language-cdefined labels< language-c member declarations (only local)= language-clink names with definitions? language-cOTag names map to forward declarations or definitions of struct/union/enum typesC language-c All ordinary identifiers map to  IdenTyDecl2: either a typedef or a object/function/enumeratorE language-c@empty definition table, with all name space maps in global scopeF language-c6get the globally defined entries of a definition tableH language-c8Enter function scope (AND the corresponding block scope)I language-c\Leave function scope, and return the associated DefTable. Error if not in function scope.J language-cEnter new block scopeK language-cLeave innermost block scopeL language-c"Enter new member declaration scopeM language-c(Leave innermost member declaration scopeJ language-csameTagKind ty1 ty2 returns True if ty1,ty20 are the same kind of tag (struct,union or enum)P language-c/declare/define a global object/function/typeDefreturns Redeclared defF if there is already an object/function/typeDef in global scope, or DifferentKindRedec def/ if the old declaration is of a different kind.Q language-c;declare/define a object/function/typeDef with lexical scopereturns Redeclared def or DifferentKindRedec defE if there is already an object/function/typeDef in the same scope.R language-cndeclare/define a object/function/typeDef with lexical scope, if the given predicate holds on the old entry.returns  Keep old_def? if the old definition shouldn't be overwritten, and otherwise Redeclared def or DifferentKindRedecl defC if there is already an object/function/typeDef in the same scope.S language-cBdeclare a tag (fwd decl in case the struct name isn't defined yet)T language-c define a tagU language-cVdefine a label Return the old label if it is already defined in this function's scopeV language-c9lookup identifier (object, function, typeDef, enumerator)W language-c lookup tagX language-c lookup labelY language-c'lookup an object in the innermost scopeZ language-c+lookup an identifier in the innermost scope[ language-cRecord the type of a node.\ language-cLookup the type of a node.] language-cfMerge two DefTables. If both tables contain an entry for a given key, they must agree on its value.-123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]-CD?@AB789:;<=>EFGHIJKLM123456NOPQRSTUVWXYZ[\]None 27EMQXd language-c'Constructor for a simple integral type.e language-c-Constructor for a simple floating-point type.f language-c#A simple pointer with no qualifiersK language-cA pointer with the const qualifier.g language-cThe underlying type for uint16_t. For now, this is just unsigned short.h language-cThe underlying type for uint32_t. For now, this is just  unsigned int.i language-cThe underlying type for uint64_t. For now, this is just unsigned long long.j language-c<The type returned by sizeof (size_t). For now, this is just int.k language-cCThe type of pointer differences (ptrdiff_t). For now, this is just int.l language-c4The type of comparisons/guards. This is always just int.m language-cSimple void type.n language-cAn unqualified void pointer.o language-cA const -qualified void pointer.p language-cAn unqualified char pointer.q language-cA const -qualified char pointer.r language-cThe type of a constant string.s language-c3The builtin type of variable-length argument lists.t language-c8Check whether a type is an integral type. This includes enum5 types. This function does not attempt to resolve typedef types.u language-cdCheck whether a type is a floating-point numeric type. This function does not attempt to resolve typedef types.v language-cqCheck whether a type is an pointer type. This includes array types. This function does not attempt to resolve typedef types.w language-cbCheck whether a type is a scalar type. Scalar types include arithmetic types and pointer types.x language-creturn True% if the given type is a function type9Result is undefined in the presence of undefined typeDefsy language-c Return the qualifiers of a type.{ language-c Return the attributes of a type.} language-cReturn the base type of a pointer or array type. It is an error to call this function with a type that is not in one of those two categories.~ language-cresolve typedefs, if possible language-c$Attempt to remove all references to typedef types from a given type. Note that this does not dereference the types of structure or union fields, so there are still cases where further dereferencing is needed.L language-cTrue iff Type is a variable length array or a derived type thereof. Variably modified types have function or block scope, so only some constructions are possible. language-czTwo types denote the same type if they are identical, ignoring type definitions, and neither is a variably modified type.M language-cReturns Nk iff both array sizes denote the same size. Assumes that neither array type was a variably modified type. defghijklmnopqrstuvwxyz{|}~ defghijklmnopqrstuvwxyz{|}~None 27EMQX(c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.comalphaghcNone27=>?@AEMQSX language-cHThe variety of the C language to accept. Note: this is not yet enforced. language-c:simple traversal monad, providing user state and callbacks language-cTraversal monad language-c%handling declarations and definitions language-c throw an ~ language-c catch an ~2 (we could implement dynamically-typed catch here) language-cremember that an ~ occurred (without throwing it) language-c"return the list of recorded errors language-creturn the definition table language-c0perform an action modifying the definition table language-cunique name generation language-chforward declaration of a tag. Only necessary for name analysis, but otherwise no semantic consequences. language-cdefine the given composite type or enumeration If there is a declaration visible, overwrite it with the definition. Otherwise, enter a new definition in the current namespace. If there is already a definition present, yield an error (redeclaration). language-c/handle variable declarations (external object declarations and function prototypes) variable declarations are either function prototypes, or external declarations, and not very interesting on their own. we only put them in the symbol table and call the handle. declarations never override definitions language-c[handle parameter declaration. The interesting part is that parameters can be abstract (if they are part of a type). If they have a name, we enter the name (usually in function prototype or function scope), checking if there are duplicate definitions. FIXME: I think it would be more transparent to handle parameter declarations in a special way language-chandle function definitions language-c*handle object defintions (maybe tentative) language-clookup a type definition the 'wrong kind of object' is an internal error here, because the parser should distinguish typeDefs and other objects language-c(lookup an object, function or enumeratorO language-c-add link between use and definition (private) language-c)create a reference to a struct/union/enumThis currently depends on the fact the structs are tagged with unique names. We could use the name generation of TravMonad as well, which might be the better choice when dealing with autogenerated code. language-c,check wheter non-recoverable errors occurred language-c(raise an error caused by a malformed AST language-c*raise an error based on an Either argument::(c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.com prototypeghcNone 27EMQX language-cMExport global declarations TODO: This does not export tags and type defs yet language-cExport Declarator Synopsis: 5exportDeclr other_specs type attributes variable-name language-cExport a type to syntaxP language-c3export function attributes to C function specifiersQ language-c/express storage in terms of storage specifiers.sThis isn't always possible and depends on the context the identifier is declared. Most importantly, if there is a  conflicting declaration in scope, export is impossible. Furthermore, automatic storage is impossible in file scope. If the storage can actually be specified, the export is correct.  (c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.com prototypeghcNone 27=?EMQX(c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.comalphaghcNone 27>EMQX`R language-cbanalyse and translate a parameter declaration Should be called in either prototype or block scopeS language-cJa parameter declaration has no linkage and either auto or register storageT language-c*analyse and translate a member declaration) language-canalyse declarators+ language-cget the type of a type declarationA type declaration T may appear in thre forms:  typeof(T)6as abstract declarator in a function prototype, as in f(int),in a declaration without declarators, as in struct x { int a } ; Currently, analyseTypeDecl2 is exlusively used for analysing types for GNU's  typeof(T).SWe move attributes to the type, as they have no meaning for the abstract declarator, language-ctranslate a type- language-cBtranslate a type without (syntactic) indirections Due to the GNU typeof6 extension and typeDefs, this can be an arbitrary typeU language-cMerge type attributes!This handles for example the form  const typeof(char volatile) x;V language-ctranslate a enum type decl &enum my_enum enum your_enum { x, y=3 }W language-c)translate and analyse an enumeration type. language-cUMapping from num type specs to C types (C99 6.7.2-2), ignoring the complex qualifier.3 language-cconvert old style parametersUThis requires matching parameter names and declarations, as in the following example: $int f(d,c,a,b) char a,*b; int c; { }is converted to $int f(int d, int c, char a, char* b)CTODO: This could be moved to syntax, as it operates on the AST onlyX language-cVsplit a CDecl into declarators, hereby eliding SUE defs from the second declarator on.There are several reasons why this isn't the preferred way for handling multiple-declarator declarations, but it can be convinient some times. ZsplitCDecl [d| struct x { int z; } a,*b; |] [ [d| struct x { int z; } a, struct x *b; |] ]TODO?: This could be moved to syntax, as it operates on the AST only4 language-c translate  attribute2 annotations TODO: This is a unwrap and wrap stub5 language-c9construct a name for a variable TODO: more or less bogus=     $% !"#&'()*+,-./01234567=+,-./031     2$% !"#&'*4576)(None 27EMQXBCMLKJIHGFEDNOPQRSTUVWBCMLKJIHGFEDNOPQRSTUVWNone 27=?EMQX% c language-c!Determine the type of a constant.d language-c+Determine whether two types are compatible.e language-c5Determine the composite type of two compatible types.n language-cGDetermine whether two types are compatible in an assignment expression.o language-c)Determine the type of a binary operation.p language-c/Determine the type of a conditional expression.s language-cGet the type of field m of type tt language-cgGet all members of a struct, union, or enum, with their types. Collapse fields of anonymous members.u language-c]Expand an anonymous composite type into a list of member names and their associated types."XYZ[\]^_`abcdefghijklmnopqrstuvwxy"XYZ[\]^_`abcdefghijklmnopqrstuvwxyNone 27EMQX'{z{|}z{|}(c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.comalphaghcNone 27EMQXI!~ language-cAnalyse the given ASTanalyseAST ast results in global declaration dictionaries. If you want to perform specific actions on declarations or definitions, you may provide callbacks in the  MonadTrav m.Returns the set of global declarations and definitions which where successfully translated. It is the users responsibility to check whether any hard errors occurred (runTrav does this for you). language-c Analyse an top-level declaration language-cAnalyse a function definition language-c6Analyse a declaration other than a function definition(Note: static assertions are not analysedY language-cAnalyse a typedefZ language-c(compute storage of a function definitionLa function definition has static storage with internal linkage if specified static-, the previously declared linkage if any if extern7 or no specifier are present. (See C99 6.2.2, clause 5){This function won't raise an Trav error if the declaration is incompatible with the existing one, this case is handled in .[ language-chandle a function prototype\ language-c(handle a object declaration / definitionWe have to check the storage specifiers here, as they determine wheter we're dealing with decalartions or definitions see [http:/www.sivity.netprojects language.cwiki/ExternalDefinitions]] language-cDhandle a function-scope object declaration / definition see [http:/www.sivity.netprojects language.cwiki/LocalDefinitions]^ language-clGiven a context, determine the type declaration for the enclosing function, if possible, given a context. language-cXTypecheck a statement, given a statement context. The type of a statement is usually voidI, but expression statements and blocks can sometimes have other types._ language-cTypecheck a block item. When statement expressions are blocks, they have the type of their last expression statement, so this needs to return a type.` language-c`Typecheck an expression, with information about whether it appears as an lvalue or an rvalue.a language-cReturn the type of a builtin.~~&(c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.comalphaghcNone 27EMQXK,C  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPRQSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ !"#$%&'(     $% !"#&'()*+,-./01234567~(c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalportableNone 27EMQX` language-c&Generic arguments for the preprocessor language-c$Generic Options for the preprocessor language-cA encapsulates the abstract interface for invoking C preprocessors language-cYparse the given command line arguments, and return a pair of parsed and ignored arguments language-crun the preprocessorb language-c%file extension of a preprocessed file language-c4Cpp arguments that only specify the input file name. language-c;use the given preprocessor arguments without analyzing them language-c6add a typed option to the given preprocessor arguments language-c7add a string option to the given preprocessor arguments language-c#run the preprocessor and return an  if preprocesssing succeededc language-ccreate an output file, given  Maybe tmpdir and  inputfiled language-c-compute output file name from input file namee language-ccreate a temporary file language-c7guess whether a file is preprocessed (file end with .i)(c) 2008 Benedikt Huber BSD-stylebenedikt.huber@gmail.com experimentalportableNone 27EMQXi language-cGCC+ represents a reference to the gcc compiler language-ccreate a reference to gccf language-cParse arguments for preprocessing via GCC. At least one .c, .hc or .h file has to be present. For now we only support the most important gcc options.|1) Parse all flags relevant to CppArgs 2) Move -c,-S,-M? to other_args 3) Strip -E 4) The rest goes into extra_args(c) 2008 Benedikt Huber [1995..2007] Manuel M. T. Chakravarty Duncan Coutts Betram Felgenhauer BSD-stylebenedikt.huber@gmail.com experimentalghcNone 27EMQXq language-c3preprocess (if necessary) and parse a C source file Synopsis: parseCFile preprocesssor tmp-dir? cpp-opts file Example: parseCFile (newGCC "gcc") Nothing ["-I/usr/include/gtk-2.0"] my-gtk-exts.c language-c$parse an already preprocessed C file Synopsis: parseCFilePre file.in%&(*+),-/013456EFGIHLMNPQSU`bcdefgijkl|}~      !"#$%&'()*+,-./HJIKLMNOPQRSTUVWXYZk[\]^_`abcdefghijlmnopqrstuvwxyz{|~}    g'()*+,-./0123456789:;<=>>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnmopqrstuvwxyz{|}~                                                    """" ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f f g h i j k l m n o p q r s t u v w x y z { | } ~      l                                                                                                                                                                               ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                                                                                                                %%%%%                 ! " # $ % & & ' ' ( ) * + + , , - - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B B C D E F G H I J K L M N O N P P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c c d e f f g g h h i i j k k l m m n n o o p q p r s t u v v w x y z { | } ~ {                                                                                                                                           !"##$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrrstuvwxyz{|}~3456      !"#$%&&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijkllmnopqrstuvwxyz{|}~    !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ! ! ! ! !!!!!!!!!!""""""""" "!"."""#"$"%"&#'#()*%+%+ ,-./0123456789:;<=>?@ABCDEFGHIJ'language-c-0.8.3-4h4kPuPVDBeKFQQlUbpOnx Language.C.Analysis.NameSpaceMapLanguage.C.Data.InputStreamLanguage.C.Data.NameLanguage.C.Data.PositionLanguage.C.Data.NodeLanguage.C.Data.IdentLanguage.C.Data.ErrorLanguage.C.ParserLanguage.C.Syntax.ConstantsLanguage.C.Syntax.OpsLanguage.C.Syntax.ASTLanguage.C.PrettyLanguage.C.Analysis.SemRep#Language.C.Analysis.TypeConversionsLanguage.C.Analysis.SemErrorLanguage.C.Analysis.DefTableLanguage.C.Analysis.TypeUtilsLanguage.C.Analysis.BuiltinsLanguage.C.Analysis.TravMonadLanguage.C.Analysis.ExportLanguage.C.Analysis.DebugLanguage.C.Analysis.AstAnalysis Language.C.Analysis.DeclAnalysisLanguage.C.Analysis.ConstEvalLanguage.C.Analysis.TypeCheckLanguage.C.Syntax.UtilsLanguage.C.System.PreprocessLanguage.C.System.GCC Language.CLanguage.C.DataLanguage.C.Data.RListLanguage.C.Parser.BuiltinLanguage.C.Parser.TokensLanguage.C.Parser.ParserMonadLanguage.C.Parser.LexerLanguage.C.SyntaxLanguage.C.Parser.ParserLanguage.C.Analysis NameSpaceMap globalNames hasLocalNames localNames nameSpaceMap defGlobal enterNewScope leaveScopedefLocal lookupName lookupGloballookupInnermostScope nsMapToListmergeNameSpace InputStreamtakeBytetakeCharinputStreamEmpty takeCharsreadInputStreaminputStreamToStringinputStreamFromString countLinesNamenameId newNameSupplynamesStartingFrom $fEnumName $fNFDataName $fShowName $fReadName$fEqName $fOrdName$fIxName $fDataName $fGenericNamePosposOf PosLengthPosition posOffsetposRow posColumnposFile posParentpositioninitPos isSourcePosnoposisNoPos builtinPos isBuiltinPos internalPos isInternalPosincPosretPos incOffset$fShowPosition$fNFDataPosition$fNFDataFilePosition $fEqPosition $fOrdPosition$fDataPosition$fGenericPosition$fEqFilePosition$fOrdFilePosition$fDataFilePosition$fGenericFilePositionCNodenodeInfoNodeInfoOnlyPos lengthOfNodegetLastTokenPos nameOfNode posOfNode fileOfNodeeqByName internalNode undefNode isUndefNodemkNodeInfoOnlyPosmkNodeInfoPosLen mkNodeInfo mkNodeInfo' $fPosNodeInfo$fShowNodeInfo$fNFDataNodeInfo $fCNodeEither$fCNodeNodeInfo$fDataNodeInfo $fEqNodeInfo $fOrdNodeInfo$fGenericNodeInfoIdentSUERef AnonymousRefNamedRefisAnonymousRefmkIdent internalIdentinternalIdentAt builtinIdentisInternalIdent identToStringsueRefToString dumpIdent $fPosIdent $fCNodeIdent $fOrdIdent $fEqIdent $fNFDataIdent$fNFDataSUERef $fDataIdent $fShowIdent$fGenericIdent $fDataSUERef $fOrdSUERef $fEqSUERef $fShowSUERef$fGenericSUERef UserErrorUnsupportedFeatureError errorInfotoError fromErrorchangeErrorLevelCError ErrorInfo ErrorLevel LevelWarn LevelError LevelFatal isHardError mkErrorInfoerrorPos errorLevel errorMsgsunsupportedFeatureunsupportedFeature_userErr showError showErrorInfo internalErr$fShowErrorLevel$fShowErrorInfo $fErrorCError $fShowCError$fErrorErrorInfo$fShowUnsupportedFeature$fErrorUnsupportedFeature$fShowUserError$fErrorUserError$fEqErrorLevel$fOrdErrorLevelbuiltinTypeNamesFlagsCString ClangCVersionCFloatCIntegerCIntFlag FlagUnsignedFlagLong FlagLongLongFlagImagCIntReprDecReprHexRepr OctalReprCCharCChars showCharConstgetCChar getCCharAsInt isWideCharcCharcChar_wcChars readCInteger getCIntegercIntegercFloat readCFloatreadClangCVersioncString cString_w getCStringconcatCStrings showStringLit escapeChar unescapeCharunescapeStringnoFlagssetFlag clearFlagtestFlag $fNFDataCChar $fShowCChar$fNFDataCIntRepr$fNFDataCIntFlag$fShowCIntFlag$fNFDataCFloat $fShowCFloat$fShowClangCVersion$fNFDataCString $fShowCString $fNFDataFlags$fNFDataCInteger$fShowCInteger $fEqCChar $fOrdCChar $fDataCChar$fGenericCChar $fEqCIntRepr $fOrdCIntRepr$fEnumCIntRepr$fBoundedCIntRepr$fDataCIntRepr$fGenericCIntRepr $fEqCIntFlag $fOrdCIntFlag$fEnumCIntFlag$fBoundedCIntFlag$fDataCIntFlag$fGenericCIntFlag $fEqCFloat $fOrdCFloat $fDataCFloat$fGenericCFloat$fEqClangCVersion$fOrdClangCVersion$fDataClangCVersion $fEqCString $fOrdCString $fDataCString$fGenericCString $fEqFlags $fOrdFlags $fDataFlags$fGenericFlags$fGeneric1Flags $fEqCInteger $fOrdCInteger$fDataCInteger$fGenericCIntegerP ParseError execParserCUnaryOp CPreIncOp CPreDecOp CPostIncOp CPostDecOpCAdrOpCIndOpCPlusOpCMinOpCCompOpCNegOp CBinaryOpCMulOpCDivOpCRmdOpCAddOpCSubOpCShlOpCShrOpCLeOpCGrOpCLeqOpCGeqOpCEqOpCNeqOpCAndOpCXorOpCOrOpCLndOpCLorOp CAssignOp CMulAssOp CDivAssOp CRmdAssOp CAddAssOp CSubAssOp CShlAssOp CShrAssOp CAndAssOp CXorAssOpCOrAssOp assignBinopisCmpOpisPtrOpisBitOp isLogicOp isEffectfulOp$fNFDataCAssignOp$fNFDataCBinaryOp$fNFDataCUnaryOp $fEqCAssignOp$fOrdCAssignOp$fShowCAssignOp$fDataCAssignOp$fGenericCAssignOp $fEqCBinaryOp$fOrdCBinaryOp$fShowCBinaryOp$fDataCBinaryOp$fGenericCBinaryOp $fEqCUnaryOp $fOrdCUnaryOp$fShowCUnaryOp$fDataCUnaryOp$fGenericCUnaryOp Annotated annotationamapCStringLiteralCStrLit CConstant CIntConst CCharConst CFloatConst CStrConstCConst CBuiltinThing CBuiltinVaArgCBuiltinOffsetOfCBuiltinTypesCompatibleCBuiltinConvertVectorCBuiltin CExpressionCCommaCAssignCCondCBinaryCCastCUnary CSizeofExpr CSizeofType CAlignofExpr CAlignofType CComplexReal CComplexImagCIndexCCallCMemberCVar CCompoundLitCGenericSelection CStatExpr CLabAddrExpr CBuiltinExprCExpr CAttributeCAttrCPartDesignator CArrDesig CMemberDesig CRangeDesig CDesignatorCInitializerList CInitList CInitializer CInitExprCInit CEnumerationCEnum CStructTag CUnionTagCStructureUnionCStruct CStructUnionCAlignmentSpecifier CAlignAsType CAlignAsExpr CAlignSpecCFunctionSpecifier CInlineQual CNoreturnQualCFunSpecCTypeQualifier CConstQual CVolatQual CRestrQual CAtomicQual CAttrQual CNullableQual CNonnullQual CClRdOnlyQual CClWrOnlyQual CTypeQualCTypeSpecifier CVoidType CCharType CShortTypeCIntType CLongType CFloatType CDoubleType CSignedType CUnsigType CBoolType CComplexType CInt128Type CFloatNTypeCSUType CEnumTypeCTypeDef CTypeOfExpr CTypeOfType CAtomicType CTypeSpecCStorageSpecifierCAuto CRegisterCStaticCExternCTypedefCThread CClKernel CClGlobalCClLocal CStorageSpecCDeclarationSpecifier CDeclSpecCCompoundBlockItem CBlockStmt CBlockDecl CNestedFunDef CBlockItemCAssemblyOperand CAsmOperandCAssemblyStatementCAsmStmt CStatementCLabelCCaseCCasesCDefault CCompoundCIfCSwitchCWhileCForCGotoCGotoPtrCContCBreakCReturnCAsmCStat CArraySize CNoArrSizeCArrSizeCDerivedDeclarator CPtrDeclr CArrDeclr CFunDeclr CDerivedDeclr CDeclaratorCDeclr CDeclarationCDecl CStaticAssert CFunctionDefCFunDefCExternalDeclarationCDeclExtCFDefExtCAsmExtCExtDeclCTranslationUnit CTranslUnitpartitionDeclSpecsisSUEDef cstringOfLit liftStrLit$fFunctorCStorageSpecifier$fPosCStorageSpecifier$fCNodeCStorageSpecifier$fNFDataCStorageSpecifier$fFunctorCFunctionSpecifier$fPosCFunctionSpecifier$fCNodeCFunctionSpecifier$fNFDataCFunctionSpecifier$fNFDataCStructTag$fFunctorCConstant$fPosCConstant$fCNodeCConstant$fNFDataCConstant$fFunctorCStringLiteral$fPosCStringLiteral$fCNodeCStringLiteral$fNFDataCStringLiteral$fFunctorCBuiltinThing$fPosCBuiltinThing$fCNodeCBuiltinThing$fPosCExpression$fCNodeCExpression$fFunctorCAttribute$fPosCAttribute$fCNodeCAttribute$fFunctorCPartDesignator$fPosCPartDesignator$fCNodeCPartDesignator$fPosCInitializer$fCNodeCInitializer$fFunctorCEnumeration$fPosCEnumeration$fCNodeCEnumeration$fFunctorCStructureUnion$fPosCStructureUnion$fCNodeCStructureUnion$fFunctorCAlignmentSpecifier$fPosCAlignmentSpecifier$fCNodeCAlignmentSpecifier$fFunctorCTypeQualifier$fPosCTypeQualifier$fCNodeCTypeQualifier$fFunctorCTypeSpecifier$fPosCTypeSpecifier$fCNodeCTypeSpecifier$fFunctorCDeclarationSpecifier$fPosCDeclarationSpecifier$fCNodeCDeclarationSpecifier$fFunctorCCompoundBlockItem$fPosCCompoundBlockItem$fCNodeCCompoundBlockItem$fFunctorCAssemblyOperand$fPosCAssemblyOperand$fCNodeCAssemblyOperand$fFunctorCAssemblyStatement$fPosCAssemblyStatement$fCNodeCAssemblyStatement$fPosCStatement$fCNodeCStatement$fFunctorCArraySize$fPosCDerivedDeclarator$fCNodeCDerivedDeclarator$fFunctorCDeclarator$fPosCDeclarator$fCNodeCDeclarator$fPosCDeclaration$fCNodeCDeclaration$fFunctorCFunctionDef$fPosCFunctionDef$fCNodeCFunctionDef$fNFDataCBuiltinThing$fFunctorCExpression$fNFDataCExpression$fNFDataCAttribute$fNFDataCPartDesignator$fFunctorCInitializer$fNFDataCInitializer$fNFDataCEnumeration$fNFDataCStructureUnion$fNFDataCAlignmentSpecifier$fNFDataCTypeQualifier$fNFDataCTypeSpecifier$fNFDataCDeclarationSpecifier$fNFDataCCompoundBlockItem$fNFDataCAssemblyOperand$fNFDataCAssemblyStatement$fFunctorCStatement$fNFDataCStatement$fNFDataCArraySize$fFunctorCDerivedDeclarator$fNFDataCDerivedDeclarator$fNFDataCDeclarator$fFunctorCDeclaration$fNFDataCDeclaration$fNFDataCFunctionDef$fFunctorCExternalDeclaration$fPosCExternalDeclaration$fCNodeCExternalDeclaration$fNFDataCExternalDeclaration$fFunctorCTranslationUnit$fPosCTranslationUnit$fCNodeCTranslationUnit$fNFDataCTranslationUnit$fAnnotatedCStringLiteral$fAnnotatedCConstant$fAnnotatedCBuiltinThing$fAnnotatedCExpression$fAnnotatedCAttribute$fAnnotatedCPartDesignator$fAnnotatedCInitializer$fAnnotatedCEnumeration$fAnnotatedCStructureUnion$fAnnotatedCAlignmentSpecifier$fAnnotatedCFunctionSpecifier$fAnnotatedCTypeQualifier$fAnnotatedCTypeSpecifier$fAnnotatedCStorageSpecifier $fAnnotatedCDeclarationSpecifier$fAnnotatedCCompoundBlockItem$fAnnotatedCAssemblyOperand$fAnnotatedCAssemblyStatement$fAnnotatedCStatement$fAnnotatedCDerivedDeclarator$fAnnotatedCDeclarator$fAnnotatedCDeclaration$fAnnotatedCFunctionDef$fAnnotatedCExternalDeclaration$fAnnotatedCTranslationUnit$fShowCStorageSpecifier$fEqCStorageSpecifier$fOrdCStorageSpecifier$fDataCStorageSpecifier$fGenericCStorageSpecifier$fGeneric1CStorageSpecifier$fShowCFunctionSpecifier$fDataCFunctionSpecifier$fGenericCFunctionSpecifier$fGeneric1CFunctionSpecifier$fShowCStructTag$fEqCStructTag$fDataCStructTag$fGenericCStructTag$fShowCConstant$fDataCConstant$fGenericCConstant$fGeneric1CConstant$fShowCStringLiteral$fDataCStringLiteral$fGenericCStringLiteral$fGeneric1CStringLiteral$fShowCDeclaration$fDataCDeclaration$fGenericCDeclaration$fDataCExpression$fShowCExpression$fGenericCExpression$fShowCBuiltinThing$fDataCBuiltinThing$fGenericCBuiltinThing$fShowCPartDesignator$fDataCPartDesignator$fGenericCPartDesignator$fShowCInitializer$fDataCInitializer$fGenericCInitializer$fShowCStatement$fDataCStatement$fGenericCStatement$fShowCAttribute$fDataCAttribute$fGenericCAttribute$fGeneric1CAttribute$fShowCCompoundBlockItem$fDataCCompoundBlockItem$fGenericCCompoundBlockItem$fGeneric1CCompoundBlockItem$fShowCFunctionDef$fDataCFunctionDef$fGenericCFunctionDef$fGeneric1CFunctionDef$fShowCDeclarationSpecifier$fDataCDeclarationSpecifier$fGenericCDeclarationSpecifier$fGeneric1CDeclarationSpecifier$fShowCAlignmentSpecifier$fDataCAlignmentSpecifier$fGenericCAlignmentSpecifier$fGeneric1CAlignmentSpecifier$fShowCTypeQualifier$fDataCTypeQualifier$fGenericCTypeQualifier$fGeneric1CTypeQualifier$fShowCTypeSpecifier$fDataCTypeSpecifier$fGenericCTypeSpecifier$fGeneric1CTypeSpecifier$fShowCEnumeration$fDataCEnumeration$fGenericCEnumeration$fGeneric1CEnumeration$fShowCStructureUnion$fDataCStructureUnion$fGenericCStructureUnion$fGeneric1CStructureUnion$fShowCDeclarator$fDataCDeclarator$fGenericCDeclarator$fGeneric1CDeclarator$fShowCDerivedDeclarator$fDataCDerivedDeclarator$fGenericCDerivedDeclarator$fShowCArraySize$fDataCArraySize$fGenericCArraySize$fGeneric1CArraySize$fShowCAssemblyStatement$fDataCAssemblyStatement$fGenericCAssemblyStatement$fGeneric1CAssemblyStatement$fShowCAssemblyOperand$fDataCAssemblyOperand$fGenericCAssemblyOperand$fGeneric1CAssemblyOperand$fShowCExternalDeclaration$fDataCExternalDeclaration$fGenericCExternalDeclaration$fGeneric1CExternalDeclaration$fShowCTranslationUnit$fDataCTranslationUnit$fGenericCTranslationUnit$fGeneric1CTranslationUnitPrettypretty prettyPrecprettyUsingInclude$fPrettyCStringLiteral$fPrettyCConstant$fPrettyCUnaryOp$fPrettyCBinaryOp$fPrettyCAssignOp$fPrettyCBuiltinThing$fPrettyCExpression$fPrettyCAttribute$fPrettyCPartDesignator$fPrettyCInitializer$fPrettyCArraySize$fPrettyCDeclarator$fPrettyCEnumeration$fPrettyCStructTag$fPrettyCStructureUnion$fPrettyCFunctionSpecifier$fPrettyCTypeQualifier$fPrettyCTypeSpecifier$fPrettyCStorageSpecifier$fPrettyCAlignmentSpecifier$fPrettyCDeclarationSpecifier$fPrettyCDeclaration$fPrettyCCompoundBlockItem$fPrettyCAssemblyOperand$fPrettyCAssemblyStatement$fPrettyCStatement$fPrettyCFunctionDef$fPrettyCExternalDeclaration$fPrettyCTranslationUnitparseC translUnitPextDeclP statementP expressionP execParser_ExprStmt AttributesAttrAsmNameAsmBlockVarNameNoName Initializer TypeQualsconstantvolatilerestrictatomicnullablenonnullclrdonlyclwronly EnumeratorEnumType CompTyKind StructTagUnionTagCompType EnumTypeRef CompTypeRef FloatTypeTyFloatTyDouble TyLDoubleTyFloatNIntTypeTyBoolTyCharTySCharTyUCharTyShortTyUShortTyIntTyUIntTyInt128 TyUInt128TyLongTyULongTyLLongTyULLong TypeDefRef BuiltinTypeTyVaListTyAnyTypeNameTyVoid TyIntegral TyFloating TyComplexTyCompTyEnum TyBuiltin ArraySizeUnknownArraySizeFunTypeFunTypeIncompleteType DirectTypePtrType ArrayType FunctionType TypeDefTypeLinkage NoLinkageInternalLinkageExternalLinkageRegister ThreadLocalStorage NoStorageAutoStatic FunLinkage FunctionAttrsisInline isNoreturn DeclAttrsVarDeclTypeDef MemberDecl AnonBitField ParamDeclAbstractParamDeclFunDefObjDefDecl DeclEventTagEvent ParamEvent LocalEvent TypeDefEventAsmEvent GlobalDeclsgObjsgTags gTypeDefs IdentDecl Declaration ObjectDef FunctionDef EnumeratorDef getVarDeclTagDefCompDefEnumDef HasCompTyKindcompTag HasSUERefsueRef typeOfTagDef declIdentdeclNamedeclType declAttrs objKindDescrsplitIdentDeclsemptyGlobalDeclsfilterGlobalDeclsmergeGlobalDecls isTentativeidentOfTypeDef isExtDecl declStorage functionAttrsnoFunctionAttrs hasLinkage declLinkage typeOfCompDef typeOfEnumDef noTypeQualsmergeTypeQualsidentOfVarNameisNoName noAttributesmergeAttributes $fShowIntType$fShowFloatType$fPosEnumTypeRef$fCNodeEnumTypeRef$fHasSUERefEnumTypeRef$fShowCompTyKind$fPosCompTypeRef$fCNodeCompTypeRef$fHasSUERefCompTypeRef$fHasCompTyKindCompTypeRef$fOrdTypeQuals $fEqTypeQuals $fPosAttr $fCNodeAttr$fPosEnumerator$fCNodeEnumerator $fPosEnumType$fCNodeEnumType$fHasSUERefEnumType$fPosTypeDefRef$fCNodeTypeDefRef$fPosParamDecl$fCNodeParamDecl $fPosFunDef $fCNodeFunDef $fPosObjDef $fCNodeObjDef $fPosDecl $fCNodeDecl$fPosIdentDecl$fCNodeIdentDecl$fDeclarationEnumerator$fDeclarationVarDecl$fDeclarationParamDecl$fDeclarationFunDef$fDeclarationObjDef$fDeclarationDecl$fDeclarationIdentDecl$fDeclarationEither $fPosTypeDef$fCNodeTypeDef$fPosMemberDecl$fCNodeMemberDecl$fDeclarationMemberDecl $fPosCompType$fCNodeCompType$fHasCompTyKindCompType$fHasSUERefCompType $fPosTagDef $fCNodeTagDef$fHasSUERefTagDef$fPosDeclEvent$fCNodeDeclEvent$fEqFunctionAttrs$fOrdFunctionAttrs$fDataFunctionAttrs $fDataLinkage $fShowLinkage $fEqLinkage $fOrdLinkage $fDataStorage $fShowStorage $fEqStorage $fOrdStorage$fDataBuiltinType $fDataIntType $fEqIntType $fOrdIntType$fDataFloatType $fEqFloatType$fOrdFloatType$fDataEnumTypeRef$fEqCompTyKind$fOrdCompTyKind$fDataCompTyKind$fDataCompTypeRef$fDataTypeName$fDataTypeQuals $fDataVarName $fDataAttr$fDataDeclAttrs$fDataEnumerator$fDataEnumType$fDataArraySize $fDataType$fDataTypeDefRef $fDataFunType$fDataParamDecl $fDataVarDecl $fDataFunDef $fDataObjDef $fDataDecl$fDataIdentDecl $fDataTypeDef$fDataMemberDecl$fDataCompType $fDataTagDefarithmeticConversionfloatConversion intConversion TypeMismatch RedefKind DuplicateDefDiffKindRedecl ShadowedDefDisagreeLinkage NoLinkageOld RedefInfo RedefErrorBadSpecifierErrorInvalidASTError InvalidAST invalidASTbadSpecifierError typeMismatch redefinition$fShowInvalidASTError$fErrorInvalidASTError$fShowBadSpecifierError$fErrorBadSpecifierError$fErrorRedefError$fShowRedefError$fErrorTypeMismatch$fShowTypeMismatchDeclarationStatusNewDecl RedeclaredKeepDefShadowed KindMismatchDefTable identDeclstagDecls labelDefs memberDeclsrefTable typeTableTagEntry TagFwdDeclCompDeclEnumDecl IdentEntry identOfTyDecl emptyDefTable globalDefs inFileScopeenterFunctionScopeleaveFunctionScopeenterBlockScopeleaveBlockScopeenterMemberDeclleaveMemberDecldeclStatusDescr defineTypeDefdefineGlobalIdentdefineScopedIdentdefineScopedIdentWhen declareTag defineTag defineLabel lookupIdent lookupTag lookupLabellookupIdentInnerlookupTagInner insertType lookupType mergeDefTable$fCNodeTagFwdDecl$fHasSUERefTagFwdDecl$fShowTagEntryKind$fDataDeclarationStatus$fEqTagEntryKind$fOrdTagEntryKindintegralfloating simplePtr uint16_tType uint32_tType uint64_tType size_tType ptrDiffTypeboolTypevoidTypevoidPtr constVoidPtrcharPtr constCharPtr stringType valistTypeisIntegralTypeisFloatingType isPointerType isScalarTypeisFunctionType typeQuals typeQualsUpd typeAttrs typeAttrsUpdbaseType derefTypeDefdeepDerefTypeDefsameType canonicalType getIntType getFloatTypebuiltins TravState userState TravOptionslanguage CLanguageC89C99GNU89GNU99Trav MonadTrav handleDecl MonadCErrorthrowTravErrorcatchTravError recordError getErrors MonadSymtab getDefTable withDefTable MonadNamegenName handleTagDecl handleTagDefhandleEnumeratorDef handleTypeDefhandleAsmBlock handleVarDeclhandleParamDecl handleFunDefhandleObjectDefenterPrototypeScopeleavePrototypeScope lookupTypeDef lookupObject createSUERefhandleTravError hadHardErrorsastError throwOnLeftwarnrunTravrunTrav_withExtDeclHandler travErrors initTravStatemodifyUserState getUserState modifyOptions mapMaybeMmaybeMmapSndM concatMapM$fMonadTravTrav$fMonadCErrorTrav$fMonadSymtabTrav$fMonadNameTrav $fMonadTrav$fApplicativeTrav $fFunctorTravexport exportDeclrexportTypeDecl exportTypeDef exportTypeexportTypeSpecexportCompTypeDeclexportEnumTypeDeclexportCompTypeexportCompTypeRefexportEnumTypeexportEnumTypeRef prettyAssocsprettyAssocsWithglobalDeclStats $fPrettyAttr $fPretty[]$fPrettyVarName$fPrettyLinkage$fPrettyStorage$fPrettyFunctionAttrs$fPrettyEnumerator$fPrettyEnumType$fPrettyMemberDecl$fPrettyCompType$fPrettyTypeQuals $fPrettyType$fPrettyDeclAttrs$fPrettyParamDecl$fPrettyVarDecl$fPrettyFunDef$fPrettyObjDef$fPrettyTypeDef $fPrettyDecl$fPrettyIdentDecl$fPrettyTagDef$fPrettySUERef $fPrettyIdent$fPrettyEnumTypeRef$fPrettyCompTypeRef$fPrettyCompTyKind$fPrettyTagFwdDecl$fPrettyEither$fPrettyGlobalDecls$fPrettyDefTableExprSideLValueRValueStmtCtxFunCtxLoopCtx SwitchCtxtExprTypeSpecAnalysisTSNoneTSVoidTSBoolTSNum TSTypeDefTSType TSNonBasic NumTypeSpecbasesignSpecsizeMod isComplexSizeMod NoSizeModShortModLongMod LongLongModSignSpec NoSignSpecSignedUnsigned NumBaseType NoBaseTypeBaseCharBaseInt BaseInt128 BaseFloat BaseFloatN BaseDouble VarDeclInfo StorageSpec NoStorageSpecAutoSpecRegSpec ThreadSpec StaticSpec ExternSpec ClKernelSpec ClGlobalSpec ClLocalSpechasThreadLocalSpechasClKernelSpecanalyseVarDecl'analyseVarDecl isTypeDefanalyseTypeDecltType tDirectTypetNumType tArraySize tTypeQualscanonicalTypeSpeccanonicalStorageSpec mergeOldStyletAttr mkVarName nameOfDecl getOnlyDeclr$fEqStorageSpec$fOrdStorageSpec$fShowStorageSpec$fReadStorageSpec$fEqNumBaseType$fOrdNumBaseType $fEqSignSpec $fOrdSignSpec $fEqSizeMod $fOrdSizeMod MachineDesciSizefSize builtinSizeptrSizevoidSizeiAlignfAlign builtinAlignptrAlign voidAlignintExpr sizeofType alignofTypecompSizeintOpintUnOp withWordBytes boolValueintValue constEvalpTypetypeErrorOnLeft typeErrornotFound checkScalar'checkIntegral'assignCompatible' binopType'conditionalType' checkScalar checkIntegral constType compatible compositeType compositeSize sizeEqual mergeAttrscompositeParamDeclcompositeParamDecl'compositeVarDeclcompositeDeclAttrscastCompatibleassignCompatible binopTypeconditionalType derefType varAddrType fieldType tagMembersexpandAnonymous lookupSUE deepTypeAttrs typeDefAttrssueAttrs getSubStmts mapSubStmtsmapBlockItemStmts getLabels analyseAST analyseExt analyseFunDef analyseDecl defineParamsanalyseFunctionBodytStmt defaultMD tDesignator $fEqExprSide$fShowExprSideCppArgs cppOptions extraOptions cppTmpDir inputFile outputFile CppOption IncludeDirDefineUndefine IncludeFile Preprocessor parseCPPArgsrunCPPcppFile rawCppArgs addCppOptionaddExtraOptionrunPreprocessorisPreprocessedGCCnewGCC$fPreprocessorGCC parseCFile parseCFilePreGHC.BaseString posFileInfo FilePosition posSrcFile posParentFileRListReversedempty singletonsnocrappendappendrrappendrrmapreverseviewrghc-prim GHC.TypesCharisAsciiSourceCharisCChar escapeCCharisSChar ClangCTokClangCVersionTokClangBuiltinConvertVectorGnuCTok GnuCAttrTok GnuCExtTok GnuCVaArg GnuCOffsetof GnuCTyCompatGnuCComplexRealGnuCComplexImagCTokenCTokEof CTokLParen CTokRParen CTokLBracket CTokRBracket CTokArrowCTokDot CTokExclam CTokTildeCTokIncCTokDecCTokPlus CTokMinusCTokStar CTokSlash CTokPercent CTokAmper CTokShiftL CTokShiftRCTokLess CTokLessEqCTokHigh CTokHighEq CTokEqual CTokUnequalCTokHatCTokBarCTokAndCTokOr CTokQuest CTokColon CTokAssign CTokPlusAss CTokMinusAss CTokStarAss CTokSlashAss CTokPercAss CTokAmpAss CTokHatAss CTokBarAss CTokSLAss CTokSRAss CTokComma CTokSemic CTokLBrace CTokRBrace CTokEllipsis CTokAlignof CTokAlignasCTokAsm CTokAtomicCTokAuto CTokBreakCTokBoolCTokCaseCTokChar CTokConst CTokContinue CTokComplex CTokDefaultCTokDo CTokDoubleCTokElseCTokEnum CTokExtern CTokFloat CTokFloatNCTokFor CTokGenericCTokGotoCTokIf CTokInlineCTokInt CTokInt128CTokLong CTokLabel CTokNoreturn CTokNullable CTokNonnull CTokRegister CTokRestrict CTokReturn CTokShort CTokSigned CTokSizeof CTokStaticCTokStaticAssert CTokStruct CTokSwitch CTokTypedef CTokTypeof CTokThread CTokUnion CTokUnsignedCTokVoid CTokVolatile CTokWhileCTokCLitCTokILitCTokFLitCTokSLit CTokIdent CTokTyIdentCTokGnuC CTokClangC CTokClKernel CTokClRdOnly CTokClWrOnly CTokClGlobal CTokClLocal posLenOfTok setLastTokenhandleEofTokenfailP getNewNamesetPosgetPos addTypedef shadowTypedef isTypeIdent enterScopegetInputsetInput getLastToken getSavedTokengetCurrentPosition parseErrorlexCGHC.Num*HappyStk declOfDeftagKindconstPtrisVariablyModifiedType sameArraySizeTrueaddRefexportFunAttrs exportStorage tParamDeclcomputeParamStorage tMemberDeclsmergeTypeAttributes tEnumTypeDecl tEnumType splitCDeclanalyseTypeDefcomputeFunDefStorage extFunProto extVarDecl localVarDeclenclosingFunctionType tBlockItemtExpr' builtinTypepreprocessedExt mkOutputFilegetOutputFileName mkTmpFilegccParseCPPArgs