diff options
Diffstat (limited to 'src/chomp/typed')
| -rw-r--r-- | src/chomp/typed/infer.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/chomp/typed/infer.rs b/src/chomp/typed/infer.rs index 0161471..8095103 100644 --- a/src/chomp/typed/infer.rs +++ b/src/chomp/typed/infer.rs @@ -48,11 +48,11 @@ impl Folder for TypeInfer<'_> { let rest = rest .into_iter() .map(|(punct, term)| -> Result<_, TypeError> { - Ok((punct.map(|p| p.span), term.fold(&mut infer)?)) + Ok((punct, term.fold(&mut infer)?)) }) .collect::<Result<Vec<_>, _>>()?; Ok(TypedExpression { - inner: super::Cat::new(first, punct.map(|p| p.span), second, rest)?.into(), + inner: super::Cat::new(first, punct, second, rest)?.into(), name, span, }) @@ -71,11 +71,11 @@ impl Folder for TypeInfer<'_> { let rest = rest .into_iter() .map(|(punct, term)| -> Result<_, TypeError> { - Ok((punct.map(|p| p.span), term.fold(&mut infer)?)) + Ok((punct, term.fold(&mut infer)?)) }) .collect::<Result<Vec<_>, _>>()?; Ok(TypedExpression { - inner: super::Alt::new(first, punct.map(|p| p.span), second, rest)?.into(), + inner: super::Alt::new(first, punct, second, rest)?.into(), name, span, }) |