• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..15-Sep-2021-

AutoEmptyString.expected.hsH A D15-Sep-202141 32

AutoEmptyString.hsH A D15-Sep-202140 32

AutoEndo.expected.hsH A D15-Sep-2021241 128

AutoEndo.hsH A D15-Sep-2021174 117

AutoForallClassMethod.expected.hsH A D15-Sep-2021391 135

AutoForallClassMethod.hsH A D15-Sep-2021361 135

AutoInfixApply.expected.hsH A D15-Sep-202170 42

AutoInfixApply.hsH A D15-Sep-202163 42

AutoInfixApplyMany.expected.hsH A D15-Sep-202186 42

AutoInfixApplyMany.hsH A D15-Sep-202175 42

AutoInfixInfix.expected.hsH A D15-Sep-2021107 32

AutoInfixInfix.hsH A D15-Sep-202192 32

AutoPatSynUse.expected.hsH A D15-Sep-2021191 94

AutoPatSynUse.hsH A D15-Sep-2021186 94

AutoSplitGADT.expected.hsH A D15-Sep-2021302 135

AutoSplitGADT.hsH A D15-Sep-2021297 135

AutoThetaEqCtx.expected.hsH A D15-Sep-202167 62

AutoThetaEqCtx.hsH A D15-Sep-202166 62

AutoThetaEqGADT.expected.hsH A D15-Sep-202186 83

AutoThetaEqGADT.hsH A D15-Sep-202185 83

AutoThetaEqGADTDestruct.expected.hsH A D15-Sep-202188 93

AutoThetaEqGADTDestruct.hsH A D15-Sep-202184 93

AutoThetaFix.expected.hsH A D15-Sep-2021469 145

AutoThetaFix.hsH A D15-Sep-2021435 145

AutoThetaGADT.expected.hsH A D15-Sep-202188 83

AutoThetaGADT.hsH A D15-Sep-202185 83

AutoThetaGADTDestruct.expected.hsH A D15-Sep-202192 83

AutoThetaGADTDestruct.hsH A D15-Sep-202183 83

AutoThetaMultipleUnification.expected.hsH A D15-Sep-2021510 2211

AutoThetaMultipleUnification.hsH A D15-Sep-2021512 2211

AutoThetaRankN.expected.hsH A D15-Sep-2021156 94

AutoThetaRankN.hsH A D15-Sep-2021153 94

AutoThetaRefl.expected.hsH A D15-Sep-202196 83

AutoThetaRefl.hsH A D15-Sep-202195 83

AutoThetaReflDestruct.expected.hsH A D15-Sep-202198 93

AutoThetaReflDestruct.hsH A D15-Sep-202194 93

AutoThetaSplitUnification.expected.hsH A D15-Sep-2021337 188

AutoThetaSplitUnification.hsH A D15-Sep-2021331 188

AutoTypeLevel.expected.hsH A D15-Sep-2021525 2211

AutoTypeLevel.hsH A D15-Sep-2021457 2110

AutoUnusedPatternMatch.expected.hsH A D15-Sep-202131 32

AutoUnusedPatternMatch.hsH A D15-Sep-202128 32

AutoZip.expected.hsH A D15-Sep-2021219 75

AutoZip.hsH A D15-Sep-202181 42

ConProviders.hsH A D15-Sep-2021345 2211

DestructAllAnd.expected.hsH A D15-Sep-2021112 65

DestructAllAnd.hsH A D15-Sep-202140 32

DestructAllFunc.expected.hsH A D15-Sep-202189 53

DestructAllFunc.hsH A D15-Sep-202159 42

DestructAllGADTEvidence.expected.hsH A D15-Sep-2021516 2211

DestructAllGADTEvidence.hsH A D15-Sep-2021463 2110

DestructAllMany.expected.hsH A D15-Sep-20211.1 KiB2826

DestructAllMany.hsH A D15-Sep-2021105 53

DestructAllNonVarTopMatch.expected.hsH A D15-Sep-2021151 75

DestructAllNonVarTopMatch.hsH A D15-Sep-202158 42

DestructAllProvider.hsH A D15-Sep-2021289 136

DestructCthulhu.expected.hsH A D15-Sep-20212 KiB5550

DestructCthulhu.hsH A D15-Sep-20211.4 KiB3227

DestructDataFam.expected.hsH A D15-Sep-2021114 94

DestructDataFam.hsH A D15-Sep-2021105 94

DestructPun.expected.hsH A D15-Sep-2021133 93

DestructPun.hsH A D15-Sep-202195 82

DestructTyFam.expected.hsH A D15-Sep-2021117 105

DestructTyFam.hsH A D15-Sep-202195 94

DestructTyToDataFam.expected.hsH A D15-Sep-2021281 1910

DestructTyToDataFam.hsH A D15-Sep-2021272 1910

EmptyCaseADT.expected.hsH A D15-Sep-202198 96

EmptyCaseADT.hsH A D15-Sep-202167 63

EmptyCaseApply.expected.hsH A D15-Sep-202145 43

EmptyCaseApply.hsH A D15-Sep-202122 21

EmptyCaseGADT.expected.hsH A D15-Sep-2021180 148

EmptyCaseGADT.hsH A D15-Sep-2021154 126

EmptyCaseLamCase.expected.hsH A D15-Sep-202188 74

EmptyCaseLamCase.hsH A D15-Sep-202163 52

EmptyCaseNested.expected.hsH A D15-Sep-202180 65

EmptyCaseNested.hsH A D15-Sep-202151 43

EmptyCaseParens.expected.hsH A D15-Sep-202157 43

EmptyCaseParens.hsH A D15-Sep-202128 21

EmptyCaseShadow.expected.hsH A D15-Sep-2021196 116

EmptyCaseShadow.hsH A D15-Sep-2021164 83

EmptyCaseSpuriousGADT.hsH A D15-Sep-2021100 94

Fgmap.expected.hsH A D15-Sep-202188 32

Fgmap.hsH A D15-Sep-202178 32

FmapBoth.expected.hsH A D15-Sep-2021127 42

FmapBoth.hsH A D15-Sep-202189 42

FmapJoin.expected.hsH A D15-Sep-202185 32

FmapJoin.hsH A D15-Sep-202169 32

FmapJoinInLet.expected.hsH A D15-Sep-2021172 52

FmapJoinInLet.hsH A D15-Sep-2021155 52

GoldenApplicativeThen.hsH A D15-Sep-202160 32

GoldenArbitrary.expected.hsH A D15-Sep-20212 KiB5447

GoldenArbitrary.hsH A D15-Sep-2021522 2720

GoldenBigTuple.expected.hsH A D15-Sep-2021220 52

GoldenBigTuple.hsH A D15-Sep-2021194 52

GoldenEitherAuto.expected.hsH A D15-Sep-2021114 43

GoldenEitherAuto.hsH A D15-Sep-202163 32

GoldenEitherHomomorphic.expected.hsH A D15-Sep-2021141 43

GoldenEitherHomomorphic.hsH A D15-Sep-202175 32

GoldenFish.hsH A D15-Sep-2021297 62

GoldenFmapTree.expected.hsH A D15-Sep-2021183 64

GoldenFmapTree.hsH A D15-Sep-202189 53

GoldenFoldr.expected.hsH A D15-Sep-2021112 43

GoldenFoldr.hsH A D15-Sep-202152 32

GoldenFromMaybe.expected.hsH A D15-Sep-202182 43

GoldenFromMaybe.hsH A D15-Sep-202145 32

GoldenGADTAuto.expected.hsH A D15-Sep-2021166 85

GoldenGADTAuto.hsH A D15-Sep-2021159 85

GoldenGADTDestruct.expected.hsH A D15-Sep-2021178 85

GoldenGADTDestruct.hsH A D15-Sep-2021173 85

GoldenGADTDestructCoercion.expected.hsH A D15-Sep-2021198 95

GoldenGADTDestructCoercion.hsH A D15-Sep-2021201 95

GoldenIdTypeFam.expected.hsH A D15-Sep-2021113 84

GoldenIdTypeFam.hsH A D15-Sep-2021112 84

GoldenIdentityFunctor.expected.hsH A D15-Sep-202190 43

GoldenIdentityFunctor.hsH A D15-Sep-202164 43

GoldenIntros.expected.hsH A D15-Sep-202170 32

GoldenIntros.hsH A D15-Sep-202158 32

GoldenJoinCont.expected.hsH A D15-Sep-2021109 53

GoldenJoinCont.hsH A D15-Sep-202188 53

GoldenListFmap.expected.hsH A D15-Sep-2021104 43

GoldenListFmap.hsH A D15-Sep-202148 32

GoldenNote.expected.hsH A D15-Sep-202185 43

GoldenNote.hsH A D15-Sep-202144 32

GoldenPureList.expected.hsH A D15-Sep-202141 32

GoldenPureList.hsH A D15-Sep-202134 32

GoldenSafeHead.expected.hsH A D15-Sep-202175 43

GoldenSafeHead.hsH A D15-Sep-202140 32

GoldenShow.expected.hsH A D15-Sep-202146 32

GoldenShow.hsH A D15-Sep-202143 32

GoldenShowCompose.expected.hsH A D15-Sep-202178 32

GoldenShowCompose.hsH A D15-Sep-202165 32

GoldenShowMapChar.expected.hsH A D15-Sep-202164 32

GoldenShowMapChar.hsH A D15-Sep-202151 32

GoldenSuperclass.expected.hsH A D15-Sep-202193 95

GoldenSuperclass.hsH A D15-Sep-202189 95

GoldenSwap.expected.hsH A D15-Sep-202146 32

GoldenSwap.hsH A D15-Sep-202134 32

GoldenSwapMany.expected.hsH A D15-Sep-202190 32

GoldenSwapMany.hsH A D15-Sep-202160 32

IntroDestructLetBinding.expected.hsH A D15-Sep-202196 76

IntroDestructLetBinding.hsH A D15-Sep-202169 65

IntroDestructMany.expected.hsH A D15-Sep-202168 53

IntroDestructMany.hsH A D15-Sep-202147 42

IntroDestructOne.expected.hsH A D15-Sep-202164 74

IntroDestructOne.hsH A D15-Sep-202143 63

IntroDestructProvider.hsH A D15-Sep-2021135 106

IntrosTooMany.expected.hsH A D15-Sep-202143 32

IntrosTooMany.hsH A D15-Sep-2021107 32

KnownBigSemigroup.expected.hsH A D15-Sep-2021245 106

KnownBigSemigroup.hsH A D15-Sep-2021120 84

KnownCounterfactualSemigroup.expected.hsH A D15-Sep-2021178 83

KnownCounterfactualSemigroup.hsH A D15-Sep-2021129 83

KnownDestructedSemigroup.expected.hsH A D15-Sep-202198 63

KnownDestructedSemigroup.hsH A D15-Sep-202182 63

KnownMissingMonoid.expected.hsH A D15-Sep-2021148 95

KnownMissingMonoid.hsH A D15-Sep-2021132 95

KnownMissingSemigroup.expected.hsH A D15-Sep-2021117 63

KnownMissingSemigroup.hsH A D15-Sep-202173 63

KnownModuleInstanceSemigroup.expected.hsH A D15-Sep-2021193 137

KnownModuleInstanceSemigroup.hsH A D15-Sep-2021129 126

KnownMonoid.expected.hsH A D15-Sep-2021132 95

KnownMonoid.hsH A D15-Sep-2021120 95

KnownPolyMonoid.expected.hsH A D15-Sep-2021163 95

KnownPolyMonoid.hsH A D15-Sep-2021144 95

KnownThetaSemigroup.expected.hsH A D15-Sep-2021113 63

KnownThetaSemigroup.hsH A D15-Sep-202183 63

LayoutBind.expected.hsH A D15-Sep-2021109 97

LayoutBind.hsH A D15-Sep-202168 75

LayoutDollarApp.expected.hsH A D15-Sep-202179 64

LayoutDollarApp.hsH A D15-Sep-202138 42

LayoutInfixKeep.expected.hsH A D15-Sep-2021115 63

LayoutInfixKeep.hsH A D15-Sep-202190 52

LayoutLam.expected.hsH A D15-Sep-202174 64

LayoutLam.hsH A D15-Sep-202137 42

LayoutOpApp.expected.hsH A D15-Sep-202181 54

LayoutOpApp.hsH A D15-Sep-202140 32

LayoutPrefixKeep.expected.hsH A D15-Sep-202161 53

LayoutPrefixKeep.hsH A D15-Sep-202137 42

LayoutRec.expected.hsH A D15-Sep-2021119 63

LayoutRec.hsH A D15-Sep-2021106 63

LayoutSplitClass.expected.hsH A D15-Sep-202177 64

LayoutSplitClass.hsH A D15-Sep-202153 53

LayoutSplitGuard.expected.hsH A D15-Sep-202185 65

LayoutSplitGuard.hsH A D15-Sep-202148 43

LayoutSplitIn.expected.hsH A D15-Sep-202172 64

LayoutSplitIn.hsH A D15-Sep-202146 64

LayoutSplitLet.expected.hsH A D15-Sep-202186 86

LayoutSplitLet.hsH A D15-Sep-202161 75

LayoutSplitPatSyn.expected.hsH A D15-Sep-2021214 125

LayoutSplitPatSyn.hsH A D15-Sep-2021176 114

LayoutSplitPattern.expected.hsH A D15-Sep-2021160 105

LayoutSplitPattern.hsH A D15-Sep-2021131 94

LayoutSplitViewPat.expected.hsH A D15-Sep-2021154 73

LayoutSplitViewPat.hsH A D15-Sep-2021105 62

LayoutSplitWhere.expected.hsH A D15-Sep-2021183 1511

LayoutSplitWhere.hsH A D15-Sep-2021145 139

MessageCantUnify.hsH A D15-Sep-2021104 94

MessageForallA.hsH A D15-Sep-202119 32

MessageNotEnoughGas.hsH A D15-Sep-2021185 1412

MetaBegin.expected.hsH A D15-Sep-202118 21

MetaBegin.hsH A D15-Sep-20218 21

MetaBeginNoWildify.expected.hsH A D15-Sep-202121 31

MetaBeginNoWildify.hsH A D15-Sep-202111 31

MetaBindAll.expected.hsH A D15-Sep-202134 32

MetaBindAll.hsH A D15-Sep-202158 32

MetaBindOne.expected.hsH A D15-Sep-202136 32

MetaBindOne.hsH A D15-Sep-202158 32

MetaCataAST.expected.hsH A D15-Sep-2021492 2419

MetaCataAST.hsH A D15-Sep-2021256 127

MetaCataCollapse.expected.hsH A D15-Sep-2021229 159

MetaCataCollapse.hsH A D15-Sep-2021184 115

MetaCataCollapseUnary.expected.hsH A D15-Sep-2021123 95

MetaCataCollapseUnary.hsH A D15-Sep-2021149 95

MetaChoice.expected.hsH A D15-Sep-202172 32

MetaChoice.hsH A D15-Sep-2021118 32

MetaDeepOf.expected.hsH A D15-Sep-2021264 95

MetaDeepOf.hsH A D15-Sep-2021266 95

MetaLetSimple.expected.hsH A D15-Sep-202178 87

MetaLetSimple.hsH A D15-Sep-202142 32

MetaMaybeAp.expected.hsH A D15-Sep-2021195 65

MetaMaybeAp.hsH A D15-Sep-2021173 1211

MetaPointwise.expected.hsH A D15-Sep-2021174 95

MetaPointwise.hsH A D15-Sep-2021184 84

MetaTry.expected.hsH A D15-Sep-202136 32

MetaTry.hsH A D15-Sep-202164 32

MetaUseImport.expected.hsH A D15-Sep-202160 73

MetaUseImport.hsH A D15-Sep-202196 73

MetaUseLocal.expected.hsH A D15-Sep-202154 84

MetaUseLocal.hsH A D15-Sep-202171 84

MetaUseMethod.expected.hsH A D15-Sep-2021137 136

MetaUseMethod.hsH A D15-Sep-2021154 136

MetaUseSymbol.expected.hsH A D15-Sep-202160 53

MetaUseSymbol.hsH A D15-Sep-202171 53

MetaWithArg.expected.hsH A D15-Sep-202128 32

MetaWithArg.hsH A D15-Sep-202156 32

NewtypeRecord.expected.hsH A D15-Sep-2021108 85

NewtypeRecord.hsH A D15-Sep-2021101 85

ProvideAlreadyDestructed.hsH A D15-Sep-2021117 109

ProvideLocalHyOnly.hsH A D15-Sep-202142 32

ProviderHomomorphism.hsH A D15-Sep-2021341 2313

PunGADT.expected.hsH A D15-Sep-2021154 137

PunGADT.hsH A D15-Sep-2021137 137

PunMany.expected.hsH A D15-Sep-2021164 96

PunMany.hsH A D15-Sep-2021121 85

PunManyGADT.expected.hsH A D15-Sep-2021297 2014

PunManyGADT.hsH A D15-Sep-2021241 1913

PunShadowing.expected.hsH A D15-Sep-202199 63

PunShadowing.hsH A D15-Sep-202181 63

PunSimple.expected.hsH A D15-Sep-202186 63

PunSimple.hsH A D15-Sep-202172 63

RecordCon.expected.hsH A D15-Sep-2021155 106

RecordCon.hsH A D15-Sep-2021119 106

RefineCon.expected.hsH A D15-Sep-202148 42

RefineCon.hsH A D15-Sep-202134 42

RefineGADT.expected.hsH A D15-Sep-2021134 105

RefineGADT.hsH A D15-Sep-2021128 105

RefineIntro.expected.hsH A D15-Sep-202137 32

RefineIntro.hsH A D15-Sep-202133 32

RefineIntroWhere.expected.hsH A D15-Sep-202199 74

RefineIntroWhere.hsH A D15-Sep-202188 74

RefineReader.expected.hsH A D15-Sep-202183 63

RefineReader.hsH A D15-Sep-202174 63

SplitPattern.expected.hsH A D15-Sep-2021353 1311

SplitPattern.hsH A D15-Sep-2021212 97

T1.hsH A D15-Sep-202173 42

T2.hsH A D15-Sep-2021195 138

T3.hsH A D15-Sep-2021150 94

UseConLeft.expected.hsH A D15-Sep-202136 42

UseConLeft.hsH A D15-Sep-202129 42

UseConPair.expected.hsH A D15-Sep-202133 32

UseConPair.hsH A D15-Sep-202124 32

UseConRight.expected.hsH A D15-Sep-202137 42

UseConRight.hsH A D15-Sep-202129 42

hie.yamlH A D15-Sep-202150 21

test.cabalH A D15-Sep-2021480 1816