@@ -84,12 +84,12 @@ var Person = function (value) {
84 return { ctor: 'Person', value: value };
84 return { ctor: 'Person', value: value };
87−var showPerson = function (p) {
87+function showPerson(p) {
88 return (function (_0) {
88 return (function (_0) {
89 if (_0.ctor === "Person") {
89 if (_0.ctor === "Person") {
90 var _1 = _0.value;
90 var _1 = _0.value;
91 var o = _1;
91 var o = _1;
92− return o.name ++ ", aged " ++ itoa(o.age);
92+ return o.name ++ ", aged " ++ numberToString(o.age);
94 throw "Failed pattern match";
94 throw "Failed pattern match";