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

/* TODO FIXME use L1 and @reduce
use lsts::tlc::TLC;

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

   tlc.check(Some(l1), "for x:Integer in range(2) yield x;").unwrap();
   tlc.check(Some(l1), "for x:Integer in range(2) if x>2 yield x;").unwrap();

   tlc.check(Some(l1), "(for x:Integer in range(2) yield x);").unwrap();
   tlc.check(Some(l1), "(for x:Integer in range(2) if x>2 yield x);").unwrap();

   tlc.check(Some(l1), "[for x:Integer in range(2) yield x];").unwrap();
   tlc.check(Some(l1), "[for x:Integer in range(2) if x>2 yield x];").unwrap();

   tlc.check(Some(l1), "set([for x:Integer in range(2) yield x]);").unwrap();
   tlc.check(Some(l1), "set([for x:Integer in range(2) if x>2 yield x]);").unwrap();

   tlc.check(Some(l1), "map([for x:Integer in range(2) yield (x,x^2)]);").unwrap();
   tlc.check(Some(l1), "map([for x:Integer in range(2) if x>2 yield (x,x^2)]);").unwrap();
}
*/