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

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

hls-tactics-plugin-1.8.0.0/

• LICENSE
• README.md
• hls-tactics-plugin.cabal
• new/
  • src/
    • Ide/
      • Plugin/
        • Tactic.hs
    • Refinery/
      • Future.hs
    • Wingman/
      • AbstractLSP.hs
      • Auto.hs
      • CaseSplit.hs
      • CodeGen.hs
      • Context.hs
      • Debug.hs
      • EmptyCase.hs
      • GHC.hs
      • Judgements.hs
      • KnownStrategies.hs
      • LanguageServer.hs
      • Machinery.hs
      • Naming.hs
      • Plugin.hs
      • Range.hs
      • Simplify.hs
      • StaticPlugin.hs
      • Tactics.hs
      • Types.hs
      • AbstractLSP/
        • TacticActions.hs
        • Types.hs
      • CodeGen/
        • Utils.hs
      • Judgements/
        • SYB.hs
        • Theta.hs
      • KnownStrategies/
        • QuickCheck.hs
      • LanguageServer/
        • Metaprogram.hs
        • TacticProviders.hs
      • Metaprogramming/
        • Lexer.hs
        • Parser.hs
        • Parser.hs-boot
        • ProofState.hs
        • Parser/
          • Documentation.hs
  • test/
    • AutoTupleSpec.hs
    • Main.hs
    • ProviderSpec.hs
    • Spec.hs
    • UnificationSpec.hs
    • Utils.hs
    • CodeAction/
      • AutoSpec.hs
      • DestructAllSpec.hs
      • DestructPunSpec.hs
      • DestructSpec.hs
      • IntroDestructSpec.hs
      • IntrosSpec.hs
      • RefineSpec.hs
      • RunMetaprogramSpec.hs
      • UseDataConSpec.hs
    • CodeLens/
      • EmptyCaseSpec.hs
    • 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
• old/
  • src/
    • Ide/
      • Plugin/
        • Tactic.hs
    • Refinery/
      • Future.hs
    • Wingman/
      • AbstractLSP.hs
      • Auto.hs
      • CaseSplit.hs
      • CodeGen.hs
      • Context.hs
      • Debug.hs
      • EmptyCase.hs
      • GHC.hs
      • Judgements.hs
      • KnownStrategies.hs
      • LanguageServer.hs
      • Machinery.hs
      • Naming.hs
      • Plugin.hs
      • Range.hs
      • Simplify.hs
      • StaticPlugin.hs
      • Tactics.hs
      • Types.hs
      • AbstractLSP/
        • TacticActions.hs
        • Types.hs
      • CodeGen/
        • Utils.hs
      • Judgements/
        • SYB.hs
        • Theta.hs
      • KnownStrategies/
        • QuickCheck.hs
      • LanguageServer/
        • Metaprogram.hs
        • TacticProviders.hs
      • Metaprogramming/
        • Lexer.hs
        • Parser.hs
        • Parser.hs-boot
        • ProofState.hs
        • Parser/
          • Documentation.hs
  • test/
    • AutoTupleSpec.hs
    • ProviderSpec.hs
    • Spec.hs
    • UnificationSpec.hs
    • Utils.hs
    • CodeAction/
      • AutoSpec.hs
      • DestructAllSpec.hs
      • DestructPunSpec.hs
      • DestructSpec.hs
      • IntroDestructSpec.hs
      • IntrosSpec.hs
      • RefineSpec.hs
      • RunMetaprogramSpec.hs
      • UseDataConSpec.hs
    • CodeLens/
      • EmptyCaseSpec.hs
    • 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