Files
@ ed4fe8216eb0
Branch filter:
Location: CSY/reowolf/src/protocol/tests/mod.rs - annotation
ed4fe8216eb0
798 B
application/rls-services+xml
Fix binding- and assignment-expression related typing issues.
Simpler solutions are better, so the typechecker is back to normal.
Instead we simply make sure that assignment expression is never
nested under another expression, and binding expressions may only
be nested under LogicalAnd-expressions. If only I knew why I thought
type shenanigans were a good idea in the first place...
Simpler solutions are better, so the typechecker is back to normal.
Instead we simply make sure that assignment expression is never
nested under another expression, and binding expressions may only
be nested under LogicalAnd-expressions. If only I knew why I thought
type shenanigans were a good idea in the first place...
d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b fe0efc81bd4e fe0efc81bd4e fe0efc81bd4e d36ad4f5458b d36ad4f5458b aaeaf5986496 aaeaf5986496 3381d0627372 8da6a7632169 9774ef9fe888 e406c61b1158 3bb9f89521a1 9b32fa307ceb d36ad4f5458b b4a9c41d70da fe0efc81bd4e cf4f87a2d85b aaeaf5986496 cf4f87a2d85b cf4f87a2d85b | /**
* protocol/tests.rs
*
* Contains tests for various parts of the lexer/parser and the evaluator of the
* code. These are intended to be temporary tests such that we're sure that we
* don't break existing functionality.
*
* In the future these should be replaced by proper testing protocols.
*
* If any of these tests fail, and you think they're not needed anymore, feel
* free to cast them out into oblivion, where dead code goes to die.
*/
mod utils;
mod lexer;
mod parser_validation;
mod parser_inference;
mod parser_monomorphs;
mod parser_imports;
mod parser_binding;
mod eval_operators;
mod eval_calls;
mod eval_casting;
mod eval_binding;
mod eval_silly;
pub(crate) use utils::{Tester}; // the testing harness
pub(crate) use crate::protocol::eval::value::*; // to test functions
|