forked from M-Labs/nac3
nac3standalone: added return check
This commit is contained in:
parent
a24e204824
commit
52dd792b3e
|
@ -122,9 +122,11 @@ fn main() {
|
||||||
.unwrap();
|
.unwrap();
|
||||||
|
|
||||||
let mut identifiers = vec!["output".to_string()];
|
let mut identifiers = vec!["output".to_string()];
|
||||||
inferencer
|
if !inferencer
|
||||||
.check_block(&statements, &mut identifiers)
|
.check_block(&statements, &mut identifiers)
|
||||||
.unwrap();
|
.unwrap() {
|
||||||
|
panic!("expected return");
|
||||||
|
}
|
||||||
|
|
||||||
let top_level = Arc::new(TopLevelContext {
|
let top_level = Arc::new(TopLevelContext {
|
||||||
definitions: Arc::new(RwLock::new(std::mem::take(
|
definitions: Arc::new(RwLock::new(std::mem::take(
|
||||||
|
|
Loading…
Reference in New Issue