@@ -84,16 +84,13 @@ var Person = function (value) {
8484 return { ctor: 'Person', value: value };
8585};
8686
87−function showPerson(p) {
88− return (function (_0) {
89− if (_0.ctor === "Person") {
90− var _1 = _0.value;
91− var o = _1;
92− return o.name ++ ", aged " ++ numberToString(o.age);
93− }
94− throw "Failed pattern match";
95− })(p);
96−};
87+function showPerson(p) {
88+ if (p.ctor === "Person") {
89+ return p.value.name + ", aged " + itoa(p.value.age)
90+ };
91+ throw "Failed pattern match"
92+}
93+
9794```
9895
9996## Type System