Silence kontrol build warnings

package/version

@@ -1 +1 @@
-0.1.327
+0.1.328

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kontrol"
-version = "0.1.327"
+version = "0.1.328"
 description = "Foundry integration for KEVM"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

src/kontrol/__init__.py

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

src/kontrol/cli.py

@@ -315,6 +315,13 @@ def parse(s: str) -> list[T]:
         action='store_true',
         help="Do not call 'forge build' during kompilation.",
     )
+    build.add_argument(
+        '--no-silence-warnings',
+        dest='no_silence_warnings',
+        default=None,
+        action='store_true',
+        help='Do not silence K compiler warnings',
+    )
 
     state_diff_args = command_parser.add_parser(
         'load-state-diff',

src/kontrol/kompile.py

@@ -45,6 +45,9 @@ def foundry_kompile(
     if not options.no_forge_build:
         foundry.build()
 
+    if not options.no_silence_warnings:
+        options.ignore_warnings = _silenced_warnings()
+
     regen = options.regen
     foundry_up_to_date = True
 
@@ -148,6 +151,7 @@ def update_kompilation_digest() -> None:
             ccopts=options.ccopts,
             debug=options.debug,
             verbose=options.verbose,
+            ignore_warnings=options.ignore_warnings,
         )
 
     update_kompilation_digest()
@@ -192,3 +196,7 @@ def _foundry_to_main_def(
         [_main_module] + modules,
         requires=(KRequire(req) for req in list(requires)),
     )
+
+
+def _silenced_warnings() -> list[str]:
+    return ['non-exhaustive-match', 'missing-syntax-module']

src/kontrol/options.py

@@ -739,13 +739,15 @@ class BuildOptions(LoggingOptions, KOptions, KGenOptions, KompileOptions, Foundr
     regen: bool
     rekompile: bool
     no_forge_build: bool
+    no_silence_warnings: bool
 
     @staticmethod
     def default() -> dict[str, Any]:
         return {
             'regen': False,
             'rekompile': False,
             'no_forge_build': False,
+            'no_silence_warnings': False,
         }
 
     @staticmethod