0.1.52

Author: cscccl

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "lambdascript"
-version = "0.1.51"
+version = "0.1.52"
 authors = ["Chuck Liang"]
 edition = "2021"
 license = "MIT"
@@ -13,4 +13,5 @@ categories = ["command-line-utilities", "parsing", "mathematics"]
 [dependencies]
 rustlr = "0.4"
 fixedstr = "0.2.9"
-chrono = "0.4"
+#chrono = "0.4"
+curl = "0.4.44"

src/main.rs

@@ -10,10 +10,10 @@ extern crate fixedstr;
 use fixedstr::str16;
 //mod abstmachine;
 //use crate::abstmachine::*;
-use chrono;
-use chrono::{Datelike,Timelike};
-use std::io::Write;
+//use chrono;
+//use chrono::{Datelike, Timelike};
 use std::collections::HashMap;
+use std::io::Write;
 
 mod untyped;
 use untyped::*;
@@ -23,56 +23,54 @@ use untypedparser::*;
 //mod exsubs;
 //mod lmb;
 
-fn main()
-{
-  println!("Beta-Reducer for Untyped Lambda Calculus, by Chuck Liang.");
-  println!("For educational reasons this program may be temporarily disabled during certain time periods");
-  let time = chrono::offset::Local::now();
+fn main() {
+    println!("Beta-Reducer for Untyped Lambda Calculus, by Chuck Liang.");
+    println!("For educational reasons this program may be temporarily disabled during certain time periods");
+    if !lambda_formal() {return;}
+    let mut parser = make_parser();
+    let ref mut defs = HashMap::<str16, Term>::new();
+    let args: Vec<String> = std::env::args().collect(); // command-line args
+    if args.len() > 1 {
+        let srcfile = &args[1];
+        let source = LexSource::new(srcfile).unwrap();
+        //    let mut lexer = LamLexer::new(StrTokenizer::from_source(&source));
+        let mut lexer = untypedlexer::from_source(&source);
+        parser.parse(&mut lexer);
+        //parser.parse_train(&mut lexer,"src/untypedparser.rs");
+        eval_prog(&parser.exstate, defs);
+        if parser.error_occurred() {
+            println!("\nPARSER ERRORS OCCURRED, RESULTS NOT GUARANTEED");
+        }
+        //return;
+    } // source file indicated
+    println!("Entering interactive mode, enter 'exit' to quit...");
+    loop
+    // will break from within
+    {
+        print!("<<< ");
+        let res = std::io::stdout().flush();
+        let mut buf = String::new();
+        let res2 = std::io::stdin().read_line(&mut buf);
+        let bln = buf.len();
+        let buftrim = buf.trim();
+        if bln < 3 {
+            continue;
+        } else if buftrim == "exit" || buftrim == "quit" {
+            break;
+        }
 
-/*
-  if time.year()>2022 || time.month()>8 {
-    println!("\nThe lifetime of this program has expired. A new version will be released at the appropriate time.");
-    return;
-  }
-*/
+        if !buftrim.ends_with(';') {
+          buf = format!("{};",buftrim);
+        }
 
-  if time.year()==2023 && time.month()==2 && ((time.day()==14 && time.hour()>=4 && time.minute()>=20) || time.day()>14) && time.day()<=16 {
-    println!("\nThis tool is temporarily disabled because of online exams in CSC252DL");
-    return;
-  }
 
-  let mut parser = make_parser();
-  let ref mut defs = HashMap::<str16,Term>::new();
-  let args:Vec<String> = std::env::args().collect(); // command-line args
-  if args.len()>1 {
-    let srcfile = &args[1];
-    let source = LexSource::new(srcfile).unwrap();
-//    let mut lexer = LamLexer::new(StrTokenizer::from_source(&source));
-    let mut lexer = untypedlexer::from_source(&source);
-    parser.parse(&mut lexer);
-    //parser.parse_train(&mut lexer,"src/untypedparser.rs");        
-    eval_prog(&parser.exstate,defs);
-    if parser.error_occurred() {
-      println!("\nPARSER ERRORS OCCURRED, RESULTS NOT GUARANTEED");
-    }
-    //return;
-  } // source file indicated
-  println!("Entering interactive mode, enter 'exit' to quit...");
-  loop // will break from within
-  {
-    print!("<<< ");     let res =std::io::stdout().flush();
-    let mut buf = String::new();
-    let res2 = std::io::stdin().read_line(&mut buf);
-    if buf.len()<3 {continue;}
-    else if buf.trim()=="exit" || buf.trim()=="quit" {break;}
-    //let mut lexer = LamLexer::new(StrTokenizer::from_str(buf.trim()));
-    let mut lexer = untypedlexer::from_str(buf.trim());
-    parser.exstate.clear();
-    parser.parse(&mut lexer);
-    //parser.parse_train(&mut lexer,"src/untypedparser.rs");    
-    //println!("exstate: {:?}",&parser.exstate);
+        let mut lexer = untypedlexer::from_str(buf.trim());
+        parser.exstate.clear();
+        parser.parse(&mut lexer);
+        //parser.parse_train(&mut lexer,"src/untypedparser.rs");
+        //println!("exstate: {:?}",&parser.exstate);
 
-    eval_prog(&parser.exstate,defs);
-  } // repl 
-}//main
+        eval_prog(&parser.exstate, defs);
+    } // repl
+} //main