search

camlspotter / ocamloscope.2

OCamlOScope 2 : OCaml API search
42 stars 1 forks source link

`let x = 1;; let x = "hello"` creates double entry for the latter in hump. #16

Closed camlspotter closed 7 years ago

camlspotter commented 7 years ago

The hump looks like this:

ELet
  (false,
   [ ((KValue, "x"),
      EValue
        (Def
           ({ kind= KValue;
              path= "NOTOP.T35_double_entry.x";
              loc= "t35_double_entry.ml:1,4--5";
              digest= Some ("Wh\222G\165\132\022\186~\168\209\167 U\030\253");
              doc= None }))) ],
   ELet
     (false,
      [ ((KValue, "x"),
         EValue
           (Def
              ({ kind= KValue;
                 path= "NOTOP.T35_double_entry.x";
                 loc= "t35_double_entry.ml:3,4--5";
                 digest=
                   Some ("Wh\222G\165\132\022\186~\168\209\167 U\030\253");
                 doc= None }))) ],
      ESignature
        ([ ((KValue, "x"), EVar (KValue, "x"));
           ((KValue, "x"), EVar (KValue, "x")) ])))
camlspotter commented 7 years ago

Hmm, since the final data is created by a map of sig, not hump, therefore it should not be a big problem.

camlspotter commented 7 years ago

Commit is:

commit e61a666b495a7cd96f82d3a2bf09dba49895bad0
Author: Jun Furuse <Jun.Furuse@gmail.com>
Date:   Sat Nov 5 04:23:25 2016 +0000

    alias for let x = P.y