.clippy.dhall

   1 let Rule : Type = { match : Text, print : Text }
   2 let Config : Type = { rules : List Rule }
   3
   4 let rule = \(match: Text) -> \(replace: Text) ->
   5   { match = match, print = replace } : Rule
   6
   7 in {
   8   rules =
   9     [
  10       rule "(>>[ICS]>)|(<[ICS]<<)|(>[ICS]>)|(<[ICS]<)" ""
  11     , rule "Couldn't match type"                  "Couldn't match"
  12     , rule "               with"                  "          with"
  13     , rule "Expected type:"                       "Expected:"
  14     , rule "  Actual type:"                       "     Got:"
  15     , rule "Couldn't match expected type ‘(.*?)’" "Expected: $1"
  16     , rule "            with actual type ‘(.*?)’" "     Got: $1"
  17     , rule "Couldn't match expected type ‘(.*)’ with actual type ‘(.*)’"
  18            ''
  19            Expected: $1
  20                 Got: $2
  21            ''
  22     -- , rule "(?s)>>C>.*?<C<<"                    ""
  23     , rule "(?s)In a stmt of a 'do' block:.*?<(C|S)<<" "<$1<<"
  24     , rule "(?s)In the \\w+ argument of.*?<(C|S)<<" "<$1<<"
  25     , rule "(?s)In the expression.*?<(C|S)<<"       "<$1<<"
  26     , rule "\\(bound at ([^)]*)\\)"             " -- $1"
  27     , rule
  28         "Ambiguous type variable (‘\\w+’) arising from a use of (‘\\w+’)"
  29         "Type variable $1 is ambiguous in $2."
  30     , rule
  31         "prevents the constraint (‘.+’) from being solved.*"
  32         "Can't pick an instance for $1."
  33     , rule
  34         "(Probable|Possible) fix:"
  35         ''
  36         ---
  37         Maybe-fix:''
  38     , rule
  39         "use a type annotation to specify what.*"
  40         "add type annotations to disambiguate."
  41     , rule
  42         "No instance for (.*?) arising from (a|the)( use of)? (.*)"
  43         "Need a $1 instance for usage of $4"
  44     , rule
  45         "(?s)the type signature for:\n  "
  46         "\n"
  47     , rule
  48         "(?s)These potential instances .*? -fprint-potential-instances to see them all\\)"
  49         "More info: compile with -fprint-potential-instances."
  50     , rule
  51         "Relevant bindings include"
  52         "Known types:\n"
  53     ] : List Rule
  54 } : Config