Directory listing for HaRe-0.6.0.2 source tarball
HaRe-0.6.0.2/
- HaRe.cabal
- LICENSE
- README
- Setup.hs
- StrategyLib-4.0-beta/
- .DS_Store
- ._.DS_Store
- COPYING
- ChangeLog
- INSTALL
- Makefile
- README
- TODO
- VERSION
- examples/
- Makefile
- haskell/
- joos-padl02/
- joos-rule02/
- Datatypes.hs
- DatatypesTermInstances.hs
- Instance.hs
- Main.hs
- MainIO.hs
- Makefile
- ParseLib.hs
- Parser.hs
- Test.correct
- extract-fine.joos
- testsuite/
- Main.hs
- Makefile
- declare-fine.joos
- declare-wrong.joos
- eliminate-fine.correct
- eliminate-fine.joos
- eliminate-wrong.correct
- eliminate-wrong.joos
- extract-fine.correct
- extract-fine.joos
- extract-wrong-assign.correct
- extract-wrong-assign.joos
- extract-wrong-return.correct
- extract-wrong-return.joos
- introduce-fine.correct
- introduce-fine.joos
- introduce-wrong-def.correct
- introduce-wrong-def.joos
- little-lambda/
- two-sorts-deriving/
- two-sorts-drift-default/
- library/
- models/
- scripts/
- misc/
- ._haskell-refac.el
- ._refactor.vim
- Array.hs
- CPUTime.hs
- Char.hs
- Complex.hs
- Directory.hs
- IO.hs
- Ix.hs
- List.hs
- Locale.hs
- Maybe.hs
- Monad.hs
- Numeric.hs
- Prelude.hs
- PreludeBuiltin.hs
- PreludeIO.hs
- PreludeList.hs
- PreludeText.hs
- Random.hs
- Ratio.hs
- System.hs
- Time.hs
- dupAnswers
- dupClassAnswer
- dupClassTransform
- dupPositions
- dupReport
- dupTransforms
- evaluateResult
- genFoldCache
- haskell-refac.el
- mergeCache
- refactor.vim
- refactorer/
- ._Evaluate.hs
- ._LocalSettings.hs
- ._RefacAddCon.hs
- ._RefacGenDef.hs
- ._RefacIntroPattern.hs
- ._RefacLetWhere.hs
- ._RefacMerge.hs
- ._RefacMoveDef.hs
- ._RefacNewDef.hs
- ._RefacSimplify.hs
- ._RefacSlicTuple.hs
- ._RefacTypeSig.hs
- ._RefacUtils.hs
- ._TypeCheck.hs
- AddRefactoringToInterface.txt
- DuplicateCode.hs
- EditorCommands.hs
- Evaluate.hs
- InitGHC.hs
- LocalSettings.hs
- PFE0.hs
- ParseAnswers.hs
- PfeRefactoringCmds.hs
- RefacADT.hs
- RefacAddCon.hs
- RefacAddField.hs
- RefacAddRmParam.hs
- RefacAsPatterns.hs
- RefacCacheMerge.hs
- RefacCase.hs
- RefacCleanImps.hs
- RefacConDef.hs
- RefacDataNewType.hs
- RefacDeForest.hs
- RefacDupDef.hs
- RefacDupTrans.hs
- RefacDuplicates.hs
- RefacFunDef.hs
- RefacGenCache.hs
- RefacGenDef.hs
- RefacGenFold.hs
- RefacIdentify.hs
- RefacInstantiate.hs
- RefacIntroPattern.hs
- RefacLetWhere.hs
- RefacLocUtils
- RefacLocUtils.hs
- RefacMerge.hs
- RefacMoveDef.hs
- RefacMvDefBtwMod.hs
- RefacNewDef.hs
- RefacRedunDec.hs
- RefacRemoveField.hs
- RefacRenaming.hs
- RefacRmCon.hs
- RefacRmDef.hs
- RefacSimplify.hs
- RefacSlicTuple.hs
- RefacSlicing.hs
- RefacSwapArgs.hs
- RefacTypeAddCon.hs
- RefacTypeSig.hs
- RefacTypeSyn.hs
- RefacTypeUtils.hs
- RefacUnGuard.hs
- RefacUnfoldAsPatterns.hs
- RefacUtils.hs
- RefacWhereLet.hs
- SlicingUtils.hs
- TypeCheck.hs
- log.txt
- pfe.hs
- pfe_client.hs
- PwPf/
- GlobalPW.hs
- Makefile
- PWCore.hs
- Pointfree.hs
- PwPfConversion.hs
- PointlessP/
- docs/
- GlobalPW.html
- PWCore.html
- Pointfree.html
- PwPfConversion.html
- RefacPwPf.html
- doc-index-58.html
- doc-index-A.html
- doc-index-B.html
- doc-index-C.html
- doc-index-E.html
- doc-index-F.html
- doc-index-G.html
- doc-index-H.html
- doc-index-I.html
- doc-index-L.html
- doc-index-M.html
- doc-index-N.html
- doc-index-O.html
- doc-index-P.html
- doc-index-R.html
- doc-index-S.html
- doc-index-T.html
- doc-index-U.html
- doc-index-V.html
- doc-index-Z.html
- doc-index.html
- haddock.css
- haskell_icon.gif
- index.html
- tools/
- HEADER.html
- Hs2HOL
- HuMakefile
- INSTALL.html
- LICENSE
- Makefile
- README.html
- configure
- features.html
- find-uses
- find-word
- titles
- usage.html
- Phugs/
- TFF/
- base/
- Flags.ghc
- HEADER.html
- HuMakefile
- Main.hs
- Makefile
- Makefile.ghc-4.08
- Makefile.old
- Map60204.hs
- ParseHaskellProgram.hs
- ParseOld.hs
- ParseProgram.hs
- README.html
- ScopeHaskellProgram.hs
- ScopeProgram.hs
- Set60204.hs
- TiProgram.hs
- ghc_test
- myghci
- myhugs
- pfei.hs
- rewrite
- testparse
- testparse2
- tstModules.hs
- tstScopeNames.hs
- tstTI.hs
- tstTI.srclist
- AST/
- ._HsGuardsPretty.hs
- ._PrettyPrint2.hs
- ._SrcLoc1.hs
- BaseSyntax.hs
- BaseSyntaxMaps.hs
- BaseSyntaxPretty.hs
- BaseSyntaxStruct.hs
- BaseSyntaxUtil.hs
- HEADER.html
- HasBaseName.hs
- HasBaseStruct.hs
- HsAssoc.hs
- HsAssocInitEnv.hs
- HsAssocPretty.hs
- HsAssocStruct.hs
- HsAssocUtil.hs
- HsConstants.hs
- HsDecl.hs
- HsDeclMaps.hs
- HsDeclPretty.hs
- HsDeclStruct.hs
- HsDeclUtil.hs
- HsExp.hs
- HsExpMaps.hs
- HsExpPretty.hs
- HsExpStruct.hs
- HsExpUtil.hs
- HsFields.hs
- HsFieldsMaps.hs
- HsFieldsPretty.hs
- HsFieldsStruct.hs
- HsGuards.hs
- HsGuardsMaps.hs
- HsGuardsPretty.hs
- HsGuardsStruct.hs
- HsGuardsUtil.hs
- HsIdent.hs
- HsIdentPretty.hs
- HsKind.hs
- HsKindMaps.hs
- HsKindPretty.hs
- HsKindStruct.hs
- HsKindUtil.hs
- HsLiteral.hs
- HsLiteralPretty.hs
- HsModule.hs
- HsModuleMaps.hs
- HsModulePretty.hs
- HsName.hs
- HsPat.hs
- HsPatMaps.hs
- HsPatPretty.hs
- HsPatStruct.hs
- HsPatUtil.hs
- HsType.hs
- HsTypeMaps.hs
- HsTypePretty.hs
- HsTypeStruct.hs
- HsTypeUtil.hs
- OldBaseSyntax.hs
- PrettyPrint2.hs
- README.html
- SpecialNames.hs
- SrcLoc1.hs
- SrcLocPretty.hs
- Modules/
- SA/
- TC/
- TI/
- Flags.ghc
- HEADER.html
- NameMapsDecorate.hs
- NewTiMonad.hs
- OrigTiMonad.hs
- README.html
- TI.hs
- TiBase.hs
- TiBaseStruct.hs
- TiBySuper.hs
- TiClassInst.hs
- TiClassInst2.hs
- TiClasses.hs
- TiConstraints.hs
- TiContextReduction.hs
- TiD.hs
- TiDecorate.hs
- TiDefault.hs
- TiDefinedNames.hs
- TiDerivedInstances.hs
- TiDinst.hs
- TiDkc.hs
- TiDs.hs
- TiE.hs
- TiEnv.hs
- TiEnvFM.hs
- TiError.hs
- TiFields.hs
- TiFreeNames.hs
- TiFresh.hs
- TiFunDeps.hs
- TiGeneralize.hs
- TiHsName.hs
- TiInstanceDB.hs
- TiKEnv.hs
- TiKinds.hs
- TiLit.hs
- TiModule.hs
- TiMonad.hs
- TiNameMaps.hs
- TiNames.hs
- TiP.hs
- TiPNT.hs
- TiPrelude.hs
- TiPretty.hs
- TiRhs.hs
- TiSCC.hs
- TiSolve.hs
- TiT.hs
- TiTEnv.hs
- TiTypes.hs
- TiUtil.hs
- Unification.hs
- defs/
- DefinedNames.hs
- DefinedNamesBase.hs
- DefinedNamesBaseStruct.hs
- FiniteMap1.hs
- Flags.ghc
- FreeNames.hs
- FreeNamesBase.hs
- FreeNamesBaseStruct.hs
- HEADER.html
- NameMaps.hs
- NameMapsBase.hs
- NameMapsBaseStruct.hs
- PNT.hs
- README.html
- ReAssoc.hs
- ReAssocBase.hs
- ReAssocBaseStruct.hs
- ReAssocModule.hs
- ScopeModule.hs
- ScopeNames.hs
- ScopeNamesBase.hs
- ScopeNamesBaseStruct.hs
- UniqueNames.hs
- tests/
- lib/
- AbstractIO.hs
- AbstractIO.hs.old
- AccList.hs
- Assoc.hs
- Assoc1.hs
- CmdLineParser.hs
- CmdLineParser3.hs
- DirUtils.hs
- FileUtils.hs
- Flags.ghc
- GetOpt.hs
- HEADER.html
- Lift.hs
- Lists.hs
- MUtils.hs
- NewSCC.hs
- NoEq.hs
- OpTypes.hs
- PathUtils.hs
- Products.hs
- README.html
- Recursive.hs
- Runnable.hs
- SIO.hs
- Sets.hs
- SimpleGraphs.hs
- Statistics.hs
- UTF8.hs
- UTF8Util.hs
- Unlit.hs
- Monads/
- parse/
- parse2/
- pretty/
- syntax/
- tests/
- Defaults.hs
- Derivings.hs
- Errors.hs
- Existential.hs
- FunDep.hs
- FunDep2.hs
- FunDep3.hs
- FunDep4.hs
- NplusK.hs
- Overlap.hs
- RecSyn.hs
- lit.hs
- literate.lhs
- pTest1.hs
- parser
- scopeTest0.hs
- test1.hs
- tiAmbig.hs
- tiBig.hs
- tiFields.hs
- tiFun.hs
- tiHello.hs
- tiLit.hs
- tiPolyRec.hs
- tiPrelude.hs
- tiPreludeText.hs
- tiSum.hs
- tiSuper.hs
- tiTest0.hs
- tiTest1.hs
- tiTest2.hs
- tiTest5.hs
- tiTest8.hs
- tiTest9.hs
- GhcLibraries/
- HaskellLibraries/
- HbcLibraries/
- infix/
- prelude/
- transforms/
- FieldSelectors.hs
- Flags.ghc
- HEADER.html
- MapDeclM.hs
- MapDeclMBase.hs
- MapDeclMBaseStruct.hs
- README.html
- RemoveIrrefPats.hs
- RemoveIrrefPatsBase.hs
- RemoveIrrefPatsBaseStruct.hs
- RemoveListComp.hs
- RemoveListCompBase.hs
- RemovePatBinds.hs
- SimpFieldLabels.hs
- SimpFunBind.hs
- SimpPatMatch.hs
- SimpPatMatchBase.hs
- Substitute.hs
- SubstituteBase.hs
- SubstituteBaseStruct.hs
- tstRemPatBind.hs
- Deriving/
- tests/
- evman/
- hs2alfa/
- hs2html/
- hs2isabelle/
- hs2stratego/
- hsutils/
- interp/
- pfe/
- ._PFE3.hs
- Flags.ghc
- HEADER.html
- HuMakefile
- Makefile
- PFE0.hs
- PFE1.hs
- PFE2.hs
- PFE3.hs
- PFE4.hs
- PFE_HTML.hs
- PFE_Rewrite.hs
- PFE_Rewrites.hs
- PFE_StdNames.hs
- PFEdeps.hs
- Pfe0Cmds.hs
- Pfe1Cmds.hs
- Pfe2Cmds.hs
- Pfe3Cmds.hs
- Pfe3Metrics.hs
- Pfe4Cmds.hs
- PfeChase.hs
- PfeCleanCmd.hs
- PfeDepCmds.hs
- PfeHtmlCmds.hs
- PfeInteractive.hs
- PfeParse.hs
- PfeSocket.hs
- PfeTransformCmds.hs
- PfeVersionCmd.hs
- README.html
- myghci
- pfe.hs
- pfeclient.hs
- pfeclient.sh
- pfesetup
- tstpfe0.hs
- tstpfe1.hs
- tstpfe2.hs
- tstpfe3.hs
- Browser/
- AuxWindowsF.hs
- CertAttrsEditorF.hs
- CertCmd.hs
- CertServerF.hs
- DrawDoc.hs
- DrawError.hs
- DrawLex.hs
- Flags.ghc
- FudDraw.hs
- FudExtras.hs
- FudgetIOMonad.hs
- FudgetIOMonad1.hs
- GIFAltFile.hs
- HEADER.html
- HistoryButtonsF.hs
- HuMakefile
- IdInfo.hs
- Makefile
- PfeBrowserCerts.hs
- PfeBrowserColors.hs
- PfeBrowserF.hs
- PfeBrowserGUI.hs
- PfeBrowserMenu.hs
- PfeBrowserMonad.hs
- PfePlumbing.hs
- README.html
- StatusIndicator.hs
- pfebrowser.hs
- pfebrowser.sh
- pg2hol/
- pg2svc/
- prop2hol/
- property/
- scripts/
- web/