anchor.diff:          success (resInfo,Item.ActivePatternCase apref,rest)
       | _ -> 
       match mty.AllValsByLogicalName.TryFind(id.idText) with
  -    | Some vspec  when IsValAccessible ad (mkNestedValRef modref vspec) -> 
  +    | Some vspec when IsValAccessible ad (mkNestedValRef modref vspec) -> 
           success(resInfo,Item.Value (mkNestedValRef modref vspec),rest)
       | _ ->
       let tcrefs = lazy (
  
positive.code:         | _ ->
              NoResultsOrUsefulErrors
  
      match tyconSearch with
      | Result (res :: _) -> success res
      | _ -> 
  
      // Constructor of a type? 
      let ctorSearch = 
          if isNil rest then
              tcrefs.Force()
              |> List.map (fun (resInfo,tcref) -> (resInfo,FreshenTycon ncenv m tcref)) 
  
negative.code:     match res with 
      | Exception err -> raze err
      | Result [] -> raze (Error(FSComp.SR.nrInvalidModuleExprType(),m))
      | Result (res :: _) -> success res
  
  let AtMostOneResultQuery query2 res1 =
      match res1 with
      | Exception _ -> AddResults res1 (query2())
      | Result [] -> query2()
      | _ -> res1
  
  let inline (+++) res1 query2 = AtMostOneResultQuery query2 res1
  
  //-------------------------------------------------------------------------
  // TypeNameResolutionInfo
  