summaryrefslogtreecommitdiff
path: root/chomp-macro
diff options
context:
space:
mode:
authorGreg Brown <gmb60@cam.ac.uk>2021-04-09 11:08:22 +0100
committerGreg Brown <gmb60@cam.ac.uk>2021-04-09 11:08:22 +0100
commitc28601376e92bb1b1240b08ddbdfaa851daaa9cd (patch)
treead61809dc2f40f930ff492182c32971e15f7267b /chomp-macro
parentfa69e4edd87e3ec319ac4962c619b04e2203628e (diff)
Make some progress, I guesstypes
Diffstat (limited to 'chomp-macro')
-rw-r--r--chomp-macro/src/lib.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/chomp-macro/src/lib.rs b/chomp-macro/src/lib.rs
index 91e1527..864a491 100644
--- a/chomp-macro/src/lib.rs
+++ b/chomp-macro/src/lib.rs
@@ -1,6 +1,6 @@
use chomp::{
chomp::{
- ast::substitute::InlineCalls,
+ ast::substitute::InlineGlobal,
typed::{
context::Context,
lower::{Backend, GenerateCode},
@@ -21,7 +21,7 @@ pub fn nibble(item: TokenStream) -> TokenStream {
.and_then(|(funs, goal)| {
funs.into_iter()
.try_rfold(goal, |goal, function| {
- goal.fold(&mut InlineCalls { function })
+ goal.fold(&mut InlineGlobal { function })
})
.map_err(Error::from)
})