| |
HierarchyIssue of string |
| |
DuplicateClasses of string list |
| |
DuplicateVariables of (string * string list) list |
| |
DuplicateFields of (string * (string * string) list) list |
| |
UnknownTypes of (string * (string * string) list) list |
| |
ConflictingMethods of (string * (string * string list) list) list |
| |
ConflictingInherited of (string * (string * string list) list) list |
| |
PoorlyTypedSigs of (string * (string * string option * (string * string) list) list) list |
| |
Uninstantiable of string list |
| |
ConflictingRefinements of (string * (string * string list) list) list |
| |
MultipleMains of string list |
All the different types of non-compiler errors that can occur (programmer errors)