Fixed for examples

Author: Gustavo2622

src/ecMatching.ml

@@ -173,7 +173,7 @@ module Position = struct
   let nm_codegap1_range_of_nm_codepos1 (cp1: nm_codepos1) : nm_codegap1_range =
     (gap_before cp1, gap_after cp1)
 
-  let nm_codepos_range_of_nm_codepos ((cpath, cp1): nm_codepos) : nm_codegap_range =
+  let nm_codegap_range_of_nm_codepos ((cpath, cp1): nm_codepos) : nm_codegap_range =
     (cpath, nm_codegap1_range_of_nm_codepos1 cp1)
 
   let codepos1_of_nm_codepos1 (nm: nm_codepos1) : codepos1 = 

src/ecMatching.mli

@@ -199,7 +199,7 @@ module Position : sig
   val codegap_range_of_codepos   : codepos  -> codegap_range
 
   val nm_codegap1_range_of_nm_codepos1 : nm_codepos1 -> nm_codegap1_range
-  val nm_codepos_range_of_nm_codepos   : nm_codepos  -> nm_codegap_range
+  val nm_codegap_range_of_nm_codepos   : nm_codepos  -> nm_codegap_range
 
   val disjoint : nm_codegap1_range -> nm_codegap1_range -> bool
 

src/ecParser.mly

@@ -2594,13 +2594,15 @@ codegap1_before:
 | i=codepos1          { GapBefore i }
 | g=codegap1          { g }
 
+(* FIXME: decide on semantic before merge *)
 (* 0-indexed gap: GapBefore for non-negative, GapAfter for negative
    (negative indexes count from the end, so "in the direction of travel"
-   means GapAfter — e.g. wp -1 = gap after last instruction) *)
+   means GapAfter — e.g.  wp -1 = gap after last instruction) *)
 codegap1_0before:
-| i=codepos1_0        { match snd i with
+| i=codepos1_0        { GapBefore i }
+                        (* { match snd i with
                          | `ByPos0 n when n < 0 -> GapAfter i
-                         | _ -> GapBefore i }
+                         | _ -> GapBefore i } *)
 | g=codegap1          { g }
 
 (* Default-after: bare integer means gap after (e.g. wp, sp) *)