Searched refs:recursion (Results 1 – 9 of 9) sorted by relevance
32 pub mod recursion; module
9 use crate::{ast, codegen, overlap, recursion, sema};29 recursion::check(&terms, &term_env).map_err(|errs| Errors::new(errs, files.clone()))?; in compile()
1 ; Expected error: terms that are part of a recursion cycle (A -> B -> C -> A ->
96 be exhausted. This means that infinite recursion is not allowed in any97 WebAssembly engine. Bounded, but very large, recursion is allowed in102 a bug in either engine. Short of banning recursion there's no known great way
69 | <ul>Uncontrolled recursion over user-supplied input | No | Yes |
76 callstack recursion.
347 fn recursion() -> Result<(), Error> { in recursion() function
113 or recursion.[^2]1083 disallows recursion by default.
479 ;; for certain inputs due to the recursion being defined by user-controlled3447 ;; avoid unbounded recursion.