Skip to content

02_structured_control.md

Latest commit

 

History

History
66 lines (46 loc) · 1.56 KB

02_structured_control.md

File metadata and controls

66 lines (46 loc) · 1.56 KB

FROG logo

Example 02 — Structured Control

Illustrative structured-control slice for the conservative native compilation corridor
FROG — Free Open Graphical Language

Overview

This example illustrates a bounded structured-control slice that remains compatible with the first positive compiler corridor.

Illustrative Shape

selector
   |
   v
 case
 ├── region A: pure arithmetic path
 └── region B: alternate pure arithmetic path
   |
   v
 result

Why this Example Matters

A native compilation corridor must eventually show that structured control can survive the path from validated meaning to backend-family consumption without collapsing into opaque flat execution.

Architectural Reading

  • Expression: explicit control structure
  • Language: structure family, regions, and boundary roles
  • IR: structure-preserving execution-facing representation
  • Lowering: CFG-friendly or equivalent structured lowering
  • Backend contract: explicit control commitments preserved for the consumer

Related Conformance Case

Conformance/valid/compiler/02_structured_control_is_consumable

Summary

This example is the illustrative mirror of the first structured-control positive compiler-corridor anchor.