/* Integration Test: Basic Language Features */
/* Combines: arithmetic, comparisons, functions, IO */

..out "=== Integration Test: Basic Features ===";

/* Define utility functions */
add_func : x y -> x + y;
multiply_func : x y -> x * y;
isEven : x -> x % 2 = 0;
isPositive : x -> x > 0;

/* Test arithmetic with functions */
sum : add_func 10 5;
product : multiply_func 4 6;
doubled : multiply_func 2 sum;

..assert sum = 15;
..assert product = 24;
..assert doubled = 30;

/* Test comparisons with functions */
even_test : isEven 8;
odd_test : isEven 7;
positive_test : isPositive 5;
negative_test : isPositive (-3);

..assert even_test = true;
..assert odd_test = false;
..assert positive_test = true;
..assert negative_test = false;

/* Test complex expressions */
complex : add_func (multiply_func 3 4) (isEven 10 and isPositive 5);

..assert complex = 13;

..out "Basic features integration test completed";