✓
Passing This code compiles and runs correctly.
Code
// Pins: `==` and `!=` on runtime strings in an `if` condition, on BOTH
// targets. Koru's `==` on strings is VALUE equality — the comptime fold
// (comptime_eval.zig), the interpreter, and the JS target already agreed;
// this pins the Zig emission (`@import("std").mem.eql`) into the same
// meaning. The shape is 320_128's if-produce with a string param — the
// command-dispatch idiom (route a runtime word, not a numeric code).
import std/io
pub tor route { cmd: string } -> string
route = if(cmd == "start")
| then -> "starting"
| else -> "unknown"
pub tor gate { word: string } -> i64
gate = if(word != "secret" and word != "admin")
| then -> 0
| else -> 1
route(cmd: "start"): r |> std/io:print.ln(r)
route(cmd: "stop"): r2 |> std/io:print.ln(r2)
gate(word: "guest"): a |> std/io:print.ln("{{ a:d }}")
gate(word: "secret"): b |> std/io:print.ln("{{ b:d }}")
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": ""
}
}
}{
"runtimeOptions": {
"tfm": "net8.0",
"framework": {
"name": "Microsoft.NETCore.App",
"version": "8.0.0"
},
"configProperties": {
"System.Runtime.Serialization.EnableUnsafeBinaryFormatterSerialization": false
}
}
}starting
unknown
0
1
<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>
//------------------------------------------------------------------------------
// <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.
fa089d3ad8a8b936c7f28ae6bf470b231b6c626f753b342560218119d90f917e
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_140_string_equality_if_dispatch/
build_property.EnableComHosting =
build_property.EnableGeneratedComInterfaceComImportInterop =
build_property.EffectiveAnalysisLevelStyle = 8.0
build_property.EnableCodeStyleSeverity =
5be0995b741828a5c320155d1f80abdffa79d05541ea191d12e3a61e37fca459
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/obj/Debug/net8.0/koru.GeneratedMSBuildEditorConfig.editorconfig
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/obj/Debug/net8.0/koru.AssemblyInfoInputs.cache
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/obj/Debug/net8.0/koru.AssemblyInfo.cs
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/obj/Debug/net8.0/koru.csproj.CoreCompileInputs.cache
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/obj/Debug/net8.0/koru.sourcelink.json
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/a_cs_equiv
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/obj/Debug/net8.0/a_cs_equiv.dll
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/obj/Debug/net8.0/refint/a_cs_equiv.dll
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/obj/Debug/net8.0/a_cs_equiv.pdb
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/a_cs_equiv.deps.json
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/obj/Debug/net8.0/koru.genruntimeconfig.cache
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/a_cs_equiv.runtimeconfig.json
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/a_cs_equiv.dll
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/obj/Debug/net8.0/ref/a_cs_equiv.dll
/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/a_cs_equiv.pdb
0fa6fdc75e77b5dde7687765b3444667fe1eadbc0eee360478a457317470b652
{"documents":{"/Users/larsde/src/koru/*":"https://raw.githubusercontent.com/korulang/koru/7c0d9582d1eb20b955d8d738392d413fc20d4a16/*"}}{
"format": 1,
"restore": {
"/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/koru.csproj": {}
},
"projects": {
"/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/koru.csproj": {
"version": "1.0.0",
"restore": {
"projectUniqueName": "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/koru.csproj",
"projectName": "a_cs_equiv",
"projectPath": "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/koru.csproj",
"packagesPath": "/Users/larsde/.nuget/packages/",
"outputPath": "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/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"
}
}
}
}
}<?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><?xml version="1.0" encoding="utf-8" standalone="no"?>
<Project ToolsVersion="14.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003" />{
"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_140_string_equality_if_dispatch/koru.csproj",
"projectName": "a_cs_equiv",
"projectPath": "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/koru.csproj",
"packagesPath": "/Users/larsde/.nuget/packages/",
"outputPath": "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/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"
}
}
}
}{
"version": 2,
"dgSpecHash": "gGeiV0pjBdQ=",
"success": true,
"projectFilePath": "/Users/larsde/src/koru/tests/regression/320_CONTROL_FLOW/320_140_string_equality_if_dispatch/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": []
}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 route_event {
public struct Input {
public string cmd;
}
public static string handler(Input __koru_input) {
var cmd = __koru_input.cmd;
if (cmd == "start") {
{ return "starting";
}
} else {
{ return "unknown";
}
}
return default;
}
}
public static class gate_event {
public struct Input {
public string word;
}
public static long handler(Input __koru_input) {
var word = __koru_input.word;
if (word != "secret" && word != "admin") {
{ return 0;
}
} else {
{ return 1;
}
}
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 r = main_module.route_event.handler(new route_event.Input { cmd = (string)("start")});
__koru_stdout_write("" + (r) + "\n");
}
public static void flow1() {
var r2 = main_module.route_event.handler(new route_event.Input { cmd = (string)("stop")});
__koru_stdout_write("" + (r2) + "\n");
}
public static void flow2() {
var a = main_module.gate_event.handler(new gate_event.Input { word = (string)("guest")});
__koru_stdout_write("" + (a) + "\n");
}
public static void flow3() {
var b = main_module.gate_event.handler(new gate_event.Input { word = (string)("secret")});
__koru_stdout_write("" + (b) + "\n");
}
}
static class Program {
static void Main() {
main_module.flow0();
main_module.flow1();
main_module.flow2();
main_module.flow3();
}
}
Actual
starting
unknown
0
1
Expected output
✓ Zig✓ JavaScript✓ C#starting
unknown
0
1
Flows
subflow ~route click a branch to expand · @labels scroll to their anchor
if (cmd == "start")
subflow ~gate click a branch to expand · @labels scroll to their anchor
if (word != "secret" and word != "admin")
flow ~route click a branch to expand · @labels scroll to their anchor
route (cmd: "start")
flow ~route click a branch to expand · @labels scroll to their anchor
route (cmd: "stop")
flow ~gate click a branch to expand · @labels scroll to their anchor
gate (word: "guest")
flow ~gate click a branch to expand · @labels scroll to their anchor
gate (word: "secret")
Test Configuration
MUST_RUN LANGUAGES: zig js cs