From 97cc749872a8baf53bb34ef1b536b82f6aa7f1c7 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 13 Jul 2008 16:11:25 -0400 Subject: Proper handling of non-function-call links --- tests/links.lac | 24 ++++++++++++++++++++++++ tests/linksF.lac | 24 ++++++++++++++++++++++++ 2 files changed, 48 insertions(+) create mode 100644 tests/links.lac create mode 100644 tests/linksF.lac (limited to 'tests') diff --git a/tests/links.lac b/tests/links.lac new file mode 100644 index 00000000..7a7b1e98 --- /dev/null +++ b/tests/links.lac @@ -0,0 +1,24 @@ +val pC : xhtml = +

Page C

+ + +val pB : xhtml = +

Page B

+ +
  • C
    • + + +val pA : xhtml = +

    Page A

    + +
  • B
    • +
  • C
    • + + +val main : unit -> xhtml = fn () => +

    Main

    + +
  • A
    • +
  • B
    • +
  • C
    • + diff --git a/tests/linksF.lac b/tests/linksF.lac new file mode 100644 index 00000000..0bcfe1d1 --- /dev/null +++ b/tests/linksF.lac @@ -0,0 +1,24 @@ +val pC : unit -> xhtml = fn () => +

    Page C

    + + +val pB : unit -> xhtml = fn () => +

    Page B

    + +
  • C
    • + + +val pA : unit -> xhtml = fn () => +

    Page A

    + +
  • B
    • +
  • C
    • + + +val main : unit -> xhtml = fn () => +

    Main

    + +
  • A
    • +
  • B
    • +
  • C
    • + -- cgit v1.2.3