CSY/reowolf Files · src/protocol/tests/mod.rs · Centrum Wiskunde & Informatica (CWI)

Files @ 28df9835906f

Branch filter:

Location: CSY/reowolf/src/protocol/tests/mod.rs

28df9835906f 142 B application/rls-services+xml Show Annotation Show as Raw Download as Raw

Reimplement namespaced identifier to support polymorphic args

This is somewhat of a temporary hack, as a namespaced identifier should
not really refer to types or polymorphic arguments. But we need a
tokenizer and a prepass to properly distinguish identifiers from types.
So it works, but error messages may be cryptic.

mod utils;
mod lexer;
mod parser_validation;
mod parser_inference;
mod parser_monomorphs;
mod parser_imports;

pub(crate) use utils::{Tester};