annotate tests/fromStringErr.ur @ 2039:3d10ae22abd6

Default 'jsFunc' for less-safe FFI
author Adam Chlipala <adam@chlipala.net>
date Wed, 16 Jul 2014 04:06:11 -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>