|
|
## Statische Fehlermeldungen
|
|
|
|
|
|
| Name | Text | Beispiel | Erkennbar an |
|
|
|
| ------------------- | ------------------------------|----------------------------------------------| ------------------------------ |
|
|
|
| NoFunDef TypeSignature | Type signature for $name without a definition. Did you mean $similar? | - | ? |
|
|
|
| NoFunDef Fixity | Infix declaration for $name without a definition. Did you mean $similar? | - | ? |
|
|
|
| Undefined | Undefined $entity $name. Did you mean $similar? | - | ? |
|
|
|
| Duplicated all | $entity $name imported from multiple modules: $modules | - | ? |
|
|
|
| Duplicated any | $entity $name clashes with definition $name' in $module | - | ? |
|
|
|
| LastStatementNotExpr | Last generator in do {...} must be an expression | - | ? |
|
|
|
| TypeVarApplication | Type variable $name cannot be applied to another type | - | ? |
|
|
|
| ArityMismatch | $entity $name should have $argc arguments, but has $argc' arguments | - | ? |
|
|
|
| RecursiveTypeSynonyms | Recursive type synonym $name. Use "data" to write a recursive data type | - | ? |
|
|
|
| DefArityMismatch | Arity mismatch in function bindings for $name. $arity parameters in most of the clauses | - | ? |
|
|
|
| PatternDefinesNoVars | Left hand side pattern defines no variables | - | ? |
|
|
|
| WrongFileName | The file name $name doesn't match the module name $module | - | ? |
|
|
|
| IntLiteralTooBig | Integer literal $value too big. Maximum is $max | - | ? |
|
|
|
| OverloadedRestrPat | Illegal overloaded type signature for $name. Only functions and simple patterns can have an overloaded type | - | ? |
|
|
|
| OverloadingDisabled | Cannot handle contexts when overloading is disabled | - | ? |
|
|
|
| WrongOverloadingFlag | Using overloaded Prelude while overloading is not enabled. Compile with --overloading, or use the simple Prelude | - | ? |
|
|
|
| AmbiguousContext | Type variable $name appears in the context but not in the type | - | ? |
|
|
|
| UnknownClass | Unknown class $name (Helium only supports Eq, Ord, Num, Show, Enum) | - | ? |
|
|
|
| NonDerivableClass | Cannot derive class $name. Only Show and Eq instances can be derived | - | ? |
|
|
|
| CannotDerive | Cannot derive instance for class $name | - | ? |
|
|
|
| TupleTooBig | Tuples can have up to 10 elements | - | ? |
|
|
|
| undefinedConstructorInExpr | Type constructor $name cannot be used in an expression | - | ? |
|
|
|
| undefinedConstructorInPat | Use identifiers starting with a lower case letter to define a function or a variable. Type constructor $name cannot be used in a pattern | - | ? | |