... | ... | @@ -34,3 +34,19 @@ |
|
|
| makeUnresolvedOverloadingError | Don't know which instance to choose for $description. Function $f type $t used as $usedt. Hint: write an explicit type for this function e.g. (show :: [Int] -> String) | - | ? |
|
|
|
| makeReductionError | Type error in overloaded function $f type $t used as $usedt. Problem: $predicate is not instance of class $name | - | ? |
|
|
|
| makeRestrictedButOverloadedError | Illegal overloaded type inferred for $name. Variable $v, inferred type $t. Only functions and simple patterns can have an overloaded type | - | ? |
|
|
|
|
|
|
## Warnungen
|
|
|
| Name | Text | Beispiel | Erkennbar an |
|
|
|
| ------------------- | ------------------------------|----------------------------------------------| ------------------------------ |
|
|
|
| NoTypeDef | Missing type signature: $name :: $signature | - | ? |
|
|
|
| Shadow | Variable $shadower shadows the one $positionOfShadowee | - | ? |
|
|
|
| Unused | $entity $name is not used | - | ? |
|
|
|
| SimilarFunctionBindings | Suspicious adjacent functions $f1 and $f2 | - | ? |
|
|
|
| SuspiciousTypeVariable | Suspicious type variable $name. Did you mean the type constructor $conName? | - | ? |
|
|
|
| ReduceContext | The context $name has superfluous predicates. You may change it into $reduced | - | ? |
|
|
|
| MissingPatterns | Missing pattern in $place: $patList | - | ? |
|
|
|
| UnreachablePatternLHS | Unreachable pattern: $pat | - | ? |
|
|
|
| UnreachablePatternCase | Unreachable pattern: $pat | - | ? |
|
|
|
| UnreachableGuard | Unreachable guard: $guard | - | ? |
|
|
|
| FallThrough | It is good practise to have 'otherwise' as the last guard | - | ? |
|
|
|
| SignatureTooSpecific | Declared type signature for $name could be more general: declared type $dt, inferred type $it | - | ? | |
|
|
\ No newline at end of file |