sdk executable service bodies

2026-04-03 09:15:28 +01:00 · 2026-04-03 09:15:28 +01:00 · 18b1967e6d
commit 18b1967e6d
parent 0d01c0a522
2 changed files with 2 additions and 4 deletions
--- a/prometeu-compiler/frontends/prometeu-frontend-pbs/src/main/resources/stdlib/1/sdk/input/main.pbs
+++ b/prometeu-compiler/frontends/prometeu-frontend-pbs/src/main/resources/stdlib/1/sdk/input/main.pbs
@ -80,13 +80,11 @@ declare service Input
 {
    fn pad() -> InputPad
    {
-      let pad = LowInput.pad();
-      return pad;
+      return LowInput.pad();
    }

    fn touch() -> InputTouch
    {
-      let touch = LowInput.touch();
-      return touch;
+      return LowInput.touch();
    }
 }
--- a/test-projects/main/cartridge/program.pbx
+++ b/test-projects/main/cartridge/program.pbx