added some checks to princ-to-string on various labels so the user doesn't have to.
darcs-hash:20090626205336-ac9f3-ee3f141c3af8f7374474667553089f9fbefdcd88.gz
parent
8a00cb9f
Please register or sign in to comment
darcs-hash:20090626205336-ac9f3-ee3f141c3af8f7374474667553089f9fbefdcd88.gz