Compilation errors

[gizmo1904]

When I try to build my project with libhoare I'll get many compilation errors. I added the dependency to my Cargo.toml like this: [dependencies.hoare] git = "https://github.com/nick29581/libhoare.git"

As a result I got 13 erros like this: error[E0425]: cannot find function intern in module token --> C:\Users\user1\.cargo\git\checkouts\libhoare-e8ae5b947a6d22d6\108e29a\libhoare/lib.rs:42:42 | 42 | reg.register_syntax_extension(token::intern("precond"), | Am I doing something wrong? Thanks in advance.

[nrc]

I think the code just needs updating - it uses unstable features and hasn't been kept up to date recently.

[mihaigalos]

I am learning Rust right now and as a modern language, I think this is absolutely a must-have feature. IMHO Rust is already fully-packed with a cool syntax, default mutable variables, dependency management and tons of other features which justify migrating from i.e. C++ over to it.

I've tried compiling this as well but had errors. Since I am new to the language and still "prospecting", I currently cannot help with the development.