Merge branch 'improve_typecheck_code'

1 files changed, 12 insertions, 1 deletions

diff --git a/dhall_generator/src/lib.rs b/dhall_generator/src/lib.rs
index d720b67..f31faa4 100644
--- a/dhall_generator/src/lib.rs
+++ b/dhall_generator/src/lib.rs
@@ -5,9 +5,20 @@ mod dhall_type;
 
 use proc_macro::TokenStream;
 
+// Deprecated
 #[proc_macro]
 pub fn dhall_expr(input: TokenStream) -> TokenStream {
-    dhall_expr::dhall_expr(input)
+    subexpr(input)
+}
+
+#[proc_macro]
+pub fn expr(input: TokenStream) -> TokenStream {
+    dhall_expr::expr(input)
+}
+
+#[proc_macro]
+pub fn subexpr(input: TokenStream) -> TokenStream {
+    dhall_expr::subexpr(input)
 }
 
 #[proc_macro_derive(Type)]