@@ -84,12 +84,12 @@ var Person = function (value) {
8484 return { ctor: 'Person', value: value };
8585};
8686
87−var showPerson = function (p) {
87+function showPerson(p) {
8888 return (function (_0) {
8989 if (_0.ctor === "Person") {
9090 var _1 = _0.value;
9191 var o = _1;
92− return o.name ++ ", aged " ++ itoa(o.age);
92+ return o.name ++ ", aged " ++ numberToString(o.age);
9393 }
9494 throw "Failed pattern match";
9595 })(p);