\      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                         GHC-only experimentalFontaine@cs.uni-duesseldorf.de Safe-Inferred7INCOMPLETE list of built-ins that are not CSPM-syntax. 5 | Todo: add more BuiltIns here are migrate the AST. portable experimental Safe-Inferred                 GHC-only provisionalFontaine@cs.uni-duesseldorf.deNone%The token classes of the CSP-M lexer |  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}|  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}|}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!  {}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!  GHC-only experimentalNone~~~~ Safe-Inferred  GHC-only provisionalFontaine@cs.uni-duesseldorf.deNone GHC-only provisionalFontaine@cs.uni-duesseldorf.deNone!!! GHC-only experimentalFontaine@cs.uni-duesseldorf.deNoneWrap a node with a dummyLabel. > todo: Redo we need a specal case in DataConstructor Labeled.       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~j~}|{zyxwvutsrqponmlkiehgfd`cba_\^][YZXVWUSTRQNPOM;LKJIHGFEDCBA@=<>?(:9876543210/.-,+*)'&%$#"!      D1      &%$#"! '(:9876543210/.-,+*);LKJIHGFEDCBA@=<>?MNPOQRSTUVWXYZ[\^]_`cbadehgfij,~}|{zyxwvutsrqponmlk GHC-only experimental!Ivaylo Dobrikov (me@dobrikov.biz)None !"#$%&'()*+,-./0123456789:;<= !"#$%&'()*+,-./0123456789:;<=GHC-only experimentalFontaine@cs.uni-duesseldorf.deNone sets all locationsInfos to  NoLocation & removes all occurences of of Parens, ( i.e. explicit parentheses from the AST Set all NodeIds to zero. JunUniqueIdent replaces the all UIdent with the Ident of the the new name, C thus forgetting additional information like the bindingside, etc.  Usefull to get a smaller AST.  Compute the  FreeNames of an Expression. < This function does only work after renaming has been done. % This implementation is inefficient. )Get the assert declarations of a module. *Remove assert declarations from a module. GHC-only experimentalNone>?@ABCDEFGHIJKLMNOPQRSTUVWX>?@ABCDEFGHIJKLMNOPQRSTUVW>?@ABCDEFGHIJKLMNOPQRSTUVWXNoneYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~   nY\[Z]`_^aedcbfghijklmnopqrstuvwxyz{|}~   None lex a String . Convert a token to a String. N If the tokenClasss has a Unicode symbol return the default Unicode string. Convert a token to a String. L If the tokenClasss has a Unicode symbol return the default ASCII string. /lex input-string and import all includes files /lex input-string and import all includes files  $micro-parser for include-statements 4Remove comments, whitespaces and unneeded newlines. 8Is the token a line-comment, block-comment or a Pragma?  Fremove newlines, that do not end a declaration from the token stream. 0 For example newlines next to binary operators.  Remove all trailing newlines.      GHC-only experimentalFontaine@cs.uni-duesseldorf.deNone+Gather all information about an renaming. -Tag that a module has gone through renaming. (A module that has gone through renaming  renames a .  | (also calls mergeFunBinds) BIf a function is defined via pattern matching for serveral cases, > | the parser returns each case as an individual declaration. T | mergeFunBinds merges contiguous cases of the same function into one declaration. 1 !"#$%&'()*+,-./0123456%  !"#$%&'()*+,-./0123456 GHC-only experimental/fontaine@cs.uni-duesseldorf.de, me@dobrikov.bizNone7ParseError data type. This is an instance of Excpetion The  function parses a List of .  It returns a  or a Labled .  The 7! argument is currently not used.  Wrapper for testing sub parsers Parser for CSP-M expressions Parser for CSP-M patterns g89:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  ^89:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ GHC-only experimentalfontaine@cs.uni-duesseldorf.deNone eitherToExe returns the Right part of Either2 or throws the Left part as an dynamic exception. #Handle a dymanic exception of type LexError. #Handle a dymanic exception of type  ParseError. #Handle a dymanic exception of type  RenameError. "Lex and parse a file and return a LModule), throw an exception in case of an error 0Small test function which just parses a String. Lex and parse File. 1 | Return the module and print some timing infos  GHC-only experimentalFontaine@cs.uni-duesseldorf.deNone)The version of the CSPM-Frontend library BB !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"##$%&'()*)+,-./0123456789:;<=>?@ABCDEFGHIJ7KLMNOPQRSTUVWXYZ[\]^_`aabccdeefghgijklmnopqrstuvwxyz{|}~                                               !"#$%&'()*+,-./0123456789:;<=>??@AABCDEFGHIJKLMNOPQRSTUVWXWYZ[Z\]^_`abcdefghijklmnopqrstuvwxyz{|}~                          ! " # $ % & ' ( ) * + , - . / 0 1 2345 6 7 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 { | } ~                     CSPM-Frontend-0.9.2.0Language.CSPM.PrettyPrinterLanguage.CSPM.BuiltInLanguage.CSPM.TokenClassesLanguage.CSPM.UnicodeSymbolsLanguage.CSPM.TokenLanguage.CSPM.SrcLocLanguage.CSPM.ASTLanguage.CSPM.AstUtilsLanguage.CSPM.LexHelperLanguage.CSPM.RenameLanguage.CSPM.ParserLanguage.CSPM.UtilsLanguage.CSPM.Frontend#Text.ParserCombinators.Parsec.ExprMPaths_CSPM_FrontendLanguage.CSPM.AlexWrapperLanguage.CSPM.Lexerprettyclass-1.0.0.0Text.PrettyPrint.HughesPJClasspPrintbuiltIns PrimTokenT_FDT_TT_FT_free T_livelockT_deterministic T_deadlockT_over T_priorityT_tauT_tauPriorityOpT_revivalTestingDivT_revivalTestingT_refusalTestingDivT_refusalTestingT_failureDivergence T_failureT_traceT_RefineT_is T_underscore T_closePBrace T_openPBraceT_closeBrackBrackT_openBrackBrackT_closeOxBrack T_openOxBrackT_closeSpecialBrackT_closeAssertBrackT_openAssertBrack T_closeBrack T_openBrack T_closeBrace T_openBrace T_closeParen T_openParenT_colonT_questionmark T_exclamationT_dotdotT_dotT_leftrightarrow T_leftarrow T_rightarrowT_atatT_atT_mid T_parallel T_backslash T_interleaveT_sqcapT_expT_rhdT_box T_triangleT_comma T_semicolonT_ampT_gtT_ltT_leT_geT_neqT_eqT_minusT_plus T_percentT_slashT_timesT_hashT_hatT_CHAOST_BoolT_IntT_EventsT_SKIPT_STOPT_lengthT_elemT_concatT_tailT_headT_nullT_SeqT_SetT_setT_emptyT_cardT_memberT_InterT_UnionT_diffT_interT_unionT_orT_andT_notT_falseT_trueT_withinT_letT_elseT_thenT_ifT_print T_external T_transparentT_pragmaT_assert T_subtype T_nametype T_datatype T_channelL_IdentL_String L_IntegerL_EOF L_IncludeL_Pragma L_BComment L_LComment T_WhiteSpace L_NewlineunicodeSymbolslookupDefaultSymbol lookupTokenTokentokenId tokenStarttokenLen tokenClass tokenStringLexErrorlexEPoslexEMsgAlexPosnAlexPnalexPosalexLinealexColTokenId unTokenId mkTokenIdpprintAlexPosn alexStartPosalexMove tokenSentinelshowPosn showToken SrcOffsetSrcColSrcLineSrcLocFixedLocfixedStartLine fixedStartColfixedStartOffsetfixedLen fixedEndLine fixedEndColfixedEndOffset NoLocationTokPosTokSpan TokIdSpanTokIdPos mkTokSpanmkTokPos getStartLine getStartColgetStartOffset getTokenLen getEndLine getEndCol getEndOffsetgetStartTokenId getEndTokenId getStartToken getEndToken computeEndPos srcLocFromTo srcLocBetweenComment PragmaComment BlockComment LineComment LocCommentPragmaConst F_Interleave F_TimeoutF_Hiding F_IntChoice F_ExtChoice F_Interrupt F_SequentialF_GuardF_GTF_LTF_LEF_GEF_NEqF_EqF_SubF_AddF_ModF_DivF_MultF_Len2F_ConcatF_CHAOSF_BoolF_IntF_EventsF_SKIPF_STOPF_lengthF_elemF_concatF_tailF_headF_nullF_SeqF_SetF_setF_emptyF_cardF_memberF_InterF_UnionF_diffF_interF_unionF_orF_andF_notF_falseF_trueRefineOp TauPriorityOpRevivalTestingDivRevivalTestingRefusalTestingDivRefusalTestingFailureDivergenceFailureTrace LRefineOp TauRefineOp TauRefineTauTrace LTauRefineOpFdrExtTFDFLFdrExt FDRModels LivelockFree Deterministic DeadlockFree LFDRModels AssertDeclAssertModelCheck AssertTauPrio AssertRefine AssertBool LAssertDecl Constructor LConstructorTypeDefTypeDot TypeTupleLTypeDefFunCaseFunCaseIFunArgsDeclPrintChannelNameTypeDataTypeSubType TransparentAssertFunBindPatBindLDeclSelector SuffixSelSliceSelTailSel PrefixSelHeadNSelHeadSel ListIthSel ListLengthSel TupleIthSelTupleLengthSel EmptySetSel SingleSetSelDotSel ConstrSel SelectThisFalseSelTrueSelIntSelPattern Selectors selectorsidentsVarPat ConstrPatTuplePat ListEnumPat EmptySetPat SingleSetPatDotPatAppendAlsoWildCardFalsePatTruePatIntPatLPatternCompGenGuard GeneratorLCompGen LCompGenListBuiltInLBuiltInRenameLRenameLinkLLinkLinkListLinkListComprehension LLinkList CommFieldOutComm InCommGuardedInComm LCommFieldRange RangeOpen RangeClosed RangeEnumLRangeExpExprWithFreeNamesLambdaILetIPrefixI PrefixExpProcRepSharingProcRepLinkParallelProcRepAParallelProcRepInterleaveProcRepExternalChoiceProcRepInternalChoiceProcRepSequence ProcException ProcRenamingProcLinkParallel ProcAParallel ProcSharingClosureDotTupleFun2Fun1NegExpNotExpOrExpAndExpParensTupleExpIntSetBoolSetEventsCFalseCTrueSkipStopLambda CallBuiltIn CallFunctionIfteLetClosureComprehensionListExpSetExpIntExpVarLProcLExpModuleFromParser FromParserModule moduleDecls moduleTokens moduleSrcLocmoduleComments modulePragmasBindType NotLetBoundLetBound PrologModePrologVariable PrologGroundIDType BuiltInID TransparentID DataTypeIDConstrIDFunID NameTypeID ChannelIDVarID UniqueIdent uniqueIdentId bindingSide bindingLocidTyperealNamenewName prologModebindTypeIdentUIdentunIdentLIdentLabelednodeIdsrcLocunLabelNodeIdunNodeId FreeNamesBindings AstAnnotationmkNodeIdlabeledsetNodeunUIdentidentId isLetBound castModulelBuiltInToConst withLabelremoveSourceLocations removeParenssetNodeIdsZero unUniqueIdentcomputeFreeNamesgetModuleAssertsremoveModuleAssertslexPlainunicodeTokenStringasciiTokenString lexIncludelexIncludePathremoveIgnoredTokentokenIsComment RenameErrorrenameErrorMsgrenameErrorLoc RenameInfo nameSupply localBindingsvisibleidentDefinitionidentUse usedNames FromRenamingModuleFromRenaming renameModule ParseError parseErrorMsgparseErrorToken parseErrorPosparse testParserparseExp parsePattern eitherToExchandleLexErrorhandleParseErrorhandleRenameError parseFile parseStringbenchmarkFrontendfrontendVersion OperatorTableOperatorPostfixPrefixInfixAssoc AssocRight AssocLeft AssocNoneinfixMprefixMpostfixMbuildExpressionParsercatchIOversionbindirlibdirdatadir libexecdir getBinDir getLibDir getDataDir getLibexecDirgetDataFileName$fExceptionLexError$fEqFromParser$fDataFromParserdot pPrintListSethsepPrintunctuate hcatPunctuate printFunBind printCase printFunArgs printConstrtypeDefreplicatedProc separateGen pPrintCompGen pPrintAlso printIdent $fPrettyConst$fPrettyTauRefineOp$fPrettyRefineOp$fPrettyFDRModels$fPrettyFdrExt$fPrettyAssertDecl$fPrettyPattern$fPrettyCommField$fPrettyBuiltIn $fPrettyRange$fPrettyRename $fPrettyLink$fPrettyLinkList $fPrettyExp $fPrettyDecl$fPrettyModule$fPrettyLabeled AlexActionAlexunAlex AlexState alex_inputalex_scdalex_cntByte AlexInputrunAlex alexGetInput alexSetInput alexErroralexGetStartCodealexSetStartCodealexCountToken alexGetByte utf8EncodeandBeginmkL block_commentlexErroralexEOFalexInputPrevChar $fMonadAlexAlexAcc AlexAccSkip AlexAccNone AlexLastAcc AlexLastSkipAlexNone AlexReturn AlexTokenAlexSkip AlexErrorAlexEOFAlexAddrAlexA# alex_base alex_table alex_check alex_deflt alex_accept alexMonadScanscannerskipbeginref alex_action_0 alex_action_1 alex_action_2 alex_action_3 alex_action_4 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_145alexIndexInt16OffAddralexIndexInt32OffAddr quickIndexalexScan alexScanUser alex_scan_tkniUnbox$fFunctorAlexLastAcc splitIncludes soakNewlinesFilePartIncludeToksChunksChunk lexInclude2 processPart scanIncludegetAbsoluteIncludeFileName mergeFunBinds UniqueNameRM initialRState initPrelude lookupVisible getOrigNamebindNewTopIdentbindNewUniqueIdent localScopeuseIdentnoprnModule rnExpListrnExprnRange rnPatList rnPattern rnCommField inCompGenL inCompGen rnCompGenreRename rnLinkList rnDeclListdeclLHSdeclRHS rnTypeDef applyRenaming$fErrorRenameError$fExceptionRenameError$fDataFromRenaming parsec2-1.0.0!Text.ParserCombinators.Parsec.Pos SourceNameOpTablePStatelastTok gtCountergtLimit nodeIdSupplyPT initialPState mkLabeledNode getStates getNextPos getLastPosgetPos mkSrcSpanmkSrcPoswithLocinSpan parseModuletokennewlinerefineOp anyBuiltIn blockBuiltInlIdentidentvarExpcommaSeperator sepByComma sepBy1Comma sepByNewLineparseComprehension compGuard compGeneratorcomprehensionRepinBracesinParenssetExplistExplsBody closureExpintLit negateExplitExplitPatletExpifteExpfunCall parseFunArgsfunArgsT lambdaExp parseExpBaseparenExpOrTupleEnumopTable baseTable procTableparseExp_noPrefixparseExp_noProc parseDotExpOffunApplyImplicittoken_gttoken_lt betweenLtGtparseWithGtLimitproc_op_aparallelproc_op_lparallel procRenamingprocOneRenaming parseLinkList parseLink parseRenameparsePatternAppendparsePatternDotparsePatternCorepatBindfunBindparseFktCurryPatparseFktCspPat topDeclListparseProcReplicatedExpparsePrefixExpparseCommField testFollowsprimExUpdatePosprimExUpdateStateanyToken notFollowedBynotFollowedBy'eofpprintParsecErrorwrapParseErrortoken_istokenPrimExDefault$fExceptionParseErrorparseNamedString