annotate tests/fromStringErr.ur @ 1152:e6eabf0c5ccc

Prototype memmem()
author Adam Chlipala <adamc@hcoop.net>
date Sat, 06 Feb 2010 16:54:13 -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>