blob: 7500976b7e84f1194c06058dcf4b217304135c8d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
let
var left := "Bonjour"
var right := "Bonjour"
in
(if (left = right) then
print("Same")
else
print("Different");
if (left <> right) then
print("Different")
else
print("Same");
if (left > right) then
print("L > R")
else
print("L <= R");
if (left >= right) then
print("L => R")
else
print("L < R");
if (left < right) then
print("L < R")
else
print("L => R");
if (left <= right) then
print("L <= R")
else
print("L > R"))
end
|
