lsts 0.6.34

Large Scale Type Systems
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59

use lsts::tlc::TLC;
use lsts::constant::Constant;

#[test]
fn one_plus_one() {
   let mut tlc = TLC::new();
   let val = tlc.reduce_file(None, "examples/one_plus_one.tlc").unwrap();
   assert_eq!( val, Constant::parse(&tlc, "2").unwrap() );
}

#[test]
fn adder() {
   let mut tlc = TLC::new();
   let val = tlc.reduce_file(None, "examples/adder.tlc").unwrap();
   assert_eq!( val, Constant::parse(&tlc, "126").unwrap() );
}

/*
#[test]
fn fibonacci() {
   let mut tlc = TLC::new();
   let val = tlc.reduce_file(None, "examples/fibonacci.tlc").unwrap();
   assert_eq!( val, Constant::parse(&tlc, "75025").unwrap() );
}
*/

#[test]
fn tuples() {
   let mut tlc = TLC::new();
   let val = tlc.reduce_file(None, "examples/tuples.tlc").unwrap();
   assert_eq!( format!("{:?}",val), "(4,48,92,136,180,224,268,312,356)" );
}

/*
#[test]
fn right_triangles() {
   let mut tlc = TLC::new();
   let val = tlc.reduce_file(None, "examples/right_triangles.tlc").unwrap();
   assert_eq!( format!("{:?}",val), "((6,8,10))" );
}
*/

/*
#[test]
fn string_formatting() {
   let mut tlc = TLC::new();
   let val = tlc.reduce_file(None, "examples/string_formatting.tlc").unwrap();
   assert_eq!( format!("{:?}",val), r#""[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24]""# );
}
*/

/* TODO FIXME reintroduce SI prelude as a mixin
#[test]
fn si() {
   let mut tlc = TLC::new();
   let val = tlc.reduce_file(None, "examples/si.tlc").unwrap();
   assert_eq!( val, Constant::parse(&tlc, "1.23").unwrap() );
}
*/