From 45be2ff1f5bb3d6e0faa098402adf985b3d5e7ca Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 4 May 2019 12:38:36 +0200 Subject: Rename dhall_core to dhall_syntax --- dhall_generator/Cargo.toml | 2 +- dhall_generator/src/derive.rs | 14 +++++----- dhall_generator/src/quote.rs | 62 +++++++++++++++++++++---------------------- 3 files changed, 39 insertions(+), 39 deletions(-) (limited to 'dhall_generator') diff --git a/dhall_generator/Cargo.toml b/dhall_generator/Cargo.toml index d58e2eb..8a6b6e2 100644 --- a/dhall_generator/Cargo.toml +++ b/dhall_generator/Cargo.toml @@ -14,4 +14,4 @@ itertools = "0.8.0" quote = "0.6.11" proc-macro2 = "0.4.27" syn = "0.15.29" -dhall_core = { path = "../dhall_core" } +dhall_syntax = { path = "../dhall_syntax" } diff --git a/dhall_generator/src/derive.rs b/dhall_generator/src/derive.rs index 852ffc8..bcefb17 100644 --- a/dhall_generator/src/derive.rs +++ b/dhall_generator/src/derive.rs @@ -1,5 +1,5 @@ extern crate proc_macro; -// use dhall_core::*; +// use dhall_syntax::*; use proc_macro::TokenStream; use quote::{quote, quote_spanned}; use syn::spanned::Spanned; @@ -51,15 +51,15 @@ fn derive_for_struct( let fields = fields .into_iter() .map(|(name, ty)| { - let name = dhall_core::Label::from(name); + let name = dhall_syntax::Label::from(name); constraints.push(ty.clone()); let ty = get_simple_static_type(ty); (name, quote!(#ty.into())) }) .collect(); let record = - crate::quote::quote_exprf(dhall_core::ExprF::RecordType(fields)); - Ok(quote! { dhall_core::rc(#record) }) + crate::quote::quote_exprf(dhall_syntax::ExprF::RecordType(fields)); + Ok(quote! { dhall_syntax::rc(#record) }) } fn derive_for_enum( @@ -70,7 +70,7 @@ fn derive_for_enum( .variants .iter() .map(|v| { - let name = dhall_core::Label::from(v.ident.to_string()); + let name = dhall_syntax::Label::from(v.ident.to_string()); match &v.fields { syn::Fields::Unit => Ok((name, None)), syn::Fields::Unnamed(fields) if fields.unnamed.is_empty() => { @@ -95,8 +95,8 @@ fn derive_for_enum( .collect::>()?; let union = - crate::quote::quote_exprf(dhall_core::ExprF::UnionType(variants)); - Ok(quote! { dhall_core::rc(#union) }) + crate::quote::quote_exprf(dhall_syntax::ExprF::UnionType(variants)); + Ok(quote! { dhall_syntax::rc(#union) }) } pub fn derive_simple_static_type_inner( diff --git a/dhall_generator/src/quote.rs b/dhall_generator/src/quote.rs index c588eda..c2323fa 100644 --- a/dhall_generator/src/quote.rs +++ b/dhall_generator/src/quote.rs @@ -1,6 +1,6 @@ extern crate proc_macro; -use dhall_core::context::Context; -use dhall_core::*; +use dhall_syntax::context::Context; +use dhall_syntax::*; use proc_macro2::TokenStream; use quote::quote; use std::collections::BTreeMap; @@ -31,62 +31,62 @@ pub fn quote_exprf(expr: ExprF) -> TokenStream where TS: quote::ToTokens + std::fmt::Debug, { - use dhall_core::ExprF::*; + use dhall_syntax::ExprF::*; match expr { Var(_) => unreachable!(), Pi(x, t, b) => { let x = quote_label(&x); - quote! { dhall_core::ExprF::Pi(#x, #t, #b) } + quote! { dhall_syntax::ExprF::Pi(#x, #t, #b) } } Lam(x, t, b) => { let x = quote_label(&x); - quote! { dhall_core::ExprF::Lam(#x, #t, #b) } + quote! { dhall_syntax::ExprF::Lam(#x, #t, #b) } } App(f, a) => { - quote! { dhall_core::ExprF::App(#f, #a) } + quote! { dhall_syntax::ExprF::App(#f, #a) } } Annot(x, t) => { - quote! { dhall_core::ExprF::Annot(#x, #t) } + quote! { dhall_syntax::ExprF::Annot(#x, #t) } } Const(c) => { let c = quote_const(c); - quote! { dhall_core::ExprF::Const(#c) } + quote! { dhall_syntax::ExprF::Const(#c) } } Builtin(b) => { let b = quote_builtin(b); - quote! { dhall_core::ExprF::Builtin(#b) } + quote! { dhall_syntax::ExprF::Builtin(#b) } } BinOp(o, a, b) => { let o = quote_binop(o); - quote! { dhall_core::ExprF::BinOp(#o, #a, #b) } + quote! { dhall_syntax::ExprF::BinOp(#o, #a, #b) } } NaturalLit(n) => { - quote! { dhall_core::ExprF::NaturalLit(#n) } + quote! { dhall_syntax::ExprF::NaturalLit(#n) } } BoolLit(b) => { - quote! { dhall_core::ExprF::BoolLit(#b) } + quote! { dhall_syntax::ExprF::BoolLit(#b) } } SomeLit(x) => { - quote! { dhall_core::ExprF::SomeLit(#x) } + quote! { dhall_syntax::ExprF::SomeLit(#x) } } EmptyListLit(t) => { - quote! { dhall_core::ExprF::EmptyListLit(#t) } + quote! { dhall_syntax::ExprF::EmptyListLit(#t) } } NEListLit(es) => { let es = quote_vec(es); - quote! { dhall_core::ExprF::NEListLit(#es) } + quote! { dhall_syntax::ExprF::NEListLit(#es) } } RecordType(m) => { let m = quote_map(m); - quote! { dhall_core::ExprF::RecordType(#m) } + quote! { dhall_syntax::ExprF::RecordType(#m) } } RecordLit(m) => { let m = quote_map(m); - quote! { dhall_core::ExprF::RecordLit(#m) } + quote! { dhall_syntax::ExprF::RecordLit(#m) } } UnionType(m) => { let m = quote_opt_map(m); - quote! { dhall_core::ExprF::UnionType(#m) } + quote! { dhall_syntax::ExprF::UnionType(#m) } } e => unimplemented!("{:?}", e), } @@ -98,7 +98,7 @@ fn quote_subexpr( expr: &SubExpr, ctx: &Context, ) -> TokenStream { - use dhall_core::ExprF::*; + use dhall_syntax::ExprF::*; match expr.as_ref().map_ref_with_special_handling_of_binders( |e| quote_subexpr(e, ctx), |l, e| quote_subexpr(e, &ctx.insert(l.clone(), ())), @@ -111,8 +111,8 @@ fn quote_subexpr( // Non-free variable; interpolates as itself Some(()) => { let s: String = s.into(); - let var = quote! { dhall_core::V(#s.into(), #n) }; - rc(quote! { dhall_core::ExprF::Var(#var) }) + let var = quote! { dhall_syntax::V(#s.into(), #n) }; + rc(quote! { dhall_syntax::ExprF::Var(#var) }) } // Free variable; interpolates as a rust variable None => { @@ -120,7 +120,7 @@ fn quote_subexpr( // TODO: insert appropriate shifts ? let v: TokenStream = s.parse().unwrap(); quote! { { - let x: dhall_core::SubExpr<_, _> = #v.clone(); + let x: dhall_syntax::SubExpr<_, _> = #v.clone(); x } } } @@ -133,7 +133,7 @@ fn quote_subexpr( // Returns an expression of type Expr<_, _>. Expects interpolated variables // to be of type SubExpr<_, _>. fn quote_expr(expr: &Expr, ctx: &Context) -> TokenStream { - use dhall_core::ExprF::*; + use dhall_syntax::ExprF::*; match expr.map_ref_with_special_handling_of_binders( |e| quote_subexpr(e, ctx), |l, e| quote_subexpr(e, &ctx.insert(l.clone(), ())), @@ -146,8 +146,8 @@ fn quote_expr(expr: &Expr, ctx: &Context) -> TokenStream { // Non-free variable; interpolates as itself Some(()) => { let s: String = s.into(); - let var = quote! { dhall_core::V(#s.into(), #n) }; - quote! { dhall_core::ExprF::Var(#var) } + let var = quote! { dhall_syntax::V(#s.into(), #n) }; + quote! { dhall_syntax::ExprF::Var(#var) } } // Free variable; interpolates as a rust variable None => { @@ -155,7 +155,7 @@ fn quote_expr(expr: &Expr, ctx: &Context) -> TokenStream { // TODO: insert appropriate shifts ? let v: TokenStream = s.parse().unwrap(); quote! { { - let x: dhall_core::SubExpr<_, _> = #v.clone(); + let x: dhall_syntax::SubExpr<_, _> = #v.clone(); x.unroll() } } } @@ -166,24 +166,24 @@ fn quote_expr(expr: &Expr, ctx: &Context) -> TokenStream { } fn quote_builtin(b: Builtin) -> TokenStream { - format!("dhall_core::Builtin::{:?}", b).parse().unwrap() + format!("dhall_syntax::Builtin::{:?}", b).parse().unwrap() } fn quote_const(c: Const) -> TokenStream { - format!("dhall_core::Const::{:?}", c).parse().unwrap() + format!("dhall_syntax::Const::{:?}", c).parse().unwrap() } fn quote_binop(b: BinOp) -> TokenStream { - format!("dhall_core::BinOp::{:?}", b).parse().unwrap() + format!("dhall_syntax::BinOp::{:?}", b).parse().unwrap() } fn quote_label(l: &Label) -> TokenStream { let l = String::from(l); - quote! { dhall_core::Label::from(#l) } + quote! { dhall_syntax::Label::from(#l) } } fn rc(x: TokenStream) -> TokenStream { - quote! { dhall_core::rc(#x) } + quote! { dhall_syntax::rc(#x) } } fn quote_opt(x: Option) -> TokenStream -- cgit v1.2.3