From d8b88c1a5da7218011fca2bccc525907aa439335 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 27 Feb 2019 15:45:09 +0100 Subject: Switch to Rust 2018 edition --- src/core.rs | 22 +++++++++++----------- src/grammar_util.rs | 4 ++-- src/lexer.rs | 14 +++++++------- src/main.rs | 12 +++++------- src/parser.rs | 8 ++++---- src/typecheck.rs | 16 ++++++++-------- 6 files changed, 37 insertions(+), 39 deletions(-) (limited to 'src') diff --git a/src/core.rs b/src/core.rs index a9de523..67a7492 100644 --- a/src/core.rs +++ b/src/core.rs @@ -290,7 +290,7 @@ impl<'i, S, A> Expr<'i, S, A> { impl<'i, S, A: Display> Display for Expr<'i, S, A> { fn fmt(&self, f: &mut fmt::Formatter) -> Result<(), fmt::Error> { // buildExprA - use Expr::*; + use crate::Expr::*; match self { &Annot(ref a, ref b) => { a.fmt_b(f)?; write!(f, " : ")?; b.fmt(f) } &Note(_, ref b) => b.fmt(f), @@ -301,7 +301,7 @@ impl<'i, S, A: Display> Display for Expr<'i, S, A> { impl<'i, S, A: Display> Expr<'i, S, A> { fn fmt_b(&self, f: &mut fmt::Formatter) -> Result<(), fmt::Error> { - use Expr::*; + use crate::Expr::*; match self { &Lam(a, ref b, ref c) => { write!(f, "λ({} : ", a)?; @@ -364,7 +364,7 @@ impl<'i, S, A: Display> Expr<'i, S, A> { } fn fmt_c(&self, f: &mut fmt::Formatter) -> Result<(), fmt::Error> { - use Expr::*; + use crate::Expr::*; match self { // FIXME precedence &BoolOr(ref a, ref b) => { a.fmt_d(f)?; f.write_str(" || ")?; b.fmt_c(f) } @@ -381,7 +381,7 @@ impl<'i, S, A: Display> Expr<'i, S, A> { } fn fmt_d(&self, f: &mut fmt::Formatter) -> Result<(), fmt::Error> { - use Expr::*; + use crate::Expr::*; match self { &App(ref a, ref b) => { a.fmt_d(f)?; f.write_str(" ")?; b.fmt_e(f) } &Note(_, ref b) => b.fmt_d(f), @@ -390,7 +390,7 @@ impl<'i, S, A: Display> Expr<'i, S, A> { } fn fmt_e(&self, f: &mut fmt::Formatter) -> Result<(), fmt::Error> { - use Expr::*; + use crate::Expr::*; match self { &Field(ref a, b) => { a.fmt_e(f)?; write!(f, ".{}", b) } &Note(_, ref b) => b.fmt_e(f), @@ -399,7 +399,7 @@ impl<'i, S, A: Display> Expr<'i, S, A> { } fn fmt_f(&self, f: &mut fmt::Formatter) -> Result<(), fmt::Error> { - use Expr::*; + use crate::Expr::*; match self { &Var(a) => a.fmt(f), &Const(k) => k.fmt(f), @@ -464,7 +464,7 @@ impl Display for BuiltinType { impl Display for BuiltinValue { fn fmt(&self, f: &mut fmt::Formatter) -> Result<(), fmt::Error> { - use BuiltinValue::*; + use crate::BuiltinValue::*; f.write_str(match *self { ListBuild => "List/build", ListFold => "List/fold", @@ -625,7 +625,7 @@ fn map_op2(f: F, g: G, a: T, b: T) -> V /// name in order to avoid shifting the bound variables by mistake. /// pub fn shift<'i, S, T, A: Clone>(d: isize, v: V, e: &Expr<'i, S, A>) -> Expr<'i, T, A> { - use Expr::*; + use crate::Expr::*; let V(x, n) = v; match *e { Const(a) => Const(a), @@ -721,7 +721,7 @@ pub fn subst<'i, S, T, A>(v: V<'i>, e: &Expr<'i, S, A>, b: &Expr<'i, T, A>) -> E where S: Clone, A: Clone { - use Expr::*; + use crate::Expr::*; let V(x, n) = v; match *b { Const(a) => Const(a), @@ -823,8 +823,8 @@ pub fn normalize<'i, S, T, A>(e: &Expr<'i, S, A>) -> Expr<'i, T, A> T: Clone + fmt::Debug, A: Clone + fmt::Debug, { - use BuiltinValue::*; - use Expr::*; + use crate::BuiltinValue::*; + use crate::Expr::*; match *e { Const(k) => Const(k), Var(v) => Var(v), diff --git a/src/grammar_util.rs b/src/grammar_util.rs index 49b7fb8..c546a13 100644 --- a/src/grammar_util.rs +++ b/src/grammar_util.rs @@ -1,5 +1,5 @@ -use core::{Expr, X}; -use lexer::Builtin; +use crate::core::{Expr, X}; +use crate::lexer::Builtin; pub type ParsedExpr<'i> = Expr<'i, X, X>; // FIXME Parse paths and replace the second X with Path pub type BoxExpr<'i> = Box>; diff --git a/src/lexer.rs b/src/lexer.rs index 0b58293..d396951 100644 --- a/src/lexer.rs +++ b/src/lexer.rs @@ -1,10 +1,10 @@ -use nom; +use nom::*; -use core::Const; -use core::BuiltinType; -use core::BuiltinType::*; -use core::BuiltinValue; -use core::BuiltinValue::*; +use crate::core::Const; +use crate::core::BuiltinType; +use crate::core::BuiltinType::*; +use crate::core::BuiltinValue; +use crate::core::BuiltinValue::*; #[derive(Debug, Clone, PartialEq, Eq)] pub enum Keyword { @@ -359,7 +359,7 @@ fn test_lex() { ParenL, Identifier("b"), Ascription, - Builtin(self::Builtin::Type(::core::BuiltinType::Bool)), + Builtin(self::Builtin::Type(crate::core::BuiltinType::Bool)), ParenR, Arrow, Identifier("b"), diff --git a/src/main.rs b/src/main.rs index fde3978..22a4c3b 100644 --- a/src/main.rs +++ b/src/main.rs @@ -1,15 +1,13 @@ #![feature(box_patterns)] -extern crate bytecount; -#[macro_use] -extern crate lalrpop_util; -#[macro_use] -extern crate nom; -extern crate term_painter; +use bytecount; +use lalrpop_util; +use lalrpop_util::lalrpop_mod; +use term_painter; pub mod context; mod core; -pub use core::*; +pub use crate::core::*; lalrpop_mod!(pub grammar); // synthesized by LALRPOP mod grammar_util; pub mod lexer; diff --git a/src/parser.rs b/src/parser.rs index 3ad7ffc..2e252b1 100644 --- a/src/parser.rs +++ b/src/parser.rs @@ -1,8 +1,8 @@ use lalrpop_util; -use grammar; -use grammar_util::BoxExpr; -use lexer::{Lexer, LexicalError, Tok}; +use crate::grammar; +use crate::grammar_util::BoxExpr; +use crate::lexer::{Lexer, LexicalError, Tok}; pub type ParseError<'i> = lalrpop_util::ParseError, LexicalError>; @@ -12,7 +12,7 @@ pub fn parse_expr(s: &str) -> Result { #[test] fn test_parse() { - use core::Expr::*; + use crate::core::Expr::*; println!("test {:?}", parse_expr("+3 + +5 * +10")); assert!(parse_expr("22").is_ok()); assert!(parse_expr("(22)").is_ok()); diff --git a/src/typecheck.rs b/src/typecheck.rs index 576b059..62ff7d2 100644 --- a/src/typecheck.rs +++ b/src/typecheck.rs @@ -3,14 +3,14 @@ use std::collections::BTreeMap; use std::collections::HashSet; use std::fmt; -use context::Context; -use core; -use core::{Expr, V, X, bx, normalize, shift, subst}; -use core::{pi, app}; -use core::BuiltinType::*; -use core::BuiltinValue::*; -use core::Const::*; -use core::Expr::*; +use crate::context::Context; +use crate::core; +use crate::core::{Expr, V, X, bx, normalize, shift, subst}; +use crate::core::{pi, app}; +use crate::core::BuiltinType::*; +use crate::core::BuiltinValue::*; +use crate::core::Const::*; +use crate::core::Expr::*; use self::TypeMessage::*; -- cgit v1.2.3