I have Googled every combination of Fraps and HDMI that I can think of and have yet to come up with one example of a person successfully recording from an outside source using HDMI.
It's not that I don't believe you but I'm skeptical until I see a working example of someone doing this.

Or check out my new webcomic: http://selfcentent.com/







