145 when guard modulo payload

✓ Passing This code compiles and runs correctly.

Code

// Pins: Koru `%` on a signed runtime payload field in a call-site `when`
// guard, on BOTH targets — 320_142's string-guard shape with the numeric
// operator Zig spells differently (`@rem`, see 320_144). A guard is a
// condition like any other, so the same operator spelling has to reach this
// emission. Each guard TAKES its arm, so the rewritten comparison is on the
// executed path, not merely compiled.
import std/io

pub tor fetch { id: i64 }
| found { n: i32, tag: i32 }
| missing

fetch = if (id == 1)
| then => found { n: 7, tag: 1 }
| else => found { n: 8, tag: 2 }

fetch(id: 1)
| found { n, _ } when n % 2 != 0 |> std/io:print.ln("odd {{ n:d }}")
| found { n, _ } |> std/io:print.ln("even {{ n:d }}")
| missing |> std/io:print.ln("nope")

fetch(id: 2)
| found { n, _ } when n % 2 == 0 |> std/io:print.ln("even {{ n:d }}")
| found { n, _ } |> std/io:print.ln("odd {{ n:d }}")
| missing |> std/io:print.ln("nope")

input.k

Supporting Files

{
  "runtimeTarget": {
    "name": ".NETCoreApp,Version=v8.0",
    "signature": ""
  },
  "compilationOptions": {},
  "targets": {
    ".NETCoreApp,Version=v8.0": {
      "a_cs_equiv/1.0.0": {
        "runtime": {
          "a_cs_equiv.dll": {}
        }
      }
    }
  },
  "libraries": {
    "a_cs_equiv/1.0.0": {
      "type": "project",
      "serviceable": false,
      "sha512": ""
    }
  }
}

a_cs_equiv.deps.json

{
  "runtimeOptions": {
    "tfm": "net8.0",
    "framework": {
      "name": "Microsoft.NETCore.App",
      "version": "8.0.0"
    },
    "configProperties": {
      "System.Runtime.Serialization.EnableUnsafeBinaryFormatterSerialization": false
    }
  }
}

a_cs_equiv.runtimeconfig.json

odd 7
even 8

actual.cs.txt

<Project Sdk="Microsoft.NET.Sdk">
  <PropertyGroup>
    <OutputType>Exe</OutputType>
    <TargetFramework>net8.0</TargetFramework>
    <ImplicitUsings>disable</ImplicitUsings>
    <Nullable>disable</Nullable>
    <AssemblyName>a_cs_equiv</AssemblyName>
    <WarningLevel>0</WarningLevel>
    <EnableDefaultCompileItems>false</EnableDefaultCompileItems>
  </PropertyGroup>
  <ItemGroup>
    <Compile Include="output_emitted.cs" />
  </ItemGroup>
</Project>

koru.csproj

//------------------------------------------------------------------------------
// <auto-generated>
//     This code was generated by a tool.
//
//     Changes to this file may cause incorrect behavior and will be lost if
//     the code is regenerated.
// </auto-generated>
//------------------------------------------------------------------------------

using System;
using System.Reflection;

[assembly: System.Reflection.AssemblyCompanyAttribute("a_cs_equiv")]
[assembly: System.Reflection.AssemblyConfigurationAttribute("Debug")]
[assembly: System.Reflection.AssemblyFileVersionAttribute("1.0.0.0")]
[assembly: System.Reflection.AssemblyInformationalVersionAttribute("1.0.0+7c0d9582d1eb20b955d8d738392d413fc20d4a16")]
[assembly: System.Reflection.AssemblyProductAttribute("a_cs_equiv")]
[assembly: System.Reflection.AssemblyTitleAttribute("a_cs_equiv")]
[assembly: System.Reflection.AssemblyVersionAttribute("1.0.0.0")]

// Generated by the MSBuild WriteCodeFragment class.

obj/Debug/net8.0/koru.AssemblyInfo.cs

fa089d3ad8a8b936c7f28ae6bf470b231b6c626f753b342560218119d90f917e

obj/Debug/net8.0/koru.AssemblyInfoInputs.cache

is_global = true
build_property.TargetFramework = net8.0
build_property.TargetPlatformMinVersion = 
build_property.UsingMicrosoftNETSdkWeb = 
build_property.ProjectTypeGuids = 
build_property.InvariantGlobalization = 
build_property.PlatformNeutralAssembly = 
build_property.EnforceExtendedAnalyzerRules = 
build_property._SupportedPlatformList = Linux,macOS,Windows
build_property.RootNamespace = koru
build_property.ProjectDir = /Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/
build_property.EnableComHosting = 
build_property.EnableGeneratedComInterfaceComImportInterop = 
build_property.EffectiveAnalysisLevelStyle = 8.0
build_property.EnableCodeStyleSeverity =

obj/Debug/net8.0/koru.GeneratedMSBuildEditorConfig.editorconfig

5be0995b741828a5c320155d1f80abdffa79d05541ea191d12e3a61e37fca459

obj/Debug/net8.0/koru.csproj.CoreCompileInputs.cache

/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/obj/Debug/net8.0/koru.GeneratedMSBuildEditorConfig.editorconfig
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/obj/Debug/net8.0/koru.AssemblyInfoInputs.cache
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/obj/Debug/net8.0/koru.AssemblyInfo.cs
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/obj/Debug/net8.0/koru.csproj.CoreCompileInputs.cache
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/obj/Debug/net8.0/koru.sourcelink.json
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/a_cs_equiv
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/obj/Debug/net8.0/a_cs_equiv.dll
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/obj/Debug/net8.0/refint/a_cs_equiv.dll
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/obj/Debug/net8.0/a_cs_equiv.pdb
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/a_cs_equiv.deps.json
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/obj/Debug/net8.0/koru.genruntimeconfig.cache
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/a_cs_equiv.runtimeconfig.json
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/a_cs_equiv.dll
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/obj/Debug/net8.0/ref/a_cs_equiv.dll
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/a_cs_equiv.pdb

obj/Debug/net8.0/koru.csproj.FileListAbsolute.txt

468e4eeb2ec788791b35ed0dca39282f7249442beccea65d1c2e140de308abae

obj/Debug/net8.0/koru.genruntimeconfig.cache

{"documents":{"/Users/larsde/src/koru/*":"https://raw.githubusercontent.com/korulang/koru/7c0d9582d1eb20b955d8d738392d413fc20d4a16/*"}}

obj/Debug/net8.0/koru.sourcelink.json

{
  "format": 1,
  "restore": {
    "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/koru.csproj": {}
  },
  "projects": {
    "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/koru.csproj": {
      "version": "1.0.0",
      "restore": {
        "projectUniqueName": "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/koru.csproj",
        "projectName": "a_cs_equiv",
        "projectPath": "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/koru.csproj",
        "packagesPath": "/Users/larsde/.nuget/packages/",
        "outputPath": "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/obj/",
        "projectStyle": "PackageReference",
        "configFilePaths": [
          "/Users/larsde/.nuget/NuGet/NuGet.Config"
        ],
        "originalTargetFrameworks": [
          "net8.0"
        ],
        "sources": {
          "/opt/homebrew/Cellar/dotnet/9.0.0/libexec/library-packs": {},
          "https://api.nuget.org/v3/index.json": {}
        },
        "frameworks": {
          "net8.0": {
            "targetAlias": "net8.0",
            "projectReferences": {}
          }
        },
        "warningProperties": {
          "warnAsError": [
            "NU1605"
          ]
        },
        "restoreAuditProperties": {
          "enableAudit": "true",
          "auditLevel": "low",
          "auditMode": "all"
        },
        "SdkAnalysisLevel": "9.0.100"
      },
      "frameworks": {
        "net8.0": {
          "targetAlias": "net8.0",
          "imports": [
            "net461",
            "net462",
            "net47",
            "net471",
            "net472",
            "net48",
            "net481"
          ],
          "assetTargetFallback": true,
          "warn": true,
          "downloadDependencies": [
            {
              "name": "Microsoft.AspNetCore.App.Ref",
              "version": "[8.0.11, 8.0.11]"
            },
            {
              "name": "Microsoft.NETCore.App.Host.osx-arm64",
              "version": "[8.0.11, 8.0.11]"
            },
            {
              "name": "Microsoft.NETCore.App.Ref",
              "version": "[8.0.11, 8.0.11]"
            }
          ],
          "frameworkReferences": {
            "Microsoft.NETCore.App": {
              "privateAssets": "all"
            }
          },
          "runtimeIdentifierGraphPath": "/opt/homebrew/Cellar/dotnet/9.0.0/libexec/sdk/9.0.100/PortableRuntimeIdentifierGraph.json"
        }
      }
    }
  }
}

obj/koru.csproj.nuget.dgspec.json

<?xml version="1.0" encoding="utf-8" standalone="no"?>
<Project ToolsVersion="14.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
  <PropertyGroup Condition=" '$(ExcludeRestorePackageImports)' != 'true' ">
    <RestoreSuccess Condition=" '$(RestoreSuccess)' == '' ">True</RestoreSuccess>
    <RestoreTool Condition=" '$(RestoreTool)' == '' ">NuGet</RestoreTool>
    <ProjectAssetsFile Condition=" '$(ProjectAssetsFile)' == '' ">$(MSBuildThisFileDirectory)project.assets.json</ProjectAssetsFile>
    <NuGetPackageRoot Condition=" '$(NuGetPackageRoot)' == '' ">/Users/larsde/.nuget/packages/</NuGetPackageRoot>
    <NuGetPackageFolders Condition=" '$(NuGetPackageFolders)' == '' ">/Users/larsde/.nuget/packages/</NuGetPackageFolders>
    <NuGetProjectStyle Condition=" '$(NuGetProjectStyle)' == '' ">PackageReference</NuGetProjectStyle>
    <NuGetToolVersion Condition=" '$(NuGetToolVersion)' == '' ">6.12.0</NuGetToolVersion>
  </PropertyGroup>
  <ItemGroup Condition=" '$(ExcludeRestorePackageImports)' != 'true' ">
    <SourceRoot Include="/Users/larsde/.nuget/packages/" />
  </ItemGroup>
</Project>

obj/koru.csproj.nuget.g.props

<?xml version="1.0" encoding="utf-8" standalone="no"?>
<Project ToolsVersion="14.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003" />

obj/koru.csproj.nuget.g.targets

{
  "version": 3,
  "targets": {
    "net8.0": {}
  },
  "libraries": {},
  "projectFileDependencyGroups": {
    "net8.0": []
  },
  "packageFolders": {
    "/Users/larsde/.nuget/packages/": {}
  },
  "project": {
    "version": "1.0.0",
    "restore": {
      "projectUniqueName": "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/koru.csproj",
      "projectName": "a_cs_equiv",
      "projectPath": "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/koru.csproj",
      "packagesPath": "/Users/larsde/.nuget/packages/",
      "outputPath": "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/obj/",
      "projectStyle": "PackageReference",
      "configFilePaths": [
        "/Users/larsde/.nuget/NuGet/NuGet.Config"
      ],
      "originalTargetFrameworks": [
        "net8.0"
      ],
      "sources": {
        "/opt/homebrew/Cellar/dotnet/9.0.0/libexec/library-packs": {},
        "https://api.nuget.org/v3/index.json": {}
      },
      "frameworks": {
        "net8.0": {
          "targetAlias": "net8.0",
          "projectReferences": {}
        }
      },
      "warningProperties": {
        "warnAsError": [
          "NU1605"
        ]
      },
      "restoreAuditProperties": {
        "enableAudit": "true",
        "auditLevel": "low",
        "auditMode": "all"
      },
      "SdkAnalysisLevel": "9.0.100"
    },
    "frameworks": {
      "net8.0": {
        "targetAlias": "net8.0",
        "imports": [
          "net461",
          "net462",
          "net47",
          "net471",
          "net472",
          "net48",
          "net481"
        ],
        "assetTargetFallback": true,
        "warn": true,
        "downloadDependencies": [
          {
            "name": "Microsoft.AspNetCore.App.Ref",
            "version": "[8.0.11, 8.0.11]"
          },
          {
            "name": "Microsoft.NETCore.App.Host.osx-arm64",
            "version": "[8.0.11, 8.0.11]"
          },
          {
            "name": "Microsoft.NETCore.App.Ref",
            "version": "[8.0.11, 8.0.11]"
          }
        ],
        "frameworkReferences": {
          "Microsoft.NETCore.App": {
            "privateAssets": "all"
          }
        },
        "runtimeIdentifierGraphPath": "/opt/homebrew/Cellar/dotnet/9.0.0/libexec/sdk/9.0.100/PortableRuntimeIdentifierGraph.json"
      }
    }
  }
}

obj/project.assets.json

{
  "version": 2,
  "dgSpecHash": "DPIKz4l0fig=",
  "success": true,
  "projectFilePath": "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_145_when_guard_modulo_payload/koru.csproj",
  "expectedPackageFiles": [
    "/Users/larsde/.nuget/packages/microsoft.netcore.app.ref/8.0.11/microsoft.netcore.app.ref.8.0.11.nupkg.sha512",
    "/Users/larsde/.nuget/packages/microsoft.aspnetcore.app.ref/8.0.11/microsoft.aspnetcore.app.ref.8.0.11.nupkg.sha512",
    "/Users/larsde/.nuget/packages/microsoft.netcore.app.host.osx-arm64/8.0.11/microsoft.netcore.app.host.osx-arm64.8.0.11.nupkg.sha512"
  ],
  "logs": []
}

obj/project.nuget.cache

static class main_module {
  public static void __koru_stdout_write(dynamic s) => global::System.Console.Out.Write(s);
  public static void __koru_stderr_write(dynamic s) => global::System.Console.Error.Write(s);
  public static class fetch_event {
    public struct Input {
      public long id;
    }
    public struct Output {
      public string tag;
      public dynamic found;
      public dynamic missing;
    }
    public static Output handler(Input __koru_input) {
      var id = __koru_input.id;
if (id == 1) {
        {         return new Output { tag = "found", found = new { n = 7, tag = 1 } };
 }
    } else {
        {         return new Output { tag = "found", found = new { n = 8, tag = 2 } };
 }
    }

      return default;
    }
  }
  public static class ln_event {
    public struct Input {
      public dynamic expr;
      public dynamic invocation;
      public dynamic item;
      public dynamic program;
      public dynamic reporter;
      public dynamic allocator;
    }
    public static dynamic handler(Input __koru_input) {
      var expr = __koru_input.expr;
      var invocation = __koru_input.invocation;
      var item = __koru_input.item;
      var program = __koru_input.program;
      var reporter = __koru_input.reporter;
      var allocator = __koru_input.allocator;
      throw new global::System.Exception("ln: [transform] tor is lowered at compile time and must never be called");

    }
  }
  public static class if_event {
    public struct Input {
      public dynamic expr;
    }
    public struct Output {
      public string tag;
      public dynamic then;
      public dynamic @else;
    }
    public static Output handler(Input __koru_input) {
      var expr = __koru_input.expr;
      throw new global::System.Exception("if: |template| proc is inlined at call sites and must never be called");
    }
  }
  public static void flow0() {
    var result_0 = main_module.fetch_event.handler(new fetch_event.Input { id = (long)(1)});
    var __matched_1 = false;
    if (!__matched_1 && result_0.tag == "found") {
      var n = result_0.found.n;
      if (n % 2 != 0) {
        __matched_1 = true;
__koru_stdout_write("odd " + (n) + "\n");
      }
    }
    if (!__matched_1 && result_0.tag == "found") {
      var n = result_0.found.n;
      __matched_1 = true;
__koru_stdout_write("even " + (n) + "\n");
    }
    if (!__matched_1 && result_0.tag == "missing") {
      __matched_1 = true;
__koru_stdout_write("nope" + "\n");
    }
  }
  public static void flow1() {
    var result_2 = main_module.fetch_event.handler(new fetch_event.Input { id = (long)(2)});
    var __matched_3 = false;
    if (!__matched_3 && result_2.tag == "found") {
      var n = result_2.found.n;
      if (n % 2 == 0) {
        __matched_3 = true;
__koru_stdout_write("even " + (n) + "\n");
      }
    }
    if (!__matched_3 && result_2.tag == "found") {
      var n = result_2.found.n;
      __matched_3 = true;
__koru_stdout_write("odd " + (n) + "\n");
    }
    if (!__matched_3 && result_2.tag == "missing") {
      __matched_3 = true;
__koru_stdout_write("nope" + "\n");
    }
  }
}

static class Program {
  static void Main() {
    main_module.flow0();
    main_module.flow1();
  }
}

output_emitted.cs

Actual

odd 7
even 8

Expected output

✓ Zig✓ JavaScript✓ C#

odd 7
even 8

Flows

subflow ~fetch click a branch to expand · @labels scroll to their anchor

if (id == 1)

flow ~fetch click a branch to expand · @labels scroll to their anchor

fetch (id: 1)

flow ~fetch click a branch to expand · @labels scroll to their anchor

fetch (id: 2)

Test Configuration

MUST_RUN LANGUAGES: zig js cs

← 144 modulo if dispatch 146 body modulo signed →