diff --git a/hlint/hlint.dhall b/hlint/hlint.dhall index e773a5d1..61b3fe0c 100644 --- a/hlint/hlint.dhall +++ b/hlint/hlint.dhall @@ -1,12 +1,12 @@ - let warn = ./warn.dhall -in let warnReexport = warn.warnReexport -in let warnReexportOp = warn.warnReexportOp -in let warnLifted = warn.warnLifted -in let warnSimple = warn.warnSimple -in let warnNote = warn.warnNote -in let hintNote = warn.hintNote -in let hintNoteOp = warn.hintNoteOp -in let Rule = ./Rule.dhall +let warn = ./warn.dhall +let warnReexport = warn.warnReexport +let warnReexportOp = warn.warnReexportOp +let warnLifted = warn.warnLifted +let warnSimple = warn.warnSimple +let warnNote = warn.warnNote +let hintNote = warn.hintNote +let hintNoteOp = warn.hintNoteOp +let Rule = ./Rule.dhall in [ Rule.Arguments { arguments = [ "-XConstraintKinds" , "-XDeriveGeneric" diff --git a/hlint/warn.dhall b/hlint/warn.dhall index 4463d223..ad217d7e 100644 --- a/hlint/warn.dhall +++ b/hlint/warn.dhall @@ -1,5 +1,5 @@ let Rule = ./Rule.dhall -in let warnSimple +let warnSimple : Text -> Text -> Rule = \(lhsTxt : Text) -> \(rhsTxt : Text) -> Rule.Warn @@ -11,7 +11,7 @@ in let warnSimple } } -in let warnNote +let warnNote : Text -> Text -> Text -> Rule = \(lhsTxt : Text) -> \(rhsTxt : Text) -> \(n : Text) -> Rule.Warn {warn = @@ -22,7 +22,7 @@ in let warnNote } } -in let warnReexport +let warnReexport : Text -> Text -> Rule = \(f : Text) -> \(mod : Text) -> Rule.Warn @@ -34,7 +34,7 @@ in let warnReexport } } -in let warnReexportOp : Text -> Text -> Rule +let warnReexportOp : Text -> Text -> Rule = \(f : Text) -> \(mod : Text) -> Rule.Warn { warn = @@ -45,7 +45,7 @@ in let warnReexportOp : Text -> Text -> Rule } } -in let warnLifted +let warnLifted : Text -> Text -> Rule = \(f : Text) -> \(args : Text) -> Rule.Warn @@ -57,7 +57,7 @@ in let warnLifted } } -in let hintNote +let hintNote : Text -> Text -> Text -> Rule = \(lhsTxt : Text) -> \(rhsTxt : Text) -> \(n : Text) -> Rule.Hint @@ -68,7 +68,7 @@ in let hintNote } } -in let hintNoteOp +let hintNoteOp : Text -> Text -> Text -> Rule = \(lhsTxt : Text) -> \(rhsTxt : Text) -> \(n : Text) -> hintNote "(${lhsTxt})" rhsTxt n