Extend code samples to be runnable

Author: shaedrich

code-samples/aliasing-iso-to-tag.pony

@@ -1,2 +1,8 @@
-fun test(a: Wombat iso) =>
-  var b: Wombat tag = a // Allowed!
+actor Main
+  new create(env: Env) =>
+    test(Wombat)
+
+  fun test(a: Wombat iso) =>
+    var b: Wombat tag = a // Allowed!
+    
+class Wombat

code-samples/aliasing-multiple-references-to-an-iso-object.pony

@@ -1,2 +1,8 @@
-fun test(a: Wombat iso) =>
-  var b: Wombat iso = a // Not allowed!
+actor Main
+  new create(env: Env) =>
+    test(Wombat)
+
+  fun test(a: Wombat iso) =>
+    var b: Wombat iso = a // Not allowed!
+    
+class Wombat

code-samples/aliasing-trn-to-box.pony

@@ -1,2 +1,8 @@
-fun test(a: Wombat trn) =>
-  var b: Wombat box = a // Allowed!
+actor Main
+  new create(env: Env) =>
+    test(Wombat)
+
+  fun test(a: Wombat trn) =>
+    var b: Wombat box = a // Allowed!
+    
+class Wombat

code-samples/appendices-annotations-empty-with-nosupertype-annotation.pony

@@ -4,4 +4,9 @@ class Foo
   fun foo[A: Any](a: (A | Empty val)) =>
     match consume a
     | let a': A => None
-    end
+    end
+
+actor Main
+  new create(env: Env) =>
+    let foo: Foo = Foo
+    env.out.print(foo.foo[Any]("Something").string())

code-samples/appendices-annotations-likely-and-unlikely-annotations.pony

@@ -1,16 +1,32 @@
-if \likely\ cond then
-  foo
-end
+type T is (U32|U8)
 
-while \unlikely\ cond then
-  bar
-end
+actor Main
+  new create(env: Env) =>
+    let foo = "foo"
+    let bar = "bar"
+    let baz = "baz"
+    var cond = true
+    let obj: U32 = 42
+    let expr: U32 = 42
+  
+    if \likely\ cond then
+      foo
+    end
 
-repeat
-  baz
-until \likely\ cond end
+    cond = false
+    while \unlikely\ cond do
+      bar
+    end
 
-match obj
-| \likely\ expr => foo
-| \unlikely\ let capt: T => bar
-end
+    cond = true
+    repeat
+      baz
+    until \likely\ cond end
+    
+    let res =
+    match obj
+    | \likely\ expr => foo
+    | \unlikely\ let capt: T => bar
+    end
+
+    env.out.print("res = " + res)

code-samples/appendices-annotations-packed-annotation.pony

@@ -1,3 +1,11 @@
 struct \packed\ MyPackedStruct
   var x: U8
-  var y: U32
+  var y: U32
+
+  new create() =>
+    x = 0
+    y = 1
+
+actor Main
+  new create(env: Env) =>
+    env.out.print("{\n\t\"x\": " + MyPackedStruct.x.string() + ",\n\t\"y\": " + MyPackedStruct.y.string() + "\n}")

code-samples/appendices-examples-create-arrays-with-values.pony

@@ -1,5 +1,25 @@
-let dice: Array[U32] = [1; 2; 3
-  4
-  5
-  6
-]
+use "random"
+
+actor Main
+  new create(env: Env) =>
+    let dice: Array[U32] = [1; 2; 3
+      4
+      5
+      6
+    ]
+    Rand.shuffle[U32](dice)
+    for numberOfSpots in dice.values() do
+      env.out.print("You rolled a " + _ordinal(numberOfSpots))
+    end
+  
+  fun _ordinal(number: U32): String =>
+    match number
+    | 1 => "one"
+    | 2 => "two"
+    | 3 => "three"
+    | 4 => "four"
+    | 5 => "five"
+    | 6 => "six"
+    else
+      "out of range"
+    end

code-samples/appendices-examples-enumeration-with-values-with-namespace.pony

@@ -1,3 +1,20 @@
+use "format"
+use "collections/persistent"
+
 primitive Colours
   fun black(): U32 => 0xFF000000
-  fun red(): U32 => 0xFFFF0000
+  fun red(): U32 => 0xFFFF0000
+  
+interface val Applyable
+  fun apply(): U32
+  
+actor Main
+  new create(env: Env) =>
+    let colorMap: Map[String, Applyable] = Map[String, Applyable].concat([
+      ("red", Colours~red())
+      ("black", Colours~black())
+    ].values())
+
+    for (colorName, color) in colorMap.pairs() do
+      env.out.print(colorName + ": #" + Format.int[U32](color(), FormatHexBare))
+    end

code-samples/appendices-examples-enumeration-with-values.pony

@@ -1,2 +1,19 @@
+use "format"
+use "collections/persistent"
+
 primitive Black fun apply(): U32 => 0xFF000000
-primitive Red   fun apply(): U32 => 0xFFFF0000
+primitive Red   fun apply(): U32 => 0xFFFF0000
+
+type Color is (Red | Black)
+
+actor Main
+  new create(env: Env) =>
+
+    let colorMap: Map[String, Color] = Map[String, Color].concat([
+      ("red", Red)
+      ("black", Black)
+    ].values())
+
+    for (colorName, color) in colorMap.pairs() do
+      env.out.print(colorName + ": #" + Format.int[U32](color(), FormatHexBare))
+    end

code-samples/appendices-whitespace-do-a-then-do-a-unary-negation-of-b.pony

@@ -1,2 +1,16 @@
-a
--b
+use "format"
+use "collections/persistent"
+
+primitive Black fun apply(): U32 => 0xFF000000
+primitive Red   fun apply(): U32 => 0xFFFF0000
+
+type Color is (Red | Black)
+
+actor Main
+  new create(env: Env) =>
+    let a: I8 = 1
+    let b: I8 = 3
+    let c: I8 = 
+      a
+      -b
+    env.out.print(c.string())