diff --git a/.hlint.yaml b/.hlint.yaml index c9307e286..7c8a047ef 100644 --- a/.hlint.yaml +++ b/.hlint.yaml @@ -34,3 +34,4 @@ # Terms - warning: {lhs: termFAnnotation . unTerm, rhs: termAnnotation, name: "Use termAnnotation"} +- warning: {lhs: termFOut . unTerm, rhs: termOut, name: "Use termOut"}