From 55a669bc95cb2831f5a4fc084d2aa828863a1f07 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Aug 2010 14:52:33 -0400 Subject: HTML comments --- tests/xcomments.ur | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'tests') diff --git a/tests/xcomments.ur b/tests/xcomments.ur index 61a0b34b..83608ff9 100644 --- a/tests/xcomments.ur +++ b/tests/xcomments.ur @@ -4,5 +4,7 @@ fun foo () = Hi! fun main () = return A (* B *) C (* D (* E *) F *) D
- A (* B *) C D (* E *) F {foo ()} + A (* B *) C D (* E *) F {foo ()} + A C D
+ A C D F {foo ()} -- cgit v1.2.3