j      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./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 { | } ~                                                                                                                 !"#$%&'() !"#$%&'() !"#$%&'() !"#$%&'()^*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~]*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~]234567./01*+,-=8>?@9ABCDEFGHIMNOPQRSTUVWXYZ[\`]^_abcghijdlkmnefopqrstuvwxyz}~{|:;KL<JZ*+,-+,-./01/01234563456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~   ;999      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghi      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghi      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghi      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghi~klmnopqrstuvwxyz{|}~  vjklmnopqrstuvwxyz{|}~vkmoqsjlnprtuvwxy}z{|~pklmnopqrstuvwxyz{|}~   M       !"#$%&'()*+,-./012345H      !"#$%&'()*+,-./012345H*+$%&'()-,  !"#./    012345G         !"#!"#$%&'()%&'()*++,-./012345 6789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~6789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ݨ7689:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~6789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ 8For every identifier that occurs in the right hand side ; of a declaration, the polymorphic type variables in its . type label are replaced by concrete types.  Displays a TypeExpr as a string 6All identifiers that do not have type annotations are $ labelled with new type variables <Type variables that occur in the type annotations of QNames D are replaced by newly introduced type variables, so that further E unification steps will not interfere with parametric polymorphism 8Specialises all type variables (part of adjustTypeInfo)  BType variables that occur in the right hand side of a declaration C but not in its type signature are replaced by the unit type (). E This function requires that proper type information has been made  available by function adjustTypeInfo !"# $    !"#$%&'%()*+,,-./01234567789::;<==>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz"'#($ {|}~.-*/+0I;JKMNOL]<=EY[?H_^:dbecfkhijp                                                                                                       ! " # $ % & ' ( ) * + , - . / 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               ,1`mno                       curry-base-0.2.3Curry.Files.PathUtilsCurry.Files.FilenamesCurry.Base.PositionCurry.Base.IdentCurry.FlatCurry.TypeCurry.FlatCurry.GoodiesCurry.FlatCurry.ToolsCurry.Base.MessageMonadCurry.ExtendedFlat.TypeCurry.ExtendedFlat.Goodies Curry.ExtendedFlat.TypeInference!Curry.ExtendedFlat.MonadicGoodiesfilepath-1.1.0.4System.FilePath.Posix takeBaseName dropExtension takeExtensioncurryExt lcurryExt icurryExtoExt sourceExts moduleExts objectExts interfNameflatName extFlatName flatIntNamexmlNameacyNameuacyName sourceRepName objectNameSrcRefOf srcRefsOfsrcRefOfPositionNoPosASTfilelinecolumnastRefSrcRefnoRef incSrcRef incPositiontabWidthfirstincrnexttabnlshowLine ModuleIdentpositionOfModuleIdentmoduleQualifiers QualIdent qualidModqualidIdIdentpositionOfIdentnameuniqueId showIdentqualName moduleNameaddPositionIdentaddPositionModuleIdentpositionOfQualIdentmkIdent renameIdent unRenameIdentmkMIdent isInfixOp isQInfixOpqualify qualifyWith qualQualify isQualified unqualify qualUnqualify localIdent updQualIdentaddRefaddRefId emptyMIdent mainMIdent preludeMIdentanonIdunitIdboolIdcharIdintIdfloatIdlistIdioId successIdtrueIdfalseIdnilIdconsIdtupleId isTupleId tupleAritymainIdminusIdfminusIdqUnitIdqListIdqNilIdqConsIdqBoolIdqCharIdqIntIdqFloatId qSuccessIdqIOIdqTrueIdqFalseIdqTupleId isQTupleId qTupleArity fpSelectorIdisFpSelectorIdisQualFpSelectorId recSelectorIdqualRecSelectorId recUpdateIdqualRecUpdateId recordExtId labelExtIdfromRecordExtIdfromLabelExtId isRecordExtId isLabelExtId mkLabelIdent renameLabel recordExtlabelExt updIdentName lookupModulelookupInterface lookupFile writeModule readModulemaybeReadModuledoesModuleExistgetModuleModTime getCurryPathLiteralCharcFloatcIntcPatternLPattern BranchExprBranchExprCaseOrLetFreeCombLitVarCombType ConsPartCall FuncPartCallConsCallFuncCallCaseTypeFlexRigidRuleExternalFuncDeclFuncVarIndexFixityInfixrOpInfixlOpInfixOpOpDeclOpTypeExprTConsFuncTypeTVarConsDeclConsTypeDeclTypeSynType TVarIndex VisibilityPrivatePublicQNameProg readFlatCurryreadFlatInterfacereadFlatwriteFlatCurryUpdatefailedtrProgprogName progImports progTypes progFuncsprogOpsupdProg updProgNameupdProgImports updProgTypes updProgFuncs updProgOps allVarsInProg updProgExpsrnmAllVarsInProgupdQNamesInProgrnmProgtrTypetypeNametypeVisibility typeParams typeConsDeclstypeSyn isTypeSynisDataTypeDeclisExternalTypeupdType updTypeNameupdTypeVisibility updTypeParamsupdTypeConsDeclsupdTypeSynonymupdQNamesInTypetrConsconsName consArityconsVisibilityconsArgsupdCons updConsName updConsArityupdConsVisibility updConsArgsupdQNamesInConsDecl tVarIndexdomainrange tConsName tConsArgs trTypeExprisTVarisTCons isFuncTypeupdTVarsupdTCons updFuncTypesargTypes resultTypeallVarsInTypeExprrnmAllVarsInTypeExprupdQNamesInTypeExprtrOpopNameopFixity opPrecedenceupdOp updOpName updOpFixityupdOpPrecedencetrFuncfuncName funcArityfuncVisibilityfuncTypefuncRuleupdFunc updFuncName updFuncArityupdFuncVisibility updFuncType updFuncRule isExternal allVarsInFuncfuncArgsfuncBodyfuncRHSrnmAllVarsInFuncupdQNamesInFunc updFuncArgs updFuncBodytrRuleruleArgsruleBody ruleExtDeclisRuleExternalupdRule updRuleArgs updRuleBodyupdRuleExtDecl allVarsInRulernmAllVarsInRuleupdQNamesInRule trCombTypeisCombTypeFuncCallisCombTypeFuncPartCallisCombTypeConsCallisCombTypeConsPartCall missingArgsvarNrliteralcombTypecombNamecombArgsmissingCombArgsletBindsletBodyfreeVarsfreeExprorExpscaseTypecaseExpr caseBranchesisVarisLitisCombisLetisFreeisOrisCasetrExprupdVars updLiteralsupdCombsupdLetsupdFreesupdOrsupdCases updBranches isFuncCallisFuncPartCall isConsCallisConsPartCallisGroundallVars rnmAllVars updQNamestrBranch branchPattern branchExpr updBranchupdBranchPattern updBranchExpr trPatternpatConspatArgs patLiteral isConsPattern updPattern updPatCons updPatArgs updPatLiteralpatExprrnmAllVarsProg allVarsProg updQNamesProgallConstructors consQName updQNamesType isPublicType isPublicCons typeQName updQNamesFunc isCombFunc incVarsFuncrnmAllVarsFunc allVarsFunc updQNamesRulernmAllVarsRule allVarsRule isTypeVar typeArity isTypeConsisIOType typeConsNamernmAllVarsTypeExprallTVars allTypeConsexprFromFreeDecl isPartCallcombFunccombConsmissingFuncArgshasNamemapVarmapLitmapCombmapFreemapOrmapCasemapLetisCombFuncCallisCombPartCallisCombConsCallrnmAllVarsBranch allVarsBranch rnmAllVarsPat allVarsPatWarnMsgwarnPoswarnTxt MsgMonadIOMsgMonad MsgMonadTokfailWith failWithAt warnMessage warnMessageAtrunMsgrunMsgIOdropIO typeofVaridxOfsrcRef typeofQNamemodName localNamemkQNameqnOfmkIdx incVarIndexwriteExtendedFlat gshowsPrec typeofExpr typeofLiteralfvswhnfadjustTypeInfodispTypelabelVarsWithTypesuniqueTypeIndices genEquations elimFreeTypesUpdateM postOrderM updFuncExpsM updProgFuncsM updFuncLetsMflatExt extFlatExt flatIntExtxmlExtacyExtuacyExt sourceRepExtdebugExtsplitQualIdentfpSelExt recSelExt recUpdExtcatPathinSubdir currySubdir inCurrySubdirensureDirectoryExistsonExistingFileDo showFlatCurrygenFlatFilenamechar_int_float_list_string_updQNamesConsDecl isPublicFuncupdQNamesTypeExpr showWarning showErrorQonIndex onIndexesshowFlatCurry'ext2QEqnMonadTypeMap prettyType postOrderExpr postOrderType visitTVars relabelTypes relabelType equationsunify=:= varIndexTypeqnType freshTVarspecialiseType specInRule modifyType