dedukti-parse 0.3.1

Parser for the Dedukti file format
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use dedukti_parse::{Lazy, Scoped, Strict, Symb};
use std::fs::File;
use std::io::{BufRead, BufReader};

fn main() {
    let args: Vec<String> = std::env::args().collect();
    let filename = &args[1];

    //let file = File::open(filename).expect("Something went wrong reading the file");
    let line = std::fs::read_to_string(filename).expect("Something went wrong reading the file");

    println!("loaded");

    /*
    let lines = BufReader::new(file).lines().map(|line| line.unwrap());
    let iter = Lazy::<_, Atom<Symb<String>>, String>::new(lines);
    */
    let iter = Strict::new(&line);
    for cmd in iter {
        let cmd: Scoped<&str> = cmd.unwrap();
        println!("{}", cmd);
    }
}