diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-07 12:19:15 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 12:19:15 -0400 |
| commit | 5336dbf5369f77fba0f498a03523faebeed9c5b2 (patch) | |
| tree | fddd00c363f5625d7d26f043dc903a4d01cf297f /tests/fromStringErr.ur | |
| parent | 1f893091967ed6a9bd8469a62ddf4017e87d563d (diff) | |
Error-parsing floats and bools
Diffstat (limited to 'tests/fromStringErr.ur')
| -rw-r--r-- | tests/fromStringErr.ur | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/fromStringErr.ur b/tests/fromStringErr.ur index 07899d02..dcc25783 100644 --- a/tests/fromStringErr.ur +++ b/tests/fromStringErr.ur @@ -1,3 +1,5 @@ fun main () : transaction page = return <html><body> 3 = {cdata (show _ (readError _ "3" : int))}<br/> + 12.12 = {cdata (show _ (readError _ "12.12" : float))}<br/> + True = {cdata (show _ (readError _ "True" : bool))}<br/> </body></html> |