Skip to content

Commit

Permalink
change allows
Browse files Browse the repository at this point in the history
  • Loading branch information
enricozb committed Apr 19, 2024
1 parent a20e4c1 commit 2ed34de
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/compile.rs
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ fn _compile_host(host: &Host) -> Result<String, fmt::Error> {
.filter_map(|(name, def)| Some((name, def.downcast_ref::<HostedDef<InterpretedDef>>()?)))
.map(|(raw_name, def)| (raw_name, sanitize_name(raw_name), def));

writeln!(code, "#![allow(non_upper_case_globals, unused_imports)]")?;
writeln!(code, "#![allow(non_camel_case_types, unused_imports, unused_variables)]")?;
writeln!(
code,
"use crate::{{host::{{Host, DefRef}}, stdlib::{{AsHostedDef, HostedDef}}, run::*, ops::{{TypedOp, Ty::*, Op::*}}}};"
Expand Down

0 comments on commit 2ed34de

Please sign in to comment.