lsts 0.6.34

Large Scale Type Systems
Documentation 
1
2
3
4
5
6
7
8
9

use lsts::tlc::TLC;

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

   let _error = tlc.check(Some(l1), "x:Number").unwrap_err();
}