Fix bad interpretation of <backslash><newline> in here-document with …

…a quoted end marker.

src/hereDocument.ml

@@ -156,11 +156,13 @@ end = struct
           double-quote appears within "$()", "``", or "${}".
       *)
       let contents =
+        Printf.eprintf "Content = %s\n" contents;
         if delimiter_info.quoted then
           QuoteRemoval.backslash_as_in_doublequotes contents
         else
           contents
       in
+      Printf.eprintf "Content = %s\n" contents;
       let contents, cst =
         remove_contents_suffix doc_end end_marker contents cst
       in

src/quoteRemoval.ml

@@ -65,20 +65,18 @@ type backslash_automaton_state = Default | Backslash
 let backslash_as_in_doublequotes s =
   let n = String.length s in
   let b = Buffer.create n in
-  let i = ref 0 and
-      state = ref Default in
+  let i = ref 0 and state = ref Default in
   let keep () = Buffer.add_char b s.[!i]; incr i
   and pushbackslash () = Buffer.add_char b '\\'
   and skip () = incr i in
-  while !i<n do
+  while !i < n do
     match !state with
     | Default ->
        if s.[!i] = '\\'
        then begin state := Backslash; skip () end
        else keep ()
     | Backslash -> begin
-        if s.[!i] = '\n' then skip () (* FIXME: can that happen? *)
-        else if List.mem s.[!i] ['$'; '\''; '"'; '\\'] then keep ()
+        if List.mem s.[!i] ['$'; '\''; '"'; '\\'] then keep ()
         else begin pushbackslash(); keep () end;
         state := Default
       end

tests/good/2.7-redirection/2.7.4-here-document/dont-expand-backslash-when-quoted-delimiter.sh.expected

@@ -46,7 +46,7 @@
                         ],
                         [
                           "Word",
-                          "abc ` def\nghi jkl\n",
+                          "abc ` def\nghi \\\njkl\n",
                           [ [ "WordLiteral", "abc ` def\nghi \\\njkl\n" ] ]
                         ]
                       ]

tests/good/2.7-redirection/2.7.4-here-document/quoted-delimiter-no-expansion.sh.expected

@@ -107,7 +107,7 @@
                                         ],
                                         [
                                           "Word",
-                                          "Here document not expanded, may be unbalanced ' \" $(\nand a backslash at the end of the line is NOT removed ",
+                                          "Here document not expanded, may be unbalanced ' \" $(\nand a backslash at the end of the line is NOT removed \\\n",
                                           [
                                             [
                                               "WordLiteral",