Files
@ 3ffeb97c88a7
Branch filter:
Location: CSY/reowolf/src/protocol/tests/mod.rs - annotation
3ffeb97c88a7
819 B
application/rls-services+xml
Add docs for implementing infinite types in a value based language.
Since we are a value based language and do not have the concept of
pointers, then if we want to lay out the memory of datatypes we run
into a problem when the types represent recursive datastructures:
these are infinite in size. So we have an algorithm for turning
some types into pointer-like things, such that we can lay everything
out in memory.
Since we are a value based language and do not have the concept of
pointers, then if we want to lay out the memory of datatypes we run
into a problem when the types represent recursive datastructures:
these are infinite in size. So we have an algorithm for turning
some types into pointer-like things, such that we can lay everything
out in memory.
d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b d36ad4f5458b fe0efc81bd4e fe0efc81bd4e fe0efc81bd4e d36ad4f5458b d36ad4f5458b aaeaf5986496 aaeaf5986496 3381d0627372 8da6a7632169 9774ef9fe888 e406c61b1158 3bb9f89521a1 3ebc282f2d0e 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 parser_literals;
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
|