Fix the type signature of resource logic (#97)

mariari · web-flow · commit 075186865f5d · 2025-05-12T18:43:10.000+02:00
Resource Logics do not take AppData they take the AppData Values in a
list
diff --git a/BaseLayer/ResourceMachine.juvix b/BaseLayer/ResourceMachine.juvix
@@ -158,7 +158,7 @@ with
       isConsumed : Bool;
       consumed : List Resource;
       created : List Resource;
-      appData : AppData;
+      appData : List AppData.Value;
     }
   with
     nullifiers (a : Args) : List Nullifier :=

Original file line number	Diff line number	Diff line change
`@@ -158,7 +158,7 @@ with`
`158`	`158`	`isConsumed : Bool;`
`159`	`159`	`consumed : List Resource;`
`160`	`160`	`created : List Resource;`
`161`		`- appData : AppData;`
	`161`	`+ appData : List AppData.Value;`
`162`	`162`	`}`
`163`	`163`	`with`
`164`	`164`	`nullifiers (a : Args) : List Nullifier :=`