mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
genpolicy tweaks (#141)
Allow `import input` instead of erroring out. This import is redundant and has no effect. Emit `print` messages to stderr onstead of stdout. Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
This commit is contained in:
committed by
GitHub
parent
3b2e639918
commit
13eb06e4be
@@ -35,7 +35,7 @@ fn print(span: &Span, _params: &[Ref<Expr>], args: &[Value], _strict: bool) -> R
|
||||
}
|
||||
|
||||
if !msg.is_empty() {
|
||||
println!("{}", &msg[1..]);
|
||||
eprintln!("{}", &msg[1..]);
|
||||
}
|
||||
Ok(Value::Bool(true))
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user