lsts 0.6.34

Large Scale Type Systems
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

use lsts::tlc::TLC;

#[test]
fn check_simple_block() {
   let mut tlc = TLC::new();
   let l1 = tlc.import_file(None, "preludes/l1.tlc").unwrap();

   tlc.check(Some(l1), "{};").unwrap();
   tlc.check(Some(l1), "{();};").unwrap();
   tlc.check(Some(l1), "{();();};").unwrap();
   tlc.check(Some(l1), "{};").unwrap();
   tlc.check(Some(l1), "{();};").unwrap();
   tlc.check(Some(l1), "{();();};").unwrap();
}