Reflect ignore_warnings kompile option (#2497)

* Add `ignore_warnings` compile option

* kompile.py: include `ignore_warnings` for haskell target

* Set Version: 1.0.610

* kompile.py: update `ignore_warnings` location

* Set Version: 1.0.615

* Set Version: 1.0.619

* kompile.py: update `ignore_warnings` type and default value

* Set Version: 1.0.620

* Set Version: 1.0.621

* Set Version: 1.0.622

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Andrei Văcaru <[email protected]>
Co-authored-by: Palina Tolmach <[email protected]>

Author: 4 people

kevm-pyk/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.621"
+version = "1.0.622"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

kevm-pyk/src/kevm_pyk/__init__.py

@@ -5,4 +5,4 @@
 if TYPE_CHECKING:
     from typing import Final
 
-VERSION: Final = '1.0.621'
+VERSION: Final = '1.0.622'

kevm-pyk/src/kevm_pyk/kompile.py

@@ -62,6 +62,7 @@ def kevm_kompile(
     debug: bool = False,
     verbose: bool = False,
     type_inference_mode: str | TypeInferenceMode | None = None,
+    ignore_warnings: Iterable[str] = (),
 ) -> Path:
     if plugin_dir is None:
         plugin_dir = kdist.get('evm-semantics.plugin')
@@ -84,6 +85,7 @@ def kevm_kompile(
         debug=debug,
         verbose=verbose,
         type_inference_mode=type_inference_mode,
+        ignore_warnings=ignore_warnings,
     )
 
 
@@ -105,6 +107,7 @@ def run_kompile(
     debug: bool = False,
     verbose: bool = False,
     type_inference_mode: str | TypeInferenceMode | None = None,
+    ignore_warnings: Iterable[str] = (),
 ) -> Path:
     if type_inference_mode is None:
         type_inference_mode = TypeInferenceMode.SIMPLESUB
@@ -137,7 +140,11 @@ def run_kompile(
                     enable_llvm_debug=enable_llvm_debug,
                 )
                 return kompile(
-                    output_dir=output_dir, debug=debug, verbose=verbose, type_inference_mode=type_inference_mode
+                    output_dir=output_dir,
+                    debug=debug,
+                    verbose=verbose,
+                    type_inference_mode=type_inference_mode,
+                    ignore_warnings=ignore_warnings,
                 )
 
             case KompileTarget.MAUDE:
@@ -155,7 +162,11 @@ def _kompile_maude() -> None:
 
                 def _kompile_haskell() -> None:
                     kompile_haskell(
-                        output_dir=output_dir, debug=debug, verbose=verbose, type_inference_mode=type_inference_mode
+                        output_dir=output_dir,
+                        debug=debug,
+                        verbose=verbose,
+                        type_inference_mode=type_inference_mode,
+                        ignore_warnings=ignore_warnings,
                     )
 
                 with concurrent.futures.ThreadPoolExecutor(max_workers=2) as executor:
@@ -189,11 +200,16 @@ def _kompile_llvm() -> None:
                         debug=debug,
                         verbose=verbose,
                         type_inference_mode=type_inference_mode,
+                        ignore_warnings=ignore_warnings,
                     )
 
                 def _kompile_haskell() -> None:
                     kompile_haskell(
-                        output_dir=output_dir, debug=debug, verbose=verbose, type_inference_mode=type_inference_mode
+                        output_dir=output_dir,
+                        debug=debug,
+                        verbose=verbose,
+                        type_inference_mode=type_inference_mode,
+                        ignore_warnings=ignore_warnings,
                     )
 
                 with concurrent.futures.ThreadPoolExecutor(max_workers=2) as executor:

package/version

@@ -1 +1 @@
-1.0.621
+1.0.622