Json: support empty comments

hercules-team · Jul 29, 2015 · 7dcc29f · 7dcc29f
1 parent 827b7f6
commit 7dcc29f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/lenses/json.aug b/lenses/json.aug
@@ -18,6 +18,7 @@ let eol = del spc "\n"
 let delim (c:string) (d:string) = del (c . spc) d
 let dels (s:string) = del s s
 let comment = Util.comment_generic /\/\/[ \t]*/ "// " . del spc ""
+            | [ del /\/\/[ \t\n]*\n/ "//\n" ]
 
 let comma = delim "," "," . comment?
 let colon = delim ":" ":"

diff --git a/lenses/tests/test_json.aug b/lenses/tests/test_json.aug
@@ -331,12 +331,16 @@ test lns get t =
 
 (* Comments *)
 test lns get "// A comment
+//
 {\"menu\": 1 }
+//
 // Another comment\n" =
   { "#comment" = "A comment" }
+  { }
   { "dict"
     { "entry" = "menu"
       { "number" = "1" } } }
+  { }
   { "#comment" = "Another comment" }