annotate tests/fromStringErr.ur @ 2097:9272476e2a1c

Client-side conversion of string to bool
author Adam Chlipala <adam@chlipala.net>
date Thu, 25 Dec 2014 18:32:27 -0500
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>