Pascal-Chapter Loops

Chapter 14 : Loops

Captain, now that we left the atmosphere of earth, we should scan nearby star systems for alien activity. We know that the Xenomorphs like planets with high density, usually above 100 g/cm³ and that their machines trigger atmospheric activity. You should trigger a scan with these parameters.

LIGO integrates 2 kinds of loops. General while iterations and bounded for loops.

While loops

While loops are defined as follows :

while <condition> block {

⚠️ If the while condition is never met, the block will repeatedly be evaluated until the contract run out of gas or fails.

ℹ️ About gas : The smart contracts interpreter uses the concept of gas. Each low-level instruction evaluation burns an amount of gas which is crafted to be proportional to the actual execution time and if an execution exceeds its allowed gas consumption, it is stopped immediately and the effects of the execution are rolled back. The transaction is still included in the block and the fees are taken, to prevent the nodes from being spammed with failing transactions. In Tezos, the economic protocol sets the gas limit per block and for each transaction, and the emitter of the transaction also set an upper bound to the gas consumption for its transaction. The economic protocol does not require the transaction fee to be proportional to the gas upper bound, however the default strategy of the baking software (that forges blocks) provided with Tezos current implementation does require it.

For Loops

For-loops iterates over bounded intervals :

for <variable assignment> to <upper bound> block {

For instance :

var acc : int := 0;
for i := 1 to 10 block {
acc := acc + i


For-loops can also iterate through the contents of a collection, that is, a list, a set or a map. This is done with :

for <element var> in <collection type> <collection var> block {

Here is an example where the integers in a list are summed up.

function sum_list (var l : list (int)) : int is block {
var total : int := 0;
for i in list l block {
total := total + i
} with total

Same from sets with for i in set s and maps with for key -> value in map m

Your mission

1- Check the proposed code in the editor. Notice that we created a star map as a list of planet records.

2- Notice the unimplemented scan function. Suppose this function is called from the main function onto the star_map variable. Code a for loop that iterates through each record of the list l (given as parameter of the scan function).

3- Inside the loop, code a conditional for density superior to 100 and atmospheric_activity true. If so, assign the planet to destination.


Type your solution above and validate your answer