r'q      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijk l m n o p SafeAlgebraic Type Constructor RHSTyCon CoercionTyLitTyBinderTypeData Constructor!Data Constructor ID#Form of Bind Rhs& Recursive?)Binding+Alt Constructor/Case Alt1 GenExpression8Primitive Operation:Atomic=LiteralJVariableLNameN NameSpaceS STG Programe  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcde    !"#$%&(')*+,-./0167234589:;<=>?D@ABCEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdedcba`_^]\[ZYXWVUSTNOPQRLMJK=>?@ABCDEFGHI:;<891234567/0+,-.)*&'(#$%!"   %   !"#$%&'()*+,-./0123456789:;<= >?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdSafeNoneMake IO String from OutputableaMake Target Bindings Given project directory and source target, make binds, with dependencies.Make Compilation Closure Captures a snapshot of the DynFlags and HscEnv in addition to the ModGuts in the ModuleGraph. This allows compilation to be, intheory, more portable across different applications, since ModGuts is a crucial intermediary for compilation in general.qMake SSTG Exprr Make SSTG ArgsMake SSTG NametMake SSTG NameSpaceu Make SSTG VarvMake SSTG Bindingw Make SSTG Rhsx Make SSTG LityMake SSTG Data Constructor IDzMake SSTG Data Constructor{Make SSTG Primitive Operation| Make SSTG Alt}Make SSTG Alt Constructor~Make SSTG TypeMake SSTG Type Constructor(Make SSTG Algebraic Type Constructor RHSmake SSTG Type BinderMake SSTG Type LiteralMake SSTG Coercionqrstuvwxyz{|}~qrstuvwxyz{|}~ None Safel    !"#$%&(')*+,-./0167234589:;<=>?D@ABCEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdSafe%Symbolic Link TablePath ConditionPath ConstraintsEvaluation StateGlobals Heap ObjectHeapLocalsValueMemory Address Stack FrameStackStatusSymbolicStateaSymbolic Transformation We supply some state(s), it gives back those state(s) and some result.Name Occ String Name UniqueVar Name Mem Addr Int Lookup Locals Insert LocalsInsert Locals List Lookup Heap Allocate HeapAllocate Heap List Insert HeapInsert Heap ListLookup GlobalsInsert GlobalsInsert Globals List Lookup ValueLookup Heap by Variable MemAddr TypesMonad instance of Symbolic Transformation Used for transitioning between different types of state manipulations.eApplicative instance of Symbolic Transformation Can be used to chain together step-wise execution.SFunctor instance of Symbolic Transformation Apply transformations on the result.FCF% Safe!All Names in State Stack Names Frame Names Alt Names Locals Names Heap NamesHeap Object Names Symbol NamesLambda Form Names Var Names Atom Names Globals NamesEval State NamesExpression Names Type NamesPrim Fun NamesData Constructor ID NamesData Constructor NamesType Binder NamesType Constructor NamesCoercion NamesType Alg Rhs Names Binding NamesPath Constraint NamesPath Condition NamesSymbolic Link Names"Fresh String from Int Rand Seed#Fresh Name from Conflict List$$Seeded Fresh Name from Conflict List%List of Fresh Names&List of Seeded Fresh Names!"#$%&!"#$%&!"#$%&!"#$%&SafeLift Action Wrap Type'RulesaIs Heap Normal Form? Does not include LitObj. i.e. if something points to this, nothing to do.Is Value Form Either a lit or points to a heap value (not LitObj!). If we find nothing in the heap, then this means we can still upcast the var to a symbolic.DIs State Value? Value to LitUneven ZippingLift Uninterpreted Variable Lift AtomLift Atom List Lift Bind RhsLift Bind Rhs List Lift Binding Default AltsAltCon Based AltsMatch Lit AltsMatch Data AltsNegate Path Cons Lift Sym AltAlt Closure to StateEReduce2'()*+,-./0123456789:;<=>?@ABCDE'()*+,-./0123456789:;<=>?@ABCDE'()*+,-./0123456789:;<=>?@ABCED'()*+,-./0123456789:;<=>?@ABCDESafe JKLMNOJKLMNOKJLMNO JKLMNOSafeP Step TypeU Run FlagsZ Load Result^&Load State Guess the main function._Specified Entry Point LoadAllocate BindingAllocate List of BindingsBinding Address to Name ValuesInitialize GlobalsForce Atom LookupFull Rhs Object Lift BindingLift Binding ListWEntry Candidates Return a sub-list of bindings in which the entry candidate appears.Bind FilteringSub-Bindings String Match Load CodeNTrace Arguments We need to do stupid tracing if it's THUNK'D by default >:(PQRSTUVWXYZ[\]^_`aPQRSTUVWXYZ[\]^_`a^_Z[\]UVWXYPQRST`aPQRSTUVWXYZ[\]^_`a Safe!"#$%&'()*+,-./0123456789:;<=>?@ABCDEJKLMNOPQRSTUVWXYZ[\]^_`aNone    !"#$%&(')*+,-./0167234589:;<=>?D@ABCEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcd!"#$%&'()*+,-./0123456789:;<=>?@ABCDEJKLMNOPQRSTUVWXYZ[\]^_`a None lMake String from StateSub Member String WrappingInject with " "Inject with ","Inject New Line Inj into ListIn Newline SeparatorsState Code StringAll Names StringPath Constraints StringPath Condition StringSymbolic Links String+klmklmlkm+klm NonenopnopnopnopNoneklmnopNone    !"#$%&(')*+,-./0167234589:;<=>?D@ABCEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcd!"#$%&'()*+,-./0123456789:;<=>?@ABCDEJKLMNOPQRSTUVWXYZ[\]^_`aklmnop !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[[\\]^_`abcdefg13h;iAjJCkclmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQQRSTUVWXYZ[\]^_`abcde f g h i j klmnopqrstuvwxyz{|}~                                        #SSTG-0.1.0.5-9zBGpApBy7FIRZmVE1wqWTSSTG.Core.Syntax.LanguageSSTG.Core.Syntax.TypecheckSSTG.Core.Translation.HaskellSSTG.Core.Execution.ModelsSSTG.Core.Execution.NamingSSTG.Core.Execution.RulesSSTG.Core.Execution.SteppingSSTG.Core.Execution.EngineSSTG.Utils.PrintingSSTG.Utils.FileIOSSTG.Core.TranslationSSTG.Core.SyntaxSSTG.Core.Execution SSTG.Core SSTG.UtilsSSTG GenAlgTyRhs AbstractTyCon DataTyCon TupleTyConNewTyConGenTyConFunTyConAlgTyCon SynonymTyCon FamilyTyCon PrimTyConPromotedTcTyCon GenCoercionCoercionTyLitNumTyLitStrTyLit GenTyBinder NamedTyBndr AnonTyBndrGenTypeTyVarTyAppTyForAllTyCastTyTyConApp CoercionTyLitTyFunTyBottom GenDataConDataCon GenConTagConTag GenBindRhsConFormFunFormRecFormRecNonRec GenBindingBinding GenAltConDataAltLitAltDefaultGenAltAltGenExprAtomPrimAppConAppFunAppLetCase GenPrimFunPrimFunGenAtomVarAtomLitAtomGenLitMachCharMachStrMachIntMachWord MachFloat MachDouble MachNullAddr MachLabel BlankAddrAddrLitSymLit SymLitEvalVarName NameSpace VarNSpace DataNSpaceTvNSpace TcClsNSpace GenProgramProgramAlgTyRhsTyConTyBinderTypeBindRhsAltConExprLit$fShowNameSpace $fEqNameSpace$fReadNameSpace$fOrdNameSpace $fShowName$fEqName $fReadName $fOrdName $fShowRecForm $fEqRecForm $fReadRecForm$fShowGenConTag $fEqGenConTag$fReadGenConTag $fShowTyLit $fEqTyLit $fReadTyLit$fShowGenAlgTyRhs$fEqGenAlgTyRhs$fReadGenAlgTyRhs$fShowGenTyCon $fEqGenTyCon$fReadGenTyCon$fShowGenDataCon$fEqGenDataCon$fReadGenDataCon $fShowGenType $fEqGenType $fReadGenType$fShowGenCoercion$fEqGenCoercion$fReadGenCoercion$fShowGenTyBinder$fEqGenTyBinder$fReadGenTyBinder$fShowGenPrimFun$fEqGenPrimFun$fReadGenPrimFun $fShowGenLit $fEqGenLit $fReadGenLit$fShowGenAltCon $fEqGenAltCon$fReadGenAltCon $fShowGenAtom $fEqGenAtom $fReadGenAtom $fShowGenExpr $fEqGenExpr $fReadGenExpr$fShowGenBinding$fEqGenBinding$fReadGenBinding$fShowGenBindRhs$fEqGenBindRhs$fReadGenBindRhs $fShowGenAlt $fEqGenAlt $fReadGenAlt$fShowGenProgram$fEqGenProgram$fReadGenProgram $fShowVar$fEqVar $fReadVarvarTypelitTypeatomType primFunType dataConTypealtTypeexprTypemkIOStrmkTargetBindingsmkCompileClosureSymLinksPathCondPathConsCodeEvaluateReturnGlobalsHeapObjLitObjSymObjConObjFunObj BlackholeHeapLocalsValueLitValMemValMemAddrFrame CaseFrame ApplyFrame UpdateFrameStackStatusstepsSymbolState state_status state_stack state_heap state_globals state_code state_names state_paths state_links SymbolicTrun nameOccStr nameUniquevarName memAddrInt lookupLocals insertLocalsinsertLocalsList lookupHeap allocHeap allocHeapList insertHeapinsertHeapList lookupGlobals insertGlobalsinsertGlobalsList lookupValue vlookupHeap memAddrType$fMonadSymbolicT$fApplicativeSymbolicT$fFunctorSymbolicT $fShowStatus $fEqStatus $fReadStatus $fShowMemAddr $fEqMemAddr $fReadMemAddr $fOrdMemAddr $fShowValue $fEqValue $fReadValue $fShowLocals $fEqLocals $fReadLocals $fShowFrame $fEqFrame $fReadFrame $fShowStack $fEqStack $fReadStack $fShowSymbol $fEqSymbol $fReadSymbol $fShowHeapObj $fEqHeapObj $fReadHeapObj $fShowHeap$fEqHeap $fReadHeap $fShowGlobals $fEqGlobals $fReadGlobals $fShowCode$fEqCode $fReadCode$fShowPathCond $fEqPathCond$fReadPathCond$fShowSymLinks $fEqSymLinks$fReadSymLinks $fShowState $fEqState $fReadStateallNames freshString freshNamefreshSeededName freshNameListfreshSeededNameListRule RuleAtomLitRuleAtomLitPtrRuleAtomValPtr RuleAtomUnInt RulePrimApp RuleConAppRuleFunAppExactRuleFunAppUnder RuleFunAppSymRuleFunAppConPtrRuleFunAppUnIntRuleLet RuleCaseLitRuleCaseConPtrRuleCaseAnyLitRuleCaseAnyConPtr RuleCaseSymRuleUpdateCThunkRuleUpdateDLitRuleUpdateDValPtrRuleCaseCCaseNonVal RuleCaseDLitRuleCaseDValPtrRuleApplyCFunThunkRuleApplyCFunAppOverRuleApplyDReturnFunRuleApplyDReturnSym RuleIdentityisStateValueFormreduce $fShowRule$fEqRule $fReadRule $fOrdRule DeadState LiveState runBoundedBFSrunBoundedBFSLogged runBoundedDFSrunBoundedDFSLoggedStepTypeBFSDFS BFSLogged DFSLoggedRunFlags step_count step_typedump_dir LoadResultLoadOkay LoadGuess LoadError loadStateloadStateEntryexecuteexecute1$fShowLoadResult$fEqLoadResult$fReadLoadResult$fShowStepType $fEqStepType$fReadStepType$fShowRunFlags $fEqRunFlags$fReadRunFlagspprLivesDeadsStr pprStateStr pprBindingStr writeState readStatewritePrettyStatemkExprmkArgmkName mkNameSpacemkVar mkBindingmkRhsmkLit mkDataTagmkDatamkPrimOpmkAltmkAltConmkTypemkTyCon mkAlgTyConRhsmkTyBndrmkTyLit mkCoercion stackNames frameNamesaltNames localsNames heapNames heapObjNames symbolNames bindRhsNamesvarNames atomNames globalsNames codeNames exprNames typeNames pfunNames conTagName dataNames tyBinderNames tyConNames coercionNames algTyRhsNames bindingNames pconsNames pcondNames linksNamesLiftActisHeapValueFormisExprValueForm valueToLit unevenZip liftUnIntliftAtom liftAtomList liftBindRhsliftBindRhsList liftBinding defaultAlts altConAlts matchLitAlts matchDataAltsnegatePathCons liftSymAltliftedAltToState incStatusincStatesteppass allocBindingallocBindingListbndAddrsToNameVals initGlobalsforceLookupValue forceRhsObj liftBindings entryMatches bindFilter lhsMatchesloadCode traceArgssubinjSpaceinjComma injNewLine injIntoListinjNewLineSeps5 pprCodeStr pprNamesStr pprPConsStr pprPCondStr pprLinksStr pprLiveStr pprDeadStr pprRuleStr pprRulesStrinjNewLineSeps10 pprMemAddrStr pprNameStr pprLitStr pprStatusStr pprStackStr pprFrameStrpprSymClosureStr pprHeapObjStr pprHeapStr pprGlobalsStr pprLocalsStr pprValueStr pprVarStr pprAtomStr pprConTagStr pprDataConStr pprPrimFunStr pprAltConStr pprAltStr pprAltsStr pprBindRhsStrbindStr pprExprStr pprTypeStr