X-Git-Url: https://ruin.nu/git/?p=proglang.git;a=blobdiff_plain;f=examples%2FTypeCorrect;fp=examples%2FTypeCorrect;h=85a6b2f109e72002457a4273d1b5fa4019b17485;hp=0000000000000000000000000000000000000000;hb=80dc2356f0ac48fc4e026e549f85ad1a1d01834b;hpb=97b7064110b10d38c0f75502d08a95550a9a04ba

diff --git a/examples/TypeCorrect b/examples/TypeCorrect
new file mode 100644
index 0000000..85a6b2f
--- /dev/null
+++ b/examples/TypeCorrect
@@ -0,0 +1,26 @@
+int a = readInt;
+bool b = readBool;
+
+if (a < 3) {
+	print -a;
+}
+else
+	print a;
+
+while (! b){
+	int a = a * 42 + readInt;
+	if ( a == 13) b = false;
+}
+
+while ( a-- > 0) {
+	print a;
+}
+
+while ( b = readBool){
+	int c = readInt;
+	print c*a;
+}
+
+bool c = readBool;
+
+if (c) print 42;