30 lines
624 B
Plaintext
30 lines
624 B
Plaintext
type rec: [character: x; integer: y]
|
|
|
|
type T2: rec -> integer
|
|
|
|
type main: string -> integer
|
|
function entry: main
|
|
function bar: T2
|
|
|
|
bar (r,s) := {
|
|
return 0;
|
|
}
|
|
|
|
entry (arg) := {
|
|
[ integer: x ; integer: y; integer: z;integer: t]
|
|
while ( (!(x = y)) < ( z = t ) ) {
|
|
x := x;
|
|
while ( (x < y) = ( z < t ) ) {
|
|
y := y;
|
|
}
|
|
(*
|
|
if ( (x = y) = ( z < t ) ) then {
|
|
x := 1;
|
|
} else {
|
|
x := 1;
|
|
}
|
|
*)
|
|
}
|
|
return 0;
|
|
}
|