adamc@292: fun main () : transaction page = return adamc@292: 3 = {cdata (show _ (readError _ "3" : int))}
adamc@293: 12.12 = {cdata (show _ (readError _ "12.12" : float))}
adamc@294: Hi = {cdata (show _ (readError _ "Hi" : string))}
adamc@293: True = {cdata (show _ (readError _ "True" : bool))}
adamc@292: