From 26a8eaaa3429aea2e455d18ff9a0f6c661d90cef Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 20 Jul 2008 12:21:30 -0400 Subject: Form submission type-checking --- tests/form.lac | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'tests/form.lac') diff --git a/tests/form.lac b/tests/form.lac index 790dea2a..a046928a 100644 --- a/tests/form.lac +++ b/tests/form.lac @@ -1,6 +1,13 @@ +val handler = fn r => +
  • Name: {cdata r.Nam}
    • +
  • Word: {cdata r.Word}
    • + + val main : unit -> page = fn () => Name:
    - Color:
    + Word:
    + +     -- cgit v1.2.3