From d6453242560cfeaa31e74b2c77423b4ada288ac6 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 15 May 2016 09:47:49 -0400 Subject: Support for tags --- tests/meta.ur | 48 ++++++++++++++++++++++++++++++++++++++++++++++++ tests/meta.urp | 4 ++++ 2 files changed, 52 insertions(+) create mode 100644 tests/meta.ur create mode 100644 tests/meta.urp (limited to 'tests') diff --git a/tests/meta.ur b/tests/meta.ur new file mode 100644 index 00000000..f8d12183 --- /dev/null +++ b/tests/meta.ur @@ -0,0 +1,48 @@ +fun main () : transaction page = + let + fun handler r = return + + + Testing <meta> tags + + +

Did it work?

+ + + + fun handler2 r = + case checkMeta r.Nam of + None => error Oh, that name won't do at all. + | Some name => + return + + + Testing <meta> tags + + +

Did it work?

+ + + in + return + + + Testing <meta> tags + + +

Did it work?

+ +
+ Name:
+ Content:
+ + + +
+ Name:
+ Content:
+ + + +
+ end diff --git a/tests/meta.urp b/tests/meta.urp new file mode 100644 index 00000000..95ede782 --- /dev/null +++ b/tests/meta.urp @@ -0,0 +1,4 @@ +rewrite all Meta/* +allow meta viewport + +meta -- cgit v1.2.3