• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for hls-tactics-plugin-2.2.0.0 source tarball

hls-tactics-plugin-2.2.0.0/new/test/golden/

• AutoEmptyString.expected.hs
• AutoEmptyString.hs
• AutoEndo.expected.hs
• AutoEndo.hs
• AutoForallClassMethod.expected.hs
• AutoForallClassMethod.hs
• AutoInfixApply.expected.hs
• AutoInfixApply.hs
• AutoInfixApplyMany.expected.hs
• AutoInfixApplyMany.hs
• AutoInfixInfix.expected.hs
• AutoInfixInfix.hs
• AutoPatSynUse.expected.hs
• AutoPatSynUse.hs
• AutoSplitGADT.expected.hs
• AutoSplitGADT.hs
• AutoThetaEqCtx.expected.hs
• AutoThetaEqCtx.hs
• AutoThetaEqGADT.expected.hs
• AutoThetaEqGADT.hs
• AutoThetaEqGADTDestruct.expected.hs
• AutoThetaEqGADTDestruct.hs
• AutoThetaFix.expected.hs
• AutoThetaFix.hs
• AutoThetaGADT.expected.hs
• AutoThetaGADT.hs
• AutoThetaGADTDestruct.expected.hs
• AutoThetaGADTDestruct.hs
• AutoThetaMultipleUnification.expected.hs
• AutoThetaMultipleUnification.hs
• AutoThetaRankN.expected.hs
• AutoThetaRankN.hs
• AutoThetaRefl.expected.hs
• AutoThetaRefl.hs
• AutoThetaReflDestruct.expected.hs
• AutoThetaReflDestruct.hs
• AutoThetaSplitUnification.expected.hs
• AutoThetaSplitUnification.hs
• AutoTypeLevel.expected.hs
• AutoTypeLevel.hs
• AutoUnusedPatternMatch.expected.hs
• AutoUnusedPatternMatch.hs
• AutoZip.expected.hs
• AutoZip.hs
• ConProviders.hs
• DestructAllAnd.expected.hs
• DestructAllAnd.hs
• DestructAllFunc.expected.hs
• DestructAllFunc.hs
• DestructAllGADTEvidence.expected.hs
• DestructAllGADTEvidence.hs
• DestructAllMany.expected.hs
• DestructAllMany.hs
• DestructAllNonVarTopMatch.expected.hs
• DestructAllNonVarTopMatch.hs
• DestructAllProvider.hs
• DestructCthulhu.expected.hs
• DestructCthulhu.hs
• DestructDataFam.expected.hs
• DestructDataFam.hs
• DestructInt.expected.hs
• DestructInt.hs
• DestructPun.expected.hs
• DestructPun.hs
• DestructTyFam.expected.hs
• DestructTyFam.hs
• DestructTyToDataFam.expected.hs
• DestructTyToDataFam.hs
• EmptyCaseADT.expected.hs
• EmptyCaseADT.hs
• EmptyCaseApply.expected.hs
• EmptyCaseApply.hs
• EmptyCaseGADT.expected.hs
• EmptyCaseGADT.hs
• EmptyCaseLamCase.expected.hs
• EmptyCaseLamCase.hs
• EmptyCaseNested.expected.hs
• EmptyCaseNested.hs
• EmptyCaseParens.expected.hs
• EmptyCaseParens.hs
• EmptyCaseShadow.expected.hs
• EmptyCaseShadow.hs
• EmptyCaseSpuriousGADT.hs
• Fgmap.expected.hs
• Fgmap.hs
• FmapBoth.expected.hs
• FmapBoth.hs
• FmapJoin.expected.hs
• FmapJoin.hs
• FmapJoinInLet.expected.hs
• FmapJoinInLet.hs
• GoldenApplicativeThen.hs
• GoldenArbitrary.expected.hs
• GoldenArbitrary.hs
• GoldenArbitrarySingleConstructor.expected.hs
• GoldenArbitrarySingleConstructor.hs
• GoldenBigTuple.expected.hs
• GoldenBigTuple.hs
• GoldenEitherAuto.expected.hs
• GoldenEitherAuto.hs
• GoldenEitherHomomorphic.expected.hs
• GoldenEitherHomomorphic.hs
• GoldenFish.hs
• GoldenFmapTree.expected.hs
• GoldenFmapTree.hs
• GoldenFoldr.expected.hs
• GoldenFoldr.hs
• GoldenFromMaybe.expected.hs
• GoldenFromMaybe.hs
• GoldenGADTAuto.expected.hs
• GoldenGADTAuto.hs
• GoldenGADTDestruct.expected.hs
• GoldenGADTDestruct.hs
• GoldenGADTDestructCoercion.expected.hs
• GoldenGADTDestructCoercion.hs
• GoldenIdTypeFam.expected.hs
• GoldenIdTypeFam.hs
• GoldenIdentityFunctor.expected.hs
• GoldenIdentityFunctor.hs
• GoldenIntros.expected.hs
• GoldenIntros.hs
• GoldenJoinCont.expected.hs
• GoldenJoinCont.hs
• GoldenListFmap.expected.hs
• GoldenListFmap.hs
• GoldenNote.expected.hs
• GoldenNote.hs
• GoldenPureList.expected.hs
• GoldenPureList.hs
• GoldenSafeHead.expected.hs
• GoldenSafeHead.hs
• GoldenShow.expected.hs
• GoldenShow.hs
• GoldenShowCompose.expected.hs
• GoldenShowCompose.hs
• GoldenShowMapChar.expected.hs
• GoldenShowMapChar.hs
• GoldenSuperclass.expected.hs
• GoldenSuperclass.hs
• GoldenSwap.expected.hs
• GoldenSwap.hs
• GoldenSwapMany.expected.hs
• GoldenSwapMany.hs
• IntroDestructLetBinding.expected.hs
• IntroDestructLetBinding.hs
• IntroDestructMany.expected.hs
• IntroDestructMany.hs
• IntroDestructOne.expected.hs
• IntroDestructOne.hs
• IntroDestructProvider.hs
• IntrosTooMany.expected.hs
• IntrosTooMany.hs
• KnownBigSemigroup.expected.hs
• KnownBigSemigroup.hs
• KnownCounterfactualSemigroup.expected.hs
• KnownCounterfactualSemigroup.hs
• KnownDestructedSemigroup.expected.hs
• KnownDestructedSemigroup.hs
• KnownMissingMonoid.expected.hs
• KnownMissingMonoid.hs
• KnownMissingSemigroup.expected.hs
• KnownMissingSemigroup.hs
• KnownModuleInstanceSemigroup.expected.hs
• KnownModuleInstanceSemigroup.hs
• KnownMonoid.expected.hs
• KnownMonoid.hs
• KnownPolyMonoid.expected.hs
• KnownPolyMonoid.hs
• KnownThetaSemigroup.expected.hs
• KnownThetaSemigroup.hs
• LayoutBind.expected.hs
• LayoutBind.hs
• LayoutDollarApp.expected.hs
• LayoutDollarApp.hs
• LayoutInfixKeep.expected.hs
• LayoutInfixKeep.hs
• LayoutLam.expected.hs
• LayoutLam.hs
• LayoutOpApp.expected.hs
• LayoutOpApp.hs
• LayoutPrefixKeep.expected.hs
• LayoutPrefixKeep.hs
• LayoutRec.expected.hs
• LayoutRec.hs
• LayoutSplitClass.expected.hs
• LayoutSplitClass.hs
• LayoutSplitGuard.expected.hs
• LayoutSplitGuard.hs
• LayoutSplitIn.expected.hs
• LayoutSplitIn.hs
• LayoutSplitLet.expected.hs
• LayoutSplitLet.hs
• LayoutSplitPatSyn.expected.hs
• LayoutSplitPatSyn.hs
• LayoutSplitPattern.expected.hs
• LayoutSplitPattern.hs
• LayoutSplitViewPat.expected.hs
• LayoutSplitViewPat.hs
• LayoutSplitWhere.expected.hs
• LayoutSplitWhere.hs
• MessageCantUnify.hs
• MessageForallA.hs
• MessageNotEnoughGas.hs
• MetaBegin.expected.hs
• MetaBegin.hs
• MetaBeginNoWildify.expected.hs
• MetaBeginNoWildify.hs
• MetaBindAll.expected.hs
• MetaBindAll.hs
• MetaBindOne.expected.hs
• MetaBindOne.hs
• MetaCataAST.expected.hs
• MetaCataAST.hs
• MetaCataCollapse.expected.hs
• MetaCataCollapse.hs
• MetaCataCollapseUnary.expected.hs
• MetaCataCollapseUnary.hs
• MetaChoice.expected.hs
• MetaChoice.hs
• MetaDeepOf.expected.hs
• MetaDeepOf.hs
• MetaFundeps.expected.hs
• MetaFundeps.hs
• MetaIdiom.expected.hs
• MetaIdiom.hs
• MetaIdiomRecord.expected.hs
• MetaIdiomRecord.hs
• MetaLetSimple.expected.hs
• MetaLetSimple.hs
• MetaMaybeAp.expected.hs
• MetaMaybeAp.hs
• MetaPointwise.expected.hs
• MetaPointwise.hs
• MetaTry.expected.hs
• MetaTry.hs
• MetaUseImport.expected.hs
• MetaUseImport.hs
• MetaUseLocal.expected.hs
• MetaUseLocal.hs
• MetaUseMethod.expected.hs
• MetaUseMethod.hs
• MetaUseSymbol.expected.hs
• MetaUseSymbol.hs
• MetaWithArg.expected.hs
• MetaWithArg.hs
• NewtypeRecord.expected.hs
• NewtypeRecord.hs
• ProvideAlreadyDestructed.hs
• ProvideLocalHyOnly.hs
• ProviderHomomorphism.hs
• PunGADT.expected.hs
• PunGADT.hs
• PunMany.expected.hs
• PunMany.hs
• PunManyGADT.expected.hs
• PunManyGADT.hs
• PunShadowing.expected.hs
• PunShadowing.hs
• PunSimple.expected.hs
• PunSimple.hs
• RecordCon.expected.hs
• RecordCon.hs
• RefineCon.expected.hs
• RefineCon.hs
• RefineGADT.expected.hs
• RefineGADT.hs
• RefineIntro.expected.hs
• RefineIntro.hs
• RefineIntroWhere.expected.hs
• RefineIntroWhere.hs
• RefineReader.expected.hs
• RefineReader.hs
• SplitPattern.expected.hs
• SplitPattern.hs
• SubsequentTactics.expected.hs
• SubsequentTactics.hs
• T1.hs
• T2.hs
• T3.hs
• UseConLeft.expected.hs
• UseConLeft.hs
• UseConPair.expected.hs
• UseConPair.hs
• UseConRight.expected.hs
• UseConRight.hs
• hie.yaml
• test.cabal