Hi, parentheses are mandatory in the let term. So, you should write let ($x=input) in tmp:=$x +$x endlet BTW, we moved Asmeta to github: https://github.com/asmeta/asmeta You may want to use the new repository. Best, Paolo
Hi Team I am trying to get the use of the let construct to leverage in some of the use cases I am working on. According to the documentation the syntax is " let(v1=t1,...,vn=tn)in tv1,...,vn endlet " where vi are variables and t1,...,tn, tv1,..,vn are terms. i am trying to run a basic example to confirm how it works however the ASMEE console returns an "encountered " "let "" at line xx column xx. Was expecting one of: .... It seems like the construct is not recognized? what am I missing? asm TestLet...
Hi thank you very much, it worked out Regards Andrea
Hi, if you are using a Sequence, you can get i-th element using the "at" function of the standard library: static at: Prod(Seq(D),Natural) -> D See this ASM model as an example: https://github.com/asmeta/asmeta/blob/master/asm_examples/examples/simple_example/swapSortOnSeq.asm Best, Paolo
Hello Everyone I am trying to use a static list of integers e.g: list = [1,2,3,4] like an array of integers where at each machine step I pickup the next integer in the list. I cannot figure out what's the syntax to get the an alement based on its position within the array/list Is there any documentation available? thanks and Regards Andrea