add json for warnings

Author: stringhandler

src/error.rs

@@ -213,7 +213,7 @@ impl RichError {
     }
 }
 
-pub(crate) fn get_line_col(file: &str, offset: usize) -> (usize, usize) {
+pub fn get_line_col(file: &str, offset: usize) -> (usize, usize) {
     let mut line = 1;
     let mut last_newline_offset = 0;
 

src/lib.rs

@@ -35,6 +35,7 @@ use crate::error::{ErrorCollector, WithFile, WithFilePath};
 use crate::parse::ParseFromStrWithErrors;
 pub use crate::types::ResolvedType;
 pub use crate::value::Value;
+pub use crate::error::get_line_col;
 pub use crate::warning::{WarnCategory, Warning};
 pub use crate::witness::{Arguments, Parameters, WitnessTypes, WitnessValues};
 

src/main.rs

@@ -2,9 +2,17 @@ use base64::display::Base64Display;
 use base64::engine::general_purpose::STANDARD;
 use clap::{Arg, ArgAction, Command};
 
-use simplicityhl::{AbiMeta, TemplateProgram, WarnCategory};
+use simplicityhl::{get_line_col, AbiMeta, TemplateProgram, WarnCategory};
 use std::{env, fmt};
 
+#[cfg_attr(feature = "serde", derive(serde::Serialize))]
+struct OutputWarning {
+    message: String,
+    file: String,
+    line: usize,
+    column: usize,
+}
+
 #[cfg_attr(feature = "serde", derive(serde::Serialize))]
 /// The compilation output.
 struct Output {
@@ -16,6 +24,8 @@ struct Output {
     abi_meta: Option<AbiMeta>,
     /// Commitment Merkle Root (CMR) of the program, hex encoded.
     cmr: String,
+    /// Compiler warnings produced during compilation.
+    warnings: Vec<OutputWarning>,
 }
 
 impl fmt::Display for Output {
@@ -155,7 +165,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>> {
             std::process::exit(1);
         });
 
-    let template = match TemplateProgram::new_with_path(prog_text, prog_file.as_str()) {
+    let template = match TemplateProgram::new_with_path(prog_text.clone(), prog_file.as_str()) {
         Ok(t) => t,
         Err(e) => {
             eprintln!("{}", e);
@@ -176,17 +186,28 @@ fn main() -> Result<(), Box<dyn std::error::Error>> {
         });
 
     let n_warnings = template.warnings().len();
+    let warning_strings: Vec<OutputWarning> = template
+        .warnings()
+        .iter()
+        .map(|w| {
+            let (line, column) = get_line_col(&prog_text, w.span.start);
+            OutputWarning {
+                message: w.canonical_name.to_string(),
+                file: prog_file.clone(),
+                line,
+                column,
+            }
+        })
+        .collect();
     if n_warnings > 0 {
-        eprint!("{}", template.format_warnings(prog_file));
-        let word = if n_warnings == 1 {
-            "warning"
-        } else {
-            "warnings"
-        };
-        eprintln!(
-            "\x1b[1;33mwarning\x1b[0m: `{}` generated {} {}",
-            prog_file, n_warnings, word,
-        );
+        if !output_json {
+            eprint!("{}", template.format_warnings(prog_file));
+            let word = if n_warnings == 1 { "warning" } else { "warnings" };
+            eprintln!(
+                "\x1b[1;33mwarning\x1b[0m: `{}` generated {} {}",
+                prog_file, n_warnings, word,
+            );
+        }
         if deny_warnings {
             eprintln!("\x1b[1;31merror\x1b[0m: warnings treated as errors (--deny-warnings)");
             std::process::exit(1);
@@ -244,6 +265,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>> {
         witness: witness_bytes.map(|bytes| Base64Display::new(&bytes, &STANDARD).to_string()),
         abi_meta: abi_opt,
         cmr: cmr_hex,
+        warnings: warning_strings,
     };
 
     if output_json {