Enable unused-types in Weeder

Author: sellout

weeder.toml

@@ -207,6 +207,10 @@ roots = [
     '''^Unison\.Codebase\.isTerm$''',
     '''^Unison\.Codebase\.isType$''',
     '''^Unison\.Codebase\.resolveShortHash$''',
+    '''^Unison\.Codebase\.Branch\.UpdateStrategy$''',
+    '''^Unison\.Codebase\.Branch\.Raw\.Star$''',
+    '''^Unison\.Codebase\.Branch\.Raw\.EditHash$''',
+    '''^Unison\.Codebase\.Branch\.Raw\.Raw$''',
     '''^Unison\.Codebase\.Branch\.namespaceStats$''',
     '''^Unison\.Codebase\.Branch\.before$''',
     '''^Unison\.Codebase\.Branch\.stepEverywhere$''',
@@ -230,6 +234,8 @@ roots = [
     '''^Unison\.Codebase\.Editor\.SlurpComponent\.intersection$''',
     '''^Unison\.Codebase\.Editor\.SlurpResult\.isAllDuplicates$''',
     '''^Unison\.Codebase\.Editor\.UriParser\.parseReadShareLooseCode$''',
+    '''^Unison\.Codebase\.Init\.Type\.DebugName$''',
+    '''^Unison\.Codebase\.Init\.Type\.Init$''',
     '''^Unison\.Codebase\.Init\.initCodebaseAndExit$''',
     '''^Unison\.Codebase\.Metadata\.delete$''',
     '''^Unison\.Codebase\.Path\.relPath_$''',
@@ -239,13 +245,16 @@ roots = [
     '''^Unison\.Codebase\.Path\.ancestors$''',
     '''^Unison\.Codebase\.Path\.unsafeParseText'$''',
     '''^Unison\.Codebase\.Path\.Parse\.pathP'$''',
+    '''^Unison\.Codebase\.Runtime\.Profile\.SomeProfile$''',
+    '''^Unison\.Codebase\.Serialization\.Format$''',
     '''^Unison\.Codebase\.Serialization\.getFromBytes$''',
     '''^Unison\.Codebase\.Serialization\.getFromFile$''',
     '''^Unison\.Codebase\.Serialization\.getFromFile'$''',
     '''^Unison\.Codebase\.Serialization\.putBytes$''',
     '''^Unison\.Codebase\.Serialization\.putWithParentDirs$''',
     '''^Unison\.Codebase\.ShortCausalHash\.toString$''',
     '''^Unison\.Codebase\.ShortCausalHash\.toHash$''',
+    '''^Unison\.Codebase\.SqliteCodebase\.SyncEphemeral\.Dependencies$''',
     '''^Unison\.Codebase\.SqliteCodebase\.copyCodebase$''',
     '''^Unison\.Codebase\.SqliteCodebase\.Conversions\.referent2to1UsingCT$''',
     '''^Unison\.Codebase\.SqliteCodebase\.Conversions\.constructorType1to2$''',
@@ -301,6 +310,7 @@ roots = [
     '''^Unison\.HashQualified\.toStringWith$''',
     '''^Unison\.HashQualified\.matchesNamedReferent$''',
     '''^Unison\.HashQualified\.matchesNamedReference$''',
+    '''^Unison\.HashQualifiedPrime\.HQSegment$''',
     '''^Unison\.HashQualifiedPrime\.toNameOnly$''',
     '''^Unison\.HashQualifiedPrime\.toHash$''',
     '''^Unison\.HashQualifiedPrime\.toStringWith$''',
@@ -401,6 +411,7 @@ roots = [
     '''^Unison\.PrintError\._printPosRange$''',
     '''^Unison\.PrintError\._printArrowsAtPos$''',
     '''^Unison\.Project\.projectBranchNameUserSlug$''',
+    '''^Unison\.Reference\.Size$''',
     '''^Unison\.Reference\.toHash$''',
     '''^Unison\.Reference\.component$''',
     '''^Unison\.Reference\.components$''',
@@ -417,6 +428,8 @@ roots = [
     '''^Unison\.Result\.toMaybe$''',
     '''^Unison\.Result\.getResult$''',
     '''^Unison\.Result\.toEither$''',
+    '''^Unison\.Runtime\.ANF\.Serialize\.BDeserial$''',
+    '''^Unison\.Runtime\.ANF\.Serialize\.SDeserial$''',
     '''^Unison\.Runtime\.ANF\.minimizeCyclesOrCrash$''',
     '''^Unison\.Runtime\.ANF\.unbind$''',
     '''^Unison\.Runtime\.ANF\.litRef$''',
@@ -438,6 +451,9 @@ roots = [
     '''^Unison\.Runtime\.Canonicalizer\.fromListByIndex$''',
     '''^Unison\.Runtime\.Canonicalizer\.fromList$''',
     '''^Unison\.Runtime\.Foreign\.unwrapBuiltin$''',
+    '''^Unison\.Runtime\.IOSource\.TFile$''',
+    '''^Unison\.Runtime\.IOSource\.SynthResult$''',
+    '''^Unison\.Runtime\.IOSource\.EitherResult$''',
     '''^Unison\.Runtime\.IOSource\.abilityNamedId$''',
     '''^Unison\.Runtime\.IOSource\.eitherReference$''',
     '''^Unison\.Runtime\.IOSource\.optionReference$''',
@@ -453,6 +469,7 @@ roots = [
     '''^Unison\.Runtime\.IOSource\.doc2TermRef$''',
     '''^Unison\.Runtime\.IOSource\.prettyRef$''',
     '''^Unison\.Runtime\.IOSource\.constructorName$''',
+    '''^Unison\.Runtime\.MCode\.RCombInfo$''',
     '''^Unison\.Runtime\.MCode\.argsToLists$''',
     '''^Unison\.Runtime\.MCode\.combDeps$''',
     '''^Unison\.Runtime\.MCode\.sectionDeps$''',
@@ -489,6 +506,8 @@ roots = [
     '''^Unison\.Runtime\.SparseVector\.choose$''',
     '''^Unison\.Runtime\.SparseVector\.merge$''',
     '''^Unison\.Runtime\.SparseVector\.eq$''',
+    '''^Unison\.Runtime\.Stack\.IxClosure$''',
+    '''^Unison\.Runtime\.Stack\.FP$''',
     '''^Unison\.Runtime\.Stack\.xStackIOToIO$''',
     '''^Unison\.Runtime\.Stack\.stackIOToIOX$''',
     '''^Unison\.Runtime\.Stack\.peekI$''',
@@ -540,6 +559,8 @@ roots = [
     '''^Unison\.Server\.SearchResultPrime\.tpReference$''',
     '''^Unison\.Server\.SearchResultPrime\.labeledDependencies$''',
     '''^Unison\.Server\.Syntax\.syntax$''',
+    '''^Unison\.Server\.Types\.NamespaceFQN$''',
+    '''^Unison\.Server\.Types\.Size$''',
     '''^Unison\.Server\.Types\.exactToHQ$''',
     '''^Unison\.Server\.Types\.exactToHQ'$''',
     '''^Unison\.Server\.Types\.unisonRefToText$''',
@@ -630,6 +651,7 @@ roots = [
     '''^Unison\.Type\.unforall$''',
     '''^Unison\.Type\.usesEffects$''',
     '''^Unison\.Type\.functionResult$''',
+    '''^Unison\.Typechecker\.Name$''',
     '''^Unison\.Typechecker\.check$''',
     '''^Unison\.Typechecker\.wellTyped$''',
     '''^Unison\.Typechecker\.Context\._logContext$''',
@@ -647,6 +669,7 @@ roots = [
     '''^Unison\.Typechecker\.Extractor\.solvedBlank$''',
     '''^Unison\.Typechecker\.Extractor\.infoNote$''',
     '''^Unison\.Typechecker\.Extractor\.topLevelComponent$''',
+    '''^Unison\.Typechecker\.TypeError\.TypeNote$''',
     '''^Unison\.Typechecker\.TypeError\.topLevelComponent$''',
     '''^Unison\.Typechecker\.TypeLookup\.unsafeConstructorType$''',
     '''^Unison\.Typechecker\.TypeLookup\.constructorType$''',
@@ -674,6 +697,7 @@ roots = [
     '''^Unison\.Util\.CycleTable\.insertEnd$''',
     '''^Unison\.Util\.CyclicEq\.bothEq'$''',
     '''^Unison\.Util\.CyclicOrd\.bothOrd'$''',
+    '''^Unison\.Util\.Defns\.DefnsF4$''',
     '''^Unison\.Util\.Defns\.terms_$''',
     '''^Unison\.Util\.Defns\.types_$''',
     '''^Unison\.Util\.Defns\.hoistDefnsF$''',
@@ -694,6 +718,10 @@ roots = [
     '''^Unison\.Util\.Find\.candidates$''',
     '''^Unison\.Util\.Find\.highlight$''',
     '''^Unison\.Util\.Find\.highlight'$''',
+    '''^Unison\.Util\.Lens\.Field1'$''',
+    '''^Unison\.Util\.Lens\.Field2'$''',
+    '''^Unison\.Util\.Lens\.Field3'$''',
+    '''^Unison\.Util\.Lens\.Field4'$''',
     '''^Unison\.Util\.List\.intercalateMapWith$''',
     '''^Unison\.Util\.List\.quenchRuns$''',
     '''^Unison\.Util\.Map\.alignWithKey$''',
@@ -793,4 +821,4 @@ roots = [
     '''^Unison\.Test\.UriParser\.sch$''',
 ]
 type-class-roots = true
-unused-types = false
+unused-types = true