pub fn error( name: &str, explanation: &str, line: usize, col: usize, file: String, after_note: Option<String>, ) -> Error