diff options
Diffstat (limited to 'testsuite/tests/linters/notes.stdout')
| -rw-r--r-- | testsuite/tests/linters/notes.stdout | 227 |
1 files changed, 227 insertions, 0 deletions
diff --git a/testsuite/tests/linters/notes.stdout b/testsuite/tests/linters/notes.stdout new file mode 100644 index 0000000000..c7e69aff23 --- /dev/null +++ b/testsuite/tests/linters/notes.stdout @@ -0,0 +1,227 @@ +ref compiler/GHC/Builtin/Names.hs:222:15: Note [TyConRepNames for non-wired-in TyCons] +ref compiler/GHC/CmmToAsm/X86/CodeGen.hs:3248:21: Note [rts/StgCRun.c : Stack Alignment on X86] +ref compiler/GHC/CmmToC.hs:499:11: Note [Zero-extended sub-word signed results] +ref compiler/GHC/CmmToLlvm/Config.hs:29:11: Note [LLVM Configuration] +ref compiler/GHC/Core.hs:1123:23: Note [Extra args in rule matching] +ref compiler/GHC/Core/Coercion/Axiom.hs:326:7: Note [Compatibility checking] +ref compiler/GHC/Core/Lint.hs:489:11: Note [Checking representation-polymorphic data constructors] +ref compiler/GHC/Core/Lint.hs:1923:0: Note [Rules and join points] +ref compiler/GHC/Core/Make.hs:1033:48: Note [Worker/wrapper for INLINEABLE functions] +ref compiler/GHC/Core/Opt/Arity.hs:1498:22: Note [Check for reflexive casts in eta-expansion] +ref compiler/GHC/Core/Opt/CSE.hs:439:3: Note [Type-let] +ref compiler/GHC/Core/Opt/FloatIn.hs:544:15: Note [extra_fvs (1,2)] +ref compiler/GHC/Core/Opt/OccurAnal.hs:344:28: Note [Rules for imported functions] +ref compiler/GHC/Core/Opt/OccurAnal.hs:576:40: Note [Self-recursive rules] +ref compiler/GHC/Core/Opt/OccurAnal.hs:582:0: Note [Rules and loop breakers] +ref compiler/GHC/Core/Opt/OccurAnal.hs:851:15: Note [Loop breaking] +ref compiler/GHC/Core/Opt/OccurAnal.hs:1738:17: Note [Eta-expansion inside stable unfoldings] +ref compiler/GHC/Core/Opt/Pipeline.hs:624:3: Note [Simplifying the left-hand side of a RULE] +ref compiler/GHC/Core/Opt/Pipeline.hs:937:63: Note [Rules and indirect-zapping] +ref compiler/GHC/Core/Opt/Pipeline.hs:999:31: Note [Messing up the exported Id's IdInfo] +ref compiler/GHC/Core/Opt/Pipeline.hs:1008:7: Note [Messing up the exported Id's IdInfo] +ref compiler/GHC/Core/Opt/SetLevels.hs:1598:30: Note [Top level scope] +ref compiler/GHC/Core/Opt/Simplify.hs:672:56: Note [Wrapper NoUserInline] +ref compiler/GHC/Core/Opt/Simplify.hs:2090:33: Note [RULEs apply to simplified arguments] +ref compiler/GHC/Core/Opt/Simplify.hs:2618:13: Note [Case binder next] +ref compiler/GHC/Core/Opt/Simplify.hs:3239:0: Note [Suppressing binder-swaps on linear case] +ref compiler/GHC/Core/Opt/Simplify.hs:3767:8: Note [Lambda-bound unfoldings] +ref compiler/GHC/Core/Opt/Simplify.hs:4123:33: Note [Do not eta-expand trivial expressions] +ref compiler/GHC/Core/Opt/Simplify/Utils.hs:133:39: Note [The hole type in ApplyToTy/Val] +ref compiler/GHC/Core/Opt/Simplify/Utils.hs:141:41: Note [The hole type in ApplyToTy/Val] +ref compiler/GHC/Core/Opt/Simplify/Utils.hs:456:59: Note [The hole type in ApplyToTy/Val] +ref compiler/GHC/Core/Opt/Simplify/Utils.hs:1225:37: Note [Gentle mode] +ref compiler/GHC/Core/Opt/Simplify/Utils.hs:1624:38: Note [Eta-expanding lambdas] +ref compiler/GHC/Core/Opt/Simplify/Utils.hs:2195:2: Note [Merge nested cases] +ref compiler/GHC/Core/Opt/Simplify/Utils.hs:2196:2: Note [Eliminate identity case] +ref compiler/GHC/Core/Opt/Simplify/Utils.hs:2197:2: Note [Scrutinee constant folding] +ref compiler/GHC/Core/Opt/Specialise.hs:1593:28: Note [Arity decrease] +ref compiler/GHC/Core/Rules.hs:885:7: Note [Coercion argument] +ref compiler/GHC/Core/Rules.hs:972:52: Note [Eta reduction in the target] +ref compiler/GHC/Core/Rules.hs:1031:7: Note [Eta reduction in the target] +ref compiler/GHC/Core/Subst.hs:100:60: Note [Apply once] +ref compiler/GHC/Core/Subst.hs:111:16: Note [Extending the TCvSubst] +ref compiler/GHC/Core/TyCo/FVs.hs:289:7: Note [Free variables of Coercions] +ref compiler/GHC/Core/TyCo/Ppr.hs:71:23: Note [IfaceType and pretty-printing] +ref compiler/GHC/Core/TyCo/Rep.hs:1711:31: Note [What prevents a constraint from floating] +ref compiler/GHC/Core/TyCo/Subst.hs:116:15: Note [Extending the TvSubstEnv] +ref compiler/GHC/Core/TyCo/Subst.hs:261:16: Note [Extending the TvSubstEnv] +ref compiler/GHC/Core/TyCo/Subst.hs:784:15: Note [Extending the TCvSubst] +ref compiler/GHC/Core/TyCo/Subst.hs:1001:15: Note [Extending the TCvSubst] +ref compiler/GHC/Core/TyCon.hs:961:35: Note [Promoted GADT data construtors] +ref compiler/GHC/Core/TyCon.hs:2442:62: Note [Sharing nullary TyCons] +ref compiler/GHC/Core/Unfold.hs:1171:23: Note [INLINE for small functions (3)] +ref compiler/GHC/Core/Unfold.hs:1242:50: Note [Unfold info lazy contexts] +ref compiler/GHC/Core/Unfold/Make.hs:157:34: Note [DFunUnfoldings] +ref compiler/GHC/Core/Unify.hs:561:16: Note [Unification result] +ref compiler/GHC/Core/Unify.hs:1407:9: Note [INLINE pragmas and (>>)] +ref compiler/GHC/Core/Utils.hs:944:40: Note [ _ -> [con1] +ref compiler/GHC/CoreToStg.hs:460:15: Note [Nullary unboxed tuple] +ref compiler/GHC/Driver/Main.hs:1551:34: Note [simpleTidyPgm - mkBootModDetailsTc] +ref compiler/GHC/Driver/Session.hs:452:33: Note [LLVM Configuration] +ref compiler/GHC/Driver/Session.hs:776:9: Note [LLVM Configuration] +ref compiler/GHC/Driver/Session.hs:1949:36: Note [GHC.Driver.Main . Safe Haskell Inference] +ref compiler/GHC/Driver/Session.hs:3910:49: Note [Eta-reduction in -O0] +ref compiler/GHC/Hs/Extension.hs:140:5: Note [Strict argument type constraints] +ref compiler/GHC/HsToCore/Binds.hs:313:33: Note [AbsBinds wrappers] +ref compiler/GHC/HsToCore/Binds.hs:849:46: Note [Free dictionaries] +ref compiler/GHC/HsToCore/Binds.hs:883:36: Note [Free tyvars in rule LHS] +ref compiler/GHC/HsToCore/Binds.hs:884:35: Note [Free dictionaries in rule LHS] +ref compiler/GHC/HsToCore/Binds.hs:942:24: Note [Free dictionaries] +ref compiler/GHC/HsToCore/Binds.hs:999:34: Note [Dead spec binders] +ref compiler/GHC/HsToCore/Docs.hs:126:70: Note [1] +ref compiler/GHC/HsToCore/Docs.hs:130:0: Note [1] +ref compiler/GHC/HsToCore/Expr.hs:1045:22: Note [Checking representation-polymorphic data constructors] +ref compiler/GHC/HsToCore/Pmc/Desugar.hs:77:7: Note [Order of guards matter] +ref compiler/GHC/HsToCore/Pmc/Solver.hs:853:20: Note [COMPLETE sets on data families] +ref compiler/GHC/HsToCore/Types.hs:61:13: Note [Generating fresh names for FFI wrappers] +ref compiler/GHC/HsToCore/Utils.hs:186:9: Note [MatchIds] +ref compiler/GHC/HsToCore/Utils.hs:939:62: Note [Don't CPR join points] +ref compiler/GHC/Iface/Syntax.hs:705:0: Note [Minimal complete definition] +ref compiler/GHC/Iface/Syntax.hs:765:44: Note [Minimal complete definition] +ref compiler/GHC/Iface/Type.hs-boot:8:7: Note [Depend on GHC.Integer] +ref compiler/GHC/Linker/Types.hs:128:30: Note [Grant plan for static forms] +ref compiler/GHC/Parser/Lexer.x:185:7: Note [Lexing NumericUnderscores extension] +ref compiler/GHC/Parser/Lexer.x:502:3: Note [Lexing NumericUnderscores extension] +ref compiler/GHC/Rename/Expr.hs:2013:9: Note [ApplicativeDo and strict patterns] +ref compiler/GHC/Rename/Expr.hs:2046:12: Note [ApplicativeDo and refutable patterns] +ref compiler/GHC/Rename/Expr.hs:2130:18: Note [ApplicativeDo and strict patterns] +ref compiler/GHC/Rename/Expr.hs:2148:0: Note [ApplicativeDo and strict patterns] +ref compiler/GHC/Rename/Expr.hs:2203:0: Note [ApplicativeDo and refutable patterns] +ref compiler/GHC/Rename/HsType.hs:964:40: Note [CUSKs: Complete user-supplied kind signatures] +ref compiler/GHC/Rename/Pat.hs:888:29: Note [Disambiguating record fields] +ref compiler/GHC/Rename/Splice.hs:450:27: Note [Splices] +ref compiler/GHC/Rename/Unbound.hs:373:7: Note [Related name spaces] +ref compiler/GHC/Runtime/Eval.hs:995:2: Note [Querying instances for a type] +ref compiler/GHC/Runtime/Interpreter.hs:198:30: Note [uninterruptibleMask_] +ref compiler/GHC/StgToCmm.hs:107:18: Note [codegen-split-init] +ref compiler/GHC/StgToCmm.hs:110:18: Note [pipeline-split-init] +ref compiler/GHC/StgToCmm/DataCon.hs:230:4: Note [CHARLIKE and INTLIKE closures.] +ref compiler/GHC/StgToCmm/Expr.hs:491:4: Note [case on bool] +ref compiler/GHC/StgToCmm/Expr.hs:541:42: Note [dataToTag#] +ref compiler/GHC/StgToCmm/Expr.hs:751:3: Note [alg-alt heap check] +ref compiler/GHC/StgToCmm/Foreign.hs:177:53: Note [lower safe foreign calls] +ref compiler/GHC/Tc/Deriv/Utils.hs:628:9: Note [Newtype deriving and unused constructors] +ref compiler/GHC/Tc/Errors.hs:180:13: Note [Fail fast on kind errors] +ref compiler/GHC/Tc/Errors.hs:2016:0: Note [Highlighting ambiguous type variables] +ref compiler/GHC/Tc/Errors/Hole.hs:207:57: Note [Relevant Constraints] +ref compiler/GHC/Tc/Errors/Hole.hs:985:24: Note [Speeding up valid-hole fits] +ref compiler/GHC/Tc/Errors/Ppr.hs:1760:11: Note [Highlighting ambiguous type variables] +ref compiler/GHC/Tc/Errors/Types.hs:128:37: Note [Migrating TcM messages] +ref compiler/GHC/Tc/Gen/Arrow.hs:435:29: Note [RecStmt] +ref compiler/GHC/Tc/Gen/Bind.hs:1397:19: Note [Existentials in pattern bindings] +ref compiler/GHC/Tc/Gen/Export.hs:187:15: Note [Modules without a module header] +ref compiler/GHC/Tc/Gen/Export.hs:418:0: Note [Modules without a module header] +ref compiler/GHC/Tc/Gen/Export.hs:576:7: Note [Typing Pattern Synonym Exports] +ref compiler/GHC/Tc/Gen/Export.hs:615:16: Note [Types of TyCon] +ref compiler/GHC/Tc/Gen/Expr.hs:671:24: Note [Disambiguating record fields] +ref compiler/GHC/Tc/Gen/Expr.hs:688:15: Note [Mixed Record Selectors] +ref compiler/GHC/Tc/Gen/Expr.hs:1196:7: Note [Disambiguating record fields] +ref compiler/GHC/Tc/Gen/Expr.hs:1299:11: Note [Deprecating ambiguous fields] +ref compiler/GHC/Tc/Gen/Foreign.hs:149:26: Note [Expanding newtypes] +ref compiler/GHC/Tc/Gen/HsType.hs:552:56: Note [Skolem escape prevention] +ref compiler/GHC/Tc/Gen/HsType.hs:1180:39: Note [Body kind of HsForAllTy] +ref compiler/GHC/Tc/Gen/HsType.hs:2623:7: Note [Matching a kind sigature with a declaration] +ref compiler/GHC/Tc/Gen/HsType.hs:3152:9: Note [Cloning for type variable binder] +ref compiler/GHC/Tc/Gen/Match.hs:553:20: Note [GroupStmt binder map] +ref compiler/GHC/Tc/Gen/Match.hs:746:20: Note [GroupStmt binder map] +ref compiler/GHC/Tc/Gen/Match.hs:1011:0: Note [typechecking ApplicativeStmt] +ref compiler/GHC/Tc/Gen/Pat.hs:170:20: Note [Typing patterns in pattern bindings] +ref compiler/GHC/Tc/Gen/Pat.hs:477:7: Note [Pattern coercions] +ref compiler/GHC/Tc/Gen/Pat.hs:922:41: Note [Binding when lookup up instances] +ref compiler/GHC/Tc/Gen/Pat.hs:1078:7: Note [Matching polytyped patterns] +ref compiler/GHC/Tc/Gen/Pat.hs:1377:16: Note [Pattern coercions] +ref compiler/GHC/Tc/Gen/Sig.hs:78:10: Note [Overview of type signatures] +ref compiler/GHC/Tc/Gen/Sig.hs:412:28: Note [solveEqualities in tcPatSynSig] +ref compiler/GHC/Tc/Instance/Family.hs:515:35: Note [Constrained family instances] +ref compiler/GHC/Tc/Module.hs:698:15: Note [Extra dependencies from .hs-boot files] +ref compiler/GHC/Tc/Module.hs:1971:6: Note [Root-main id] +ref compiler/GHC/Tc/Solver.hs:2541:36: Note [Kind generalisation and SigTvs] +ref compiler/GHC/Tc/Solver/Canonical.hs:498:50: Note [The superclasses story] +ref compiler/GHC/Tc/Solver/Canonical.hs:1228:33: Note [Canonical LHS] +ref compiler/GHC/Tc/Solver/Canonical.hs:1394:30: Note [Do not decompose given polytype equalities] +ref compiler/GHC/Tc/Solver/Interact.hs:1638:9: Note [No touchables as FunEq RHS] +ref compiler/GHC/Tc/Solver/Interact.hs:2292:12: Note [The equality class story] +ref compiler/GHC/Tc/Solver/Monad.hs:1343:21: Note [Speeding up valid-hole fits] +ref compiler/GHC/Tc/Solver/Rewrite.hs:1032:7: Note [Stability of rewriting] +ref compiler/GHC/Tc/TyCl.hs:627:3: Note [Single function non-recursive binding special-case] +ref compiler/GHC/Tc/TyCl.hs:1106:6: Note [Unification variables need fresh Names] +ref compiler/GHC/Tc/TyCl.hs:1895:13: Note [TyConBinders for the result kind signatures of a data type] +ref compiler/GHC/Tc/TyCl.hs:4366:16: Note [rejigCon and c.f. Note [Check role annotations in a second pass] +ref compiler/GHC/Tc/TyCl/Instance.hs:947:26: Note [Generalising in tcFamTyPatsGuts] +ref compiler/GHC/Tc/Types.hs:647:17: Note [Generating fresh names for FFI wrappers] +ref compiler/GHC/Tc/Types.hs:696:33: Note [Extra dependencies from .hs-boot files] +ref compiler/GHC/Tc/Types.hs:1145:28: Note [Don't promote data constructors with non-equality contexts] +ref compiler/GHC/Tc/Types.hs:1172:26: Note [Meaning of IdBindingInfo and ClosedTypeId] +ref compiler/GHC/Tc/Types.hs:1195:9: Note [Meaning of IdBindingInfo and ClosedTypeId] +ref compiler/GHC/Tc/Types.hs:1221:36: Note [Bindings with closed types] +ref compiler/GHC/Tc/Types.hs:1457:47: Note [Care with plugin imports] +ref compiler/GHC/Tc/Types/Constraint.hs:238:34: Note [NonCanonical Semantics] +ref compiler/GHC/Tc/Utils/Concrete.hs:246:2: Note [Concrete and Concrete#] +ref compiler/GHC/Tc/Utils/Env.hs:556:7: Note [Bindings with closed types] +ref compiler/GHC/Tc/Utils/Env.hs:1128:7: Note [Generating fresh names for ccall wrapper] +ref compiler/GHC/Tc/Utils/Env.hs:1141:0: Note [Generating fresh names for FFI wrappers] +ref compiler/GHC/Tc/Utils/Env.hs:1192:7: Note [Placeholder PatSyn kinds] +ref compiler/GHC/Tc/Utils/TcMType.hs:793:7: Note [Kind checking for GADTs] +ref compiler/GHC/Tc/Utils/TcMType.hs:1974:33: Note [Silly Type Synonym] +ref compiler/GHC/Tc/Utils/TcType.hs:529:7: Note [TyVars and TcTyVars] +ref compiler/GHC/Tc/Utils/Unify.hs:1489:7: Note [Unification preconditions, (TYVAR-TV)] +ref compiler/GHC/Tc/Utils/Zonk.hs:875:23: Note [Rebindable Syntax and HsExpansion] +ref compiler/GHC/ThToHs.hs:1738:11: Note [Adding parens for splices] +ref compiler/GHC/ThToHs.hs:1749:3: Note [Adding parens for splices] +ref compiler/GHC/Types/Basic.hs:586:17: Note [Safe Haskell isSafeOverlap] +ref compiler/GHC/Types/Basic.hs:1326:7: Note [Activation competition] +ref compiler/GHC/Types/Demand.hs:307:25: Note [Preserving Boxity of results is rarely a win] +ref compiler/GHC/Types/Demand.hs:1100:4: Note [Use one-shot information] +ref compiler/GHC/Types/Error.hs:348:3: Note [Suppressing Messages] +ref compiler/GHC/Types/Error.hs:383:28: Note [Suppressing Messages] +ref compiler/GHC/Types/Name/Occurrence.hs:301:4: Note [Unique OccNames from Template Haskell] +ref compiler/GHC/Types/SourceText.hs:178:51: Note [Fractional exponent bases] +ref compiler/GHC/Types/Unique.hs:78:25: Note [Uniques-prelude - Uniques for wired-in Prelude things] +ref compiler/GHC/Unit/Info.hs:61:66: Note [About Units] +ref compiler/GHC/Unit/Module/Deps.hs:79:13: Note [Structure of dep_boot_mods] +ref compiler/GHC/Unit/State.hs:2176:35: Note [Representation of module/name variable] +ref compiler/GHC/Utils/Monad.hs:391:34: Note [multiShotIO] +ref compiler/GHC/Utils/Monad.hs:429:47: Note [inlineIdMagic] +ref compiler/Language/Haskell/Syntax/Binds.hs:226:31: Note [fun_id in Match] +ref compiler/Language/Haskell/Syntax/Expr.hs:542:31: Note [Record Selectors in the AST] +ref compiler/Language/Haskell/Syntax/Expr.hs:552:32: Note [Record Selectors in the AST] +ref compiler/Language/Haskell/Syntax/Expr.hs:1561:32: Note [Quasi-quote overview] +ref compiler/Language/Haskell/Syntax/Extension.hs:117:42: Note [Constructor cannot happen] +ref compiler/Language/Haskell/Syntax/Pat.hs:336:12: Note [Disambiguating record fields] +ref configure.ac:212:10: Note [Linking ghc-bin against threaded stage0 RTS] +ref docs/core-spec/core-spec.mng:177:6: Note [TyBinders] +ref ghc/GHCi/UI.hs:3630:25: Note [ModBreaks.decls] +ref ghc/ghc.mk:62:6: Note [Linking ghc-bin against threaded stage0 RTS] +ref hadrian/src/Expression.hs:130:30: Note [Linking ghc-bin against threaded stage0 RTS] +ref libraries/base/GHC/Event/Windows.hsc:753:26: Note [Why use non-waiting getOverlappedResult requests.] +ref libraries/base/GHC/List.hs:1449:17: Note [Fusion for foldr2] +ref libraries/base/GHC/List.hs:1463:32: Note [Fusion for foldr2] +ref libraries/base/GHC/ST.hs:139:7: Note [Definition of runRW#] +ref testsuite/config/ghc:215:10: Note [WayFlags] +ref testsuite/driver/testlib.py:152:10: Note [Why is there no stage1 setup function?] +ref testsuite/driver/testlib.py:156:2: Note [Why is there no stage1 setup function?] +ref testsuite/mk/boilerplate.mk:259:2: Note [WayFlags] +ref testsuite/tests/indexed-types/should_compile/T18875.hs:5:18: Note [Type variable cycles in Givens] +ref testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.hs:30:27: Note [Extra TcS Untouchables] +ref testsuite/tests/perf/join_points/join005.hs:19:63: Note [Don't CPR join points] +ref testsuite/tests/perf/should_run/all.T:3:6: Note [Solving from instances when interacting Dicts] +ref testsuite/tests/polykinds/CuskFam.hs:16:11: Note [Unifying implicit CUSK variables] +ref testsuite/tests/simplCore/should_compile/T5776.hs:16:7: Note [Simplifying RULE lhs constraints] +ref testsuite/tests/simplCore/should_compile/simpl018.hs:3:7: Note [Float coercions (unlifted)] +ref testsuite/tests/typecheck/should_compile/CbvOverlap.hs:5:26: Note [Type variable cycles in Givens] +ref testsuite/tests/typecheck/should_compile/Improvement.hs:10:12: Note [No reduction for Derived class constraints] +ref testsuite/tests/typecheck/should_compile/LocalGivenEqs.hs:7:7: Note [When does an implication have given equalities?] +ref testsuite/tests/typecheck/should_compile/LocalGivenEqs.hs:21:43: Note [Type variable cycles in Givens] +ref testsuite/tests/typecheck/should_compile/LocalGivenEqs2.hs:4:6: Note [When does an implication have given equalities?] +ref testsuite/tests/typecheck/should_compile/T9117.hs:3:12: Note [Order of Coercible Instances] +ref testsuite/tests/typecheck/should_compile/tc200.hs:5:7: Note [Multiple instantiation] +ref testsuite/tests/typecheck/should_compile/tc228.hs:9:7: Note [Inference and implication constraints] +ref testsuite/tests/typecheck/should_compile/tc231.hs:12:16: Note [Important subtlety in oclose] +ref testsuite/tests/typecheck/should_fail/UnliftedNewtypesMultiFieldGadt.hs:11:28: Note [Kind-checking the field type] +ref testsuite/tests/typecheck/should_fail/tcfail093.hs:13:7: Note [Important subtlety in oclose] +ref utils/ghc-pkg/Main.hs:644:15: Note [Settings File] +ref utils/llvm-targets/gen-data-layout.sh:19:6: Note [LLVM Configuration] +ref utils/notes-util/Notes.hs:30:29: Note [" <> T.unpack x <> "] +ref utils/notes-util/Notes.hs:67:22: Note [...] +ref validate:413:14: Note [Why is there no stage1 setup function?] + |