Как правильно вернуть простую настраиваемую ошибку с помощью nom errorkind?

В nom добавлен простой обработчик ошибок.

Первый компилируется без ошибок, второй с ошибками

use nom::*;
use std::str;
// This works
named!(
    field<&str>,
    map!(
        complete!(add_return_error!(
            ErrorKind::Custom(1),
            preceded!(
                tag!("."),
                recognize!(many1!(
                    alt!(alphanumeric => { |_| true } | char!('_') => {|_| true})
                ))
            )
        )),
        |v| str::from_utf8(v).unwrap()
    )
);

// This doesn't compile
named!(
    entity<&str>,
    add_return_error!(
        ErrorKind::Custom(2),
        map!(
            recognize!(many1!(
                alt!(alphanumeric => { |_| true } | char!('_') => {|_| true})
            )),
            |v| str::from_utf8(v).unwrap()
        )
    )
);

Ошибка

cargo build
   Compiling pdl_parser v0.1.0 (file:///H:/parser)
error[E0282]: type annotations needed
  --> src\pdl_parser.rs:72:1
   |
72 | / named!(
73 | |     entity<&str>,
74 | |     add_return_error!(
75 | |         ErrorKind::Custom(2),
...  |
82 | |     )
83 | | );
   | |__^ cannot infer type for `E`
   |
   = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)

Почему первый работает, а второй нет? И что я могу сделать, чтобы это исправить? Я попытался изменить подпись второго на entity<&[u8],&str,ErrorKind>, а затем на i32 и u32, но безуспешно.


rust nom parser-combinators
person Delta_Fore    schedule 20.03.2018    source источник

Ответы (1)


arrow_upward
0
arrow_downward

Решение ошибки cannot infer type for E состоит в том, чтобы разделить шаги синтаксического анализа, чтобы компилятор не запутался так сильно.

Перепишем синтаксический анализатор-комбинатор как

named!(
    entity_name<Vec<u8>>,
    many1!(alt!(alphanumeric => { |x : &[u8]| x[0] } | char!('_') => {|_| b'_'}))
);
named!(
    entity<&[u8],&str,i32>,
    add_return_error!(
        ErrorKind::Custom(2),
        map!(recognize!(entity_name),|v| str::from_utf8(v).unwrap())
    )
);

И соответствующий тест

#[test]
fn parse_pdl_error_test() {
    assert_eq!(entity(b"_error_stack").to_result(), Ok("_error_stack"));
    assert_eq!(entity(b"[];']").to_result(), Err(ErrorKind::Custom(2)));
}
person Delta_Fore    schedule 21.03.2018