mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-09-19 04:37:28 +03:00
Fix monadic syntax return
This commit is contained in:
parent
c1de579502
commit
fd0d77a791
@ -397,7 +397,7 @@ pub fn parse_term_st(state: State) -> Answer<TermComplete> {
|
||||
Box::new(parse_ask_anon_st),
|
||||
Box::new(parse_let_st),
|
||||
Box::new(|state| {
|
||||
let (state, term) = parse_term(state)?;
|
||||
let (state, term) = parse_apps(state)?;
|
||||
Ok((state, Some(Box::new(move |_| term.clone()))))
|
||||
}),
|
||||
],
|
||||
|
Loading…
Reference in New Issue
Block a user