j/Conlang
1
1
Fork 0
Code Issues 5 Pull Requests Packages Projects 2 Releases Wiki Activity

cl-interpret: Unit tests for while-else control flow

Browse Source
This commit is contained in:
John 2025-05-18 04:01:50 -04:00
parent e08bf57dc1
commit d3e20e53d0
1 changed files with 21 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
compiler/cl-interpret/src/tests.rs
View File

@ -1,5 +1,5 @@
#![allow(unused_imports)]
use crate::{convalue::ConValue, env::Environment, Interpret};
use crate::{Interpret, convalue::ConValue, env::Environment};
use cl_ast::*;
use cl_lexer::Lexer;
use cl_parser::Parser;
@ -403,7 +403,7 @@ mod operators {
env_eq!(env.is_10_ne_20, true); // !=
env_eq!(env.is_10_ge_20, false); // >=
env_eq!(env.is_10_gt_20, false); // >
// Equal to
// Equal to
env_eq!(env.is_10_lt_10, false);
env_eq!(env.is_10_le_10, true);
env_eq!(env.is_10_eq_10, true);
@ -530,6 +530,25 @@ mod control_flow {
env_eq!(env.evaluated, "fail");
}
#[test]
fn while_evaluates_fail_block_on_false() {
let mut env = Default::default();
assert_eval!(env,
let cond = true;
let evaluated = while cond { cond = false } else { true }
);
env_eq!(env.evaluated, true);
}
#[test]
fn while_does_not_evaluate_fail_block_on_break() {
let mut env = Default::default();
assert_eval!(env,
let evaluated = while true { break true } else { false }
);
env_eq!(env.evaluated, true);
}
#[test]
fn match_evaluates_in_order() {
let mut env = Default::default();