annotate tests/fromStringErr.ur @ 1714:d6c45026240d

Do a lot more type simplification for error messages
author Adam Chlipala <adam@chlipala.net>
date Mon, 16 Apr 2012 09:46:42 -0400
parents df02b09ff1ed
children
rev   line source
adamc@292 1 fun main () : transaction page = return <html><body>
adamc@292 2 3 = {cdata (show _ (readError _ "3" : int))}<br/>
adamc@293 3 12.12 = {cdata (show _ (readError _ "12.12" : float))}<br/>
adamc@294 4 Hi = {cdata (show _ (readError _ "Hi" : string))}<br/>
adamc@293 5 True = {cdata (show _ (readError _ "True" : bool))}<br/>
adamc@292 6 </body></html>