# HG changeset patch # User Adam Chlipala # Date 1220804376 14400 # Node ID df02b09ff1ed74d319e75b48b2c540f115e0f3ec # Parent 711aad3869d1b6090536f7b886a9f031a04adcdb Error-parsing strings diff -r 711aad3869d1 -r df02b09ff1ed tests/fromStringErr.ur --- a/tests/fromStringErr.ur Sun Sep 07 12:19:15 2008 -0400 +++ b/tests/fromStringErr.ur Sun Sep 07 12:19:36 2008 -0400 @@ -1,5 +1,6 @@ fun main () : transaction page = return 3 = {cdata (show _ (readError _ "3" : int))}
12.12 = {cdata (show _ (readError _ "12.12" : float))}
+ Hi = {cdata (show _ (readError _ "Hi" : string))}
True = {cdata (show _ (readError _ "True" : bool))}