Document flags passed to cobc for debug

Removes `-fsource-location` as it is implied by `-ftraceall`.

README.md

@@ -318,9 +318,9 @@ whenever you start a debugging session, *e.g* with <kbd>F5</kbd>).
 
 Save the `tasks.json` as shown.  Definitions for this task notably
 include a `for-debug` flag, that instructs the compiler to insert
-debug annotations into generated executable files, as well as
-`extra-args`, that can be edited to pass additional arguments to the
-`cobc` compiler.
+debug annotations into generated executable files (this effectively
+passes flags `-ftraceall` and `-g` to `cobc`).  The `extra-args`
+setting can be edited to pass additional arguments to `cobc`.
 
 ![`tasks.json` for debug](./assets/superbol-tasks.json.png)
 

src/vscode/superbol-vscode-platform/superbol_tasks.ml

@@ -134,7 +134,7 @@ let cobc_execution ?config attributes =
     config_string "cobol.source-format" ~config
       ~append:(fun f -> List.cons ("-fformat=" ^ f)) |>
     attr_bool_flag "for-debug" ~attributes
-      ~ok:(List.append ["-fsource-location"; "-ftraceall"; "-g"]) |>
+      ~ok:(List.append ["-ftraceall"; "-g"]) |>
     attr_bool_flag "for-coverage" ~attributes
       ~ok:(List.cons "--coverage") |>
     attr_bool_flag "executable" ~attributes