... | ... | @@ -6,7 +6,7 @@ |
|
|
| NoFunDef Fixity | Infix declaration for $name without a definition. Did you mean $similar? | Einfach | TypeSig ohne PatBind suchen | ✓ |
|
|
|
| Undefined | Undefined $entity $name. Did you mean $similar? | Mittel | Liste der Definitionen durchsuchen + Vorschlagsalgorithmus | ⌛ |
|
|
|
| Duplicated all | $entity $name imported from multiple modules: $modules | Einfach | Duplikate in importierten Modulen suchen | ✗ |
|
|
|
| Duplicated any | $entity $name clashes with definition $name' in $module | Einfach | Duplikate in selbst definierten Modulen + Imports suchen | ✗ |
|
|
|
| Duplicated any | $entity $name clashes with definition $name' in $module | Einfach | Duplikate in selbst definierten Modulen + Imports suchen | ⌛ |
|
|
|
| LastStatementNotExpr | Last generator in do {...} must be an expression | Einfach | Spezieller Typfehler | ✗ |
|
|
|
| TypeVarApplication | Type variable $name cannot be applied to another type | Einfach | TyApp mit Typvariable in erster Komponente | ✗ |
|
|
|
| ArityMismatch | $entity $name should have $argc arguments, but has $argc' arguments | - | Typfehler? | ✗ |
|
... | ... | |