[Yhc] Fwd: darcs patch: Add not-yet-working typeOf function for YHC.Dynamic

Can Samuel please have this email set as allowed for this list? ---------- Forwarded message ---------- From: Samuel Bronson <naesten@gmail.com> Date: Sep 24, 2006 7:33 PM Subject: darcs patch: Add not-yet-working typeOf function for YHC.Dynamic To: ndmitchell@gmail.com Sun Sep 24 14:13:22 EDT 2006 Samuel Bronson <naesten@gmail.com> * Add not-yet-working typeOf function for YHC.Dynamic For instance, print (typeOf "Hello!") gave me this output: (TyGen "v300") This reminds me of the impossibility of putting type signatures on arbitrary subexpressions without scoped type variables. (Which wouldn't help here anyway, since data isn't scoped...)