prog: rework validation code

The current code is total, unstructured mess.
Since we now have 1:1 type -> arg correspondence,
rework validation around args. This makes code
much cleaner and 30% shorter.

1 files changed, 1 insertions, 0 deletions

diff --git a/prog/prog.go b/prog/prog.go
index 19f5e319f..3474950b9 100644
--- a/prog/prog.go
+++ b/prog/prog.go
@@ -21,6 +21,7 @@ type Call struct {
 type Arg interface {
 	Type() Type
 	Size() uint64
+	validate(ctx *validCtx) error
 }
 
 type ArgCommon struct {