Warnings as errors

INTO-CPS-Association · Oct 21, 2024 · bfcfa8b · bfcfa8b
1 parent cc0d9b8
commit bfcfa8b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/src/ast.rs b/src/ast.rs
@@ -10,7 +10,6 @@ use std::{
     collections::BTreeMap,
     fmt::{Debug, Display},
 };
-use winnow::stream::Accumulate;
 
 pub struct UntypedLOLA;
 // pub trait TypedStreamData<T: Type<TS>, TS: TypeSystem>: StreamData<TS> {}

diff --git a/src/lib.rs b/src/lib.rs
@@ -1,4 +1,6 @@
 #![recursion_limit = "256"]
+#![deny(warnings)]
+
 pub mod core;
 pub use core::{
     ConcreteStreamData, InputProvider, Monitor, MonitoringSemantics, OutputStream, Specification,

diff --git a/src/main.rs b/src/main.rs
@@ -1,3 +1,4 @@
+#![deny(warnings)]
 use futures::StreamExt;
 use trustworthiness_checker::{self as tc, core::TypeCheckableSpecification, parse_file, Monitor};