MathAction #272 functions +-> and blocks of instructions

• FrontPage
  • IssueTracker
    • #272 functions +-> and blocks of instructions <-- You are here.

(1) -> f x == 
 a := 3 
 x + a

f 3

Compiling function f with type PositiveInteger -> PositiveInteger

g := x +-> (x+2 ; x+a)

g 3

are right functions. But I can't use the function h. I get an error - h 3 : |a| is not of type list

h := x +-> (a := 3 ; x+a)

h 3