<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">I'm happy to take it out, but I tried eliminating all of them from staticTypes.grace (see the file I attached), and the result was that the program never executed -- it seemed to somehow die while executing the checker.  I don't understand at all why this happened, but that was my major frustration.  It's especially frustrating in that the code before adding the arity check seemed to work fine, but the new version does not, even after eliminating all of those else statements!<div><br><div apple-content-edited="true">
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0; "><div>Kim</div><div><br></div><div>P.S.  I just realized that I didn't include my rewrite of staticTypes.grace.  I've added it here.</div><div></div></span></div></div></body></html>