progs/fun2/sqr.fun
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 03 Sep 2021 23:53:31 +0100
changeset 831 2e670750db18
parent 820 9d5e4fa0c64d
child 854 c9e2568d4729
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
820
9d5e4fa0c64d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     1
val Max : Int = 10;
9d5e4fa0c64d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
9d5e4fa0c64d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
def sqr(x: Int) : Int = x * x;
9d5e4fa0c64d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
9d5e4fa0c64d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
def all(n: Int) : Void = {
9d5e4fa0c64d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
  if n <= Max
9d5e4fa0c64d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
  then print_int(sqr(n)) ; all(n + 1)
9d5e4fa0c64d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
  else skip()
9d5e4fa0c64d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
};
9d5e4fa0c64d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
9d5e4fa0c64d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
all(0)
9d5e4fa0c64d updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12