voile 0.2.6

Voile, a dependently-typed row-polymorphic programming language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

use std::str;

use minitt_util::io::read_file;

use voile::syntax::surf::{parse_str_err_printed, Decl};

pub fn parse_file(file_arg: &str) -> Option<Vec<Decl>> {
    // If cannot read input, return.
    let file_content = read_file(file_arg)?;
    // Read file
    let file_content_utf8 = str::from_utf8(file_content.as_slice()).unwrap();
    // Parse
    parse_str_err_printed(file_content_utf8).ok()
}