annotate tests/fromStringErr.ur @ 1975:0ee44375fe64

Rename datetime type to t in the .urs file.
author Patrick Hurst <phurst@mit.edu>
date Sun, 08 Dec 2013 03:25:31 -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>