| ... | ... | @@ -25,3 +25,12 @@ |
|
|
|
| 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 | - | ? |
|
|
|
|
|
|
|
|
## Typfehlermeldungen
|
|
|
|
| Name | Text | Beispiel | Erkennbar an |
|
|
|
|
| ------------------- | ------------------------------|----------------------------------------------| ------------------------------ |
|
|
|
|
| makeNotGeneralEnoughTypeError | Type annotation/signature is too general. declared type $dt, inferred type $it. Hint: Try removing the type signature. | - | ? |
|
|
|
|
| makeMissingConstraintTypeError| Missing class constraint in type annotation/signature. Class constraint $con arising from $source. Hint: add the class constraint to the type signature | - | ? |
|
|
|
|
| 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 | - | ? | |
|
|
\ No newline at end of file |
