diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-07 11:53:30 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 11:53:30 -0400 |
| commit | f8d1a7fcf13f655200be366733c24233b5df7f9a (patch) | |
| tree | d2b1505cfdcef966f5410d29930821ab39fa1818 /tests/show.ur | |
| parent | 9ae8932c978ab9c12f683745b47b3e0898581635 (diff) | |
'read' type class
Diffstat (limited to 'tests/show.ur')
| -rw-r--r-- | tests/show.ur | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/tests/show.ur b/tests/show.ur deleted file mode 100644 index 6a22fe64..00000000 --- a/tests/show.ur +++ /dev/null @@ -1,6 +0,0 @@ -fun main () : transaction page = return <html><body> - 6 = {cdata (show _ 6)}<br/> - 12.34 = {cdata (show _ 12.34)}<br/> - Hi = {cdata (show _ "Hi")}<br/> - False = {cdata (show _ False)}<br/> -</body></html> |