summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-11-25 09:48:23 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-11-25 09:48:23 -0500
commit68e0439b741bf84508f90b42611d681ced933874 (patch)
treeb30db3385f35000cd8cd74718be5c3ce815c0147 /tests
parent44367f408f2b8dd52f780426920e0d196cc52eb2 (diff)
Hint about disallowed attributes
Diffstat (limited to 'tests')
-rw-r--r--tests/vlad2.ur3
-rw-r--r--tests/vlad2.urp2
-rw-r--r--tests/vlad2.urs1
3 files changed, 6 insertions, 0 deletions
diff --git a/tests/vlad2.ur b/tests/vlad2.ur
new file mode 100644
index 00000000..b4f573d2
--- /dev/null
+++ b/tests/vlad2.ur
@@ -0,0 +1,3 @@
+fun main () = return <xml><body><table>
+ <tr> <td align="right">#</td> <td>123</td> </tr>
+</table></body></xml>
diff --git a/tests/vlad2.urp b/tests/vlad2.urp
new file mode 100644
index 00000000..c18469d1
--- /dev/null
+++ b/tests/vlad2.urp
@@ -0,0 +1,2 @@
+
+vlad2
diff --git a/tests/vlad2.urs b/tests/vlad2.urs
new file mode 100644
index 00000000..6ac44e0b
--- /dev/null
+++ b/tests/vlad2.urs
@@ -0,0 +1 @@
+val main : unit -> transaction page