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