diff options
| author | Greg Brown <gmb60@cam.ac.uk> | 2020-11-25 20:08:40 +0000 | 
|---|---|---|
| committer | Greg Brown <gmb60@cam.ac.uk> | 2020-11-25 20:08:40 +0000 | 
| commit | aac8a2a06f557bda1893d891bf812c02b898d897 (patch) | |
| tree | 0ac6fe7d3be8fbc5c36486196f045c44dcbdf8b9 /src/main.rs | |
| parent | e2cd078cb16834256439ac775cb8cf1e17679181 (diff) | |
Add let statements
Diffstat (limited to 'src/main.rs')
| -rw-r--r-- | src/main.rs | 13 | 
1 files changed, 5 insertions, 8 deletions
| diff --git a/src/main.rs b/src/main.rs index c180302..2e5532c 100644 --- a/src/main.rs +++ b/src/main.rs @@ -1,15 +1,12 @@  use chomp::{ -    ast::{ -        convert::{Context, Convert}, -        typed::{FlastContext, Type}, -    }, -    nibble::Expression, +    ast::typed::{FlastContext, Type}, +    nibble::File,  };  use proc_macro2::Span; -use std::process::exit;  use std::{      error::Error,      io::{self, Read, Write}, +    process::exit,  };  use syn::Ident; @@ -19,9 +16,9 @@ fn main() {          .read_to_string(&mut input)          .map_err(|e| Box::new(e) as Box<dyn Error>)          .and_then(|_| syn::parse_str(&input).map_err(|e| Box::new(e) as Box<dyn Error>)) -        .and_then(|nibble: Expression| { +        .and_then(|nibble: File| {              nibble -                .convert(&mut Context::new()) +                .convert_with_substitution()                  .well_typed(&mut FlastContext::new())                  .map_err(|e| Box::new(e) as Box<dyn Error>)          }) | 
