diff options
| author | Greg Brown <gmb60@cam.ac.uk> | 2021-01-19 22:37:35 +0000 |
|---|---|---|
| committer | Greg Brown <gmb60@cam.ac.uk> | 2021-01-19 22:38:45 +0000 |
| commit | 8f7a17e0f48e3586fae619be08351c6761b07596 (patch) | |
| tree | 0fe2c78b93cdfcbe7b6621c272c8b73eacfc53c4 /src/chomp/typed | |
| parent | f6916209d57682493288ab42e695204b95d0ba23 (diff) | |
Remove usage of `extra-traits` feature of syn.
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, }) |