... | @@ -30,7 +30,7 @@ |
... | @@ -30,7 +30,7 @@ |
|
| Name | Text | Einschätzung der Schwierigkeit | Mögliche Umsetzung | Implementiert?
|
|
| Name | Text | Einschätzung der Schwierigkeit | Mögliche Umsetzung | Implementiert?
|
|
| ------------------- | ------------------------------|----------------------------------------------| ------------------------------ | :--------------: |
|
|
| ------------------- | ------------------------------|----------------------------------------------| ------------------------------ | :--------------: |
|
|
| NoTypeDef | Missing type signature: $name :: $signature | Einfach | PatBind ohne TypeSig suchen | ✓ |
|
|
| NoTypeDef | Missing type signature: $name :: $signature | Einfach | PatBind ohne TypeSig suchen | ✓ |
|
|
| Shadow | Variable $shadower shadows the one at $positionOfShadowee | Einfach | Prüfen, ob identifier mehrfach in einer Regel vorkommt | ⌛ |
|
|
| Shadow | Variable $shadower shadows the one at $positionOfShadowee | Einfach | Prüfen, ob identifier mehrfach in einer Regel vorkommt | ✓ |
|
|
| Unused | $entity $name is not used | Einfach | Definitionen markieren, falls benutzt => unmarktierte Definitionen melden | ✗ |
|
|
| Unused | $entity $name is not used | Einfach | Definitionen markieren, falls benutzt => unmarktierte Definitionen melden | ✗ |
|
|
| SimilarFunctionBindings | Suspicious adjacent functions $f1 and $f2 | Mittel | Regeln auf Ähnlichkeit der Namen prüfen | ✗ |
|
|
| SimilarFunctionBindings | Suspicious adjacent functions $f1 and $f2 | Mittel | Regeln auf Ähnlichkeit der Namen prüfen | ✗ |
|
|
| SuspiciousTypeVariable | Suspicious type variable $name. Did you mean the type constructor $conName? | - | ? | ✗ |
|
|
| SuspiciousTypeVariable | Suspicious type variable $name. Did you mean the type constructor $conName? | - | ? | ✗ |
|
... | | ... | |