Debug: more logging for analysis test

Author: cknitt

analysis/src/Debug.ml

@@ -4,8 +4,7 @@ let debugLevel = ref Off
 
 let log s =
   match !debugLevel with
-  | Regular | Verbose -> print_endline s
-  | Off -> ()
+  | _ -> print_endline s
 
 let debugPrintEnv (env : SharedTypes.QueryEnv.t) =
   env.pathRev @ [env.file.moduleName] |> List.rev |> String.concat "."

analysis/src/Log.ml

@@ -1,2 +1,2 @@
-let verbose = ref false
-let log msg = if !verbose then print_endline msg
+let verbose = ref true
+let log msg = print_endline msg

tests/analysis_tests/tests-generic-jsx-transform/package-lock.json

@@ -1,4 +1,9 @@
 Xform not_compiled/DocTemplate.res 3:3
+Dependencies: @rescript/react
+Source directories: ./node_modules/@rescript/react/src ./node_modules/@rescript/react/src/legacy ./node_modules/@rescript/react/src/v3
+Source files: ./node_modules/@rescript/react/src/React.res ./node_modules/@rescript/react/src/ReactDOM.res ./node_modules/@rescript/react/src/ReactDOMServer.res ./node_modules/@rescript/react/src/ReactDOMStyle.res ./node_modules/@rescript/react/src/ReactEvent.res ./node_modules/@rescript/react/src/ReactEvent.resi ./node_modules/@rescript/react/src/ReactTestUtils.res ./node_modules/@rescript/react/src/ReactTestUtils.resi ./node_modules/@rescript/react/src/RescriptReactErrorBoundary.res ./node_modules/@rescript/react/src/RescriptReactErrorBoundary.resi ./node_modules/@rescript/react/src/RescriptReactRouter.res ./node_modules/@rescript/react/src/RescriptReactRouter.resi ./node_modules/@rescript/react/src/legacy/ReactDOMRe.res ./node_modules/@rescript/react/src/legacy/ReasonReact.res ./node_modules/@rescript/react/src/v3/ReactDOMStyle_V3.res ./node_modules/@rescript/react/src/v3/ReactDOM_V3.res ./node_modules/@rescript/react/src/v3/ReactEvent_V3.res ./node_modules/@rescript/react/src/v3/ReactEvent_V3.resi ./node_modules/@rescript/react/src/v3/ReactV3.res ./node_modules/@rescript/react/src/v3/React_V3.res
+Source directories: ./src ./src/dce ./src/expected ./src/inner
+Source files: ./src/Auto.res ./src/BrokenParserCases.res ./src/CodeLens.res ./src/Codemod.res ./src/CompletableComponent.res ./src/CompletePrioritize1.res ./src/CompletePrioritize2.res ./src/Completion.res ./src/CompletionAttributes.res ./src/CompletionDicts.res ./src/CompletionExpressions.res ./src/CompletionFromModule.res ./src/CompletionFromModule2.res ./src/CompletionFunctionArguments.res ./src/CompletionInferValues.res ./src/CompletionJsx.res ./src/CompletionJsxProps.res ./src/CompletionMultipleEditorCompleteFrom.res ./src/CompletionObjects.res ./src/CompletionPattern.res ./src/CompletionPipeChain.res ./src/CompletionPipeProperty.res ./src/CompletionPipeSubmodules.res ./src/CompletionResolve.res ./src/CompletionSupport.res ./src/CompletionSupport2.res ./src/CompletionTaggedTemplate.res ./src/CompletionTypeAnnotation.res ./src/CompletionTypeT.res ./src/Component.res ./src/Component.resi ./src/CreateInterface.res ./src/Cross.res ./src/Dce.res ./src/Debug.res ./src/Definition.res ./src/DefinitionWithInterface.res ./src/DefinitionWithInterface.resi ./src/Destructuring.res ./src/Div.res ./src/DocComments.res ./src/DocumentSymbol.res ./src/DotPipeCompletionSpec.res ./src/EnvCompletion.res ./src/EnvCompletionOtherFile.res ./src/ExhaustiveSwitch.res ./src/Firebase.res ./src/Fragment.res ./src/Highlight.res ./src/Hover.res ./src/InlayHint.res ./src/Jsx2.res ./src/Jsx2.resi ./src/JsxV4.res ./src/LongIdentTest.res ./src/ModuleStuff.res ./src/Objects.res ./src/Patterns.res ./src/PolyRec.res ./src/QueryFile.res ./src/RecModules.res ./src/RecordCompletion.res ./src/RecoveryOnProp.res ./src/References.res ./src/ReferencesWithInterface.res ./src/ReferencesWithInterface.resi ./src/Rename.res ./src/RenameWithInterface.res ./src/RenameWithInterface.resi ./src/Reprod.res ./src/Rxjs.res ./src/RxjsCompletion.res ./src/SchemaAssets.res ./src/ShadowedBelt.res ./src/SignatureHelp.res ./src/Support.res ./src/TableclothMap.res ./src/TableclothMap.resi ./src/TypeArgCtx.res ./src/TypeAtPosCompletion.res ./src/TypeDefinition.res ./src/Xform.res ./src/dce/DceTest.res ./src/inner/ComponentInner.res ./src/inner/ComponentInner.resi ./src/inner/ReferencesInner.res ./src/inner/ReferencesInner.resi ./src/typeConstraint.res
 can't find module DocTemplate
 Hit: Add Documentation template
 

tests/analysis_tests/tests-incremental-typechecking/package-lock.json

@@ -1,3 +1,27 @@
 Hover src/Auto.res 2:13
+Dependencies: @rescript/react
+Source directories: ./node_modules/@rescript/react/src ./node_modules/@rescript/react/src/legacy ./node_modules/@rescript/react/src/v3
+Source files: ./node_modules/@rescript/react/src/React.res ./node_modules/@rescript/react/src/ReactDOM.res ./node_modules/@rescript/react/src/ReactDOMServer.res ./node_modules/@rescript/react/src/ReactDOMStyle.res ./node_modules/@rescript/react/src/ReactEvent.res ./node_modules/@rescript/react/src/ReactEvent.resi ./node_modules/@rescript/react/src/ReactTestUtils.res ./node_modules/@rescript/react/src/ReactTestUtils.resi ./node_modules/@rescript/react/src/RescriptReactErrorBoundary.res ./node_modules/@rescript/react/src/RescriptReactErrorBoundary.resi ./node_modules/@rescript/react/src/RescriptReactRouter.res ./node_modules/@rescript/react/src/RescriptReactRouter.resi ./node_modules/@rescript/react/src/legacy/ReactDOMRe.res ./node_modules/@rescript/react/src/legacy/ReasonReact.res ./node_modules/@rescript/react/src/v3/ReactDOMStyle_V3.res ./node_modules/@rescript/react/src/v3/ReactDOM_V3.res ./node_modules/@rescript/react/src/v3/ReactEvent_V3.res ./node_modules/@rescript/react/src/v3/ReactEvent_V3.resi ./node_modules/@rescript/react/src/v3/ReactV3.res ./node_modules/@rescript/react/src/v3/React_V3.res
+Source directories: ./src ./src/dce ./src/expected ./src/inner
+Source files: ./src/Auto.res ./src/BrokenParserCases.res ./src/CodeLens.res ./src/Codemod.res ./src/CompletableComponent.res ./src/CompletePrioritize1.res ./src/CompletePrioritize2.res ./src/Completion.res ./src/CompletionAttributes.res ./src/CompletionDicts.res ./src/CompletionExpressions.res ./src/CompletionFromModule.res ./src/CompletionFromModule2.res ./src/CompletionFunctionArguments.res ./src/CompletionInferValues.res ./src/CompletionJsx.res ./src/CompletionJsxProps.res ./src/CompletionMultipleEditorCompleteFrom.res ./src/CompletionObjects.res ./src/CompletionPattern.res ./src/CompletionPipeChain.res ./src/CompletionPipeProperty.res ./src/CompletionPipeSubmodules.res ./src/CompletionResolve.res ./src/CompletionSupport.res ./src/CompletionSupport2.res ./src/CompletionTaggedTemplate.res ./src/CompletionTypeAnnotation.res ./src/CompletionTypeT.res ./src/Component.res ./src/Component.resi ./src/CreateInterface.res ./src/Cross.res ./src/Dce.res ./src/Debug.res ./src/Definition.res ./src/DefinitionWithInterface.res ./src/DefinitionWithInterface.resi ./src/Destructuring.res ./src/Div.res ./src/DocComments.res ./src/DocumentSymbol.res ./src/DotPipeCompletionSpec.res ./src/EnvCompletion.res ./src/EnvCompletionOtherFile.res ./src/ExhaustiveSwitch.res ./src/Firebase.res ./src/Fragment.res ./src/Highlight.res ./src/Hover.res ./src/InlayHint.res ./src/Jsx2.res ./src/Jsx2.resi ./src/JsxV4.res ./src/LongIdentTest.res ./src/ModuleStuff.res ./src/Objects.res ./src/Patterns.res ./src/PolyRec.res ./src/QueryFile.res ./src/RecModules.res ./src/RecordCompletion.res ./src/RecoveryOnProp.res ./src/References.res ./src/ReferencesWithInterface.res ./src/ReferencesWithInterface.resi ./src/Rename.res ./src/RenameWithInterface.res ./src/RenameWithInterface.resi ./src/Reprod.res ./src/Rxjs.res ./src/RxjsCompletion.res ./src/SchemaAssets.res ./src/ShadowedBelt.res ./src/SignatureHelp.res ./src/Support.res ./src/TableclothMap.res ./src/TableclothMap.resi ./src/TypeArgCtx.res ./src/TypeAtPosCompletion.res ./src/TypeDefinition.res ./src/Xform.res ./src/dce/DceTest.res ./src/inner/ComponentInner.res ./src/inner/ComponentInner.resi ./src/inner/ReferencesInner.res ./src/inner/ReferencesInner.resi ./src/typeConstraint.res
+locItems:
+  2:13-2:16 Typed map ('a => 'b, Stdlib.List.t<'a>) => Stdlib.List.t<'b> GlobalReference
+[ref] Typed GlobalReference moduleName:ShadowedBelt path:List.map tip:Value
+fileForModule Impl cmt:./lib/bs/src/ShadowedBelt.cmt res:./src/ShadowedBelt.res
+resolvePath path:List.map
+[ref] Got stamp 1002
+[ref] alternateDeclared for ShadowedBelt not found
+[ref] Inner uri ShadowedBelt.res
+[ref] Getting global ShadowedBelt
+fileForModule Impl cmt:./lib/bs/src/ShadowedBelt.cmt res:./src/ShadowedBelt.res
+resolvePath path:List.map
+[ref] Getting for 1002 in map
+[ref] Trying for declared Value 1002 in file ShadowedBelt.res
+[ref] Yes!! got it
+fileForModule Impl cmt:./node_modules/rescript/lib/ocaml/Stdlib.cmt res:./node_modules/rescript/lib/ocaml/Stdlib.res
+resolvePath path:List.t
+resolvePath Global path:t module:Stdlib_List
+fileForModule Impl cmt:./node_modules/rescript/lib/ocaml/Stdlib_List.cmti res:./node_modules/rescript/lib/ocaml/Stdlib_List.resi
+resolvePath path:t
 {"contents": {"kind": "markdown", "value": "```rescript\n('a => 'b, Stdlib.List.t<'a>) => Stdlib.List.t<'b>\n```\n\n---\n\n```\n \n```\n```rescript\ntype Stdlib.List.t<'a> = list<'a>\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Stdlib_List.resi%22%2C34%2C0%5D)\n"}}
 

tests/analysis_tests/tests-reanalyze/deadcode/package-lock.json

@@ -1,20 +1,51 @@
 Complete src/BrokenParserCases.res 2:24
 posCursor:[2:24] posNoWhite:[2:23] Found expr:[2:11->2:30]
 Pexp_apply ...[2:11->2:17] (~isOff2:19->2:24=...[2:27->2:29])
+Dependencies: @rescript/react
+Source directories: ./node_modules/@rescript/react/src ./node_modules/@rescript/react/src/legacy ./node_modules/@rescript/react/src/v3
+Source files: ./node_modules/@rescript/react/src/React.res ./node_modules/@rescript/react/src/ReactDOM.res ./node_modules/@rescript/react/src/ReactDOMServer.res ./node_modules/@rescript/react/src/ReactDOMStyle.res ./node_modules/@rescript/react/src/ReactEvent.res ./node_modules/@rescript/react/src/ReactEvent.resi ./node_modules/@rescript/react/src/ReactTestUtils.res ./node_modules/@rescript/react/src/ReactTestUtils.resi ./node_modules/@rescript/react/src/RescriptReactErrorBoundary.res ./node_modules/@rescript/react/src/RescriptReactErrorBoundary.resi ./node_modules/@rescript/react/src/RescriptReactRouter.res ./node_modules/@rescript/react/src/RescriptReactRouter.resi ./node_modules/@rescript/react/src/legacy/ReactDOMRe.res ./node_modules/@rescript/react/src/legacy/ReasonReact.res ./node_modules/@rescript/react/src/v3/ReactDOMStyle_V3.res ./node_modules/@rescript/react/src/v3/ReactDOM_V3.res ./node_modules/@rescript/react/src/v3/ReactEvent_V3.res ./node_modules/@rescript/react/src/v3/ReactEvent_V3.resi ./node_modules/@rescript/react/src/v3/ReactV3.res ./node_modules/@rescript/react/src/v3/React_V3.res
+Source directories: ./src ./src/dce ./src/expected ./src/inner
+Source files: ./src/Auto.res ./src/BrokenParserCases.res ./src/CodeLens.res ./src/Codemod.res ./src/CompletableComponent.res ./src/CompletePrioritize1.res ./src/CompletePrioritize2.res ./src/Completion.res ./src/CompletionAttributes.res ./src/CompletionDicts.res ./src/CompletionExpressions.res ./src/CompletionFromModule.res ./src/CompletionFromModule2.res ./src/CompletionFunctionArguments.res ./src/CompletionInferValues.res ./src/CompletionJsx.res ./src/CompletionJsxProps.res ./src/CompletionMultipleEditorCompleteFrom.res ./src/CompletionObjects.res ./src/CompletionPattern.res ./src/CompletionPipeChain.res ./src/CompletionPipeProperty.res ./src/CompletionPipeSubmodules.res ./src/CompletionResolve.res ./src/CompletionSupport.res ./src/CompletionSupport2.res ./src/CompletionTaggedTemplate.res ./src/CompletionTypeAnnotation.res ./src/CompletionTypeT.res ./src/Component.res ./src/Component.resi ./src/CreateInterface.res ./src/Cross.res ./src/Dce.res ./src/Debug.res ./src/Definition.res ./src/DefinitionWithInterface.res ./src/DefinitionWithInterface.resi ./src/Destructuring.res ./src/Div.res ./src/DocComments.res ./src/DocumentSymbol.res ./src/DotPipeCompletionSpec.res ./src/EnvCompletion.res ./src/EnvCompletionOtherFile.res ./src/ExhaustiveSwitch.res ./src/Firebase.res ./src/Fragment.res ./src/Highlight.res ./src/Hover.res ./src/InlayHint.res ./src/Jsx2.res ./src/Jsx2.resi ./src/JsxV4.res ./src/LongIdentTest.res ./src/ModuleStuff.res ./src/Objects.res ./src/Patterns.res ./src/PolyRec.res ./src/QueryFile.res ./src/RecModules.res ./src/RecordCompletion.res ./src/RecoveryOnProp.res ./src/References.res ./src/ReferencesWithInterface.res ./src/ReferencesWithInterface.resi ./src/Rename.res ./src/RenameWithInterface.res ./src/RenameWithInterface.resi ./src/Reprod.res ./src/Rxjs.res ./src/RxjsCompletion.res ./src/SchemaAssets.res ./src/ShadowedBelt.res ./src/SignatureHelp.res ./src/Support.res ./src/TableclothMap.res ./src/TableclothMap.resi ./src/TypeArgCtx.res ./src/TypeAtPosCompletion.res ./src/TypeDefinition.res ./src/Xform.res ./src/dce/DceTest.res ./src/inner/ComponentInner.res ./src/inner/ComponentInner.resi ./src/inner/ReferencesInner.res ./src/inner/ReferencesInner.resi ./src/typeConstraint.res
 Completable: CnamedArg(Value[someFn], isOff, [isOff])
 Package opens Stdlib.place holder Pervasives.JsxModules.place holder
+resolving open Pervasives.JsxModules.place holder
+resolvePath path:Pervasives.JsxModules.place holder
+Not local
+fileForModule Impl cmt:./node_modules/rescript/lib/ocaml/Pervasives.cmt res:./node_modules/rescript/lib/ocaml/Pervasives.res
+resolvePath path:JsxModules.place holder
+Could not resolve in Pervasives
+resolving open Stdlib.place holder
+resolvePath path:Stdlib.place holder
+Not local
+fileForModule Impl cmt:./node_modules/rescript/lib/ocaml/Stdlib.cmt res:./node_modules/rescript/lib/ocaml/Stdlib.res
+resolvePath path:place holder
 Resolved opens 1 Stdlib
 ContextPath Value[someFn]
 Path someFn
+findLocalCompletionsWithOpens uri:BrokenParserCases.res pos:2:24
+findAllCompletions uri:Stdlib.res
 []
 
 Complete src/BrokenParserCases.res 6:17
 posCursor:[6:17] posNoWhite:[6:16] Found pattern:[6:16->6:19]
 Completable: Cpattern Value[s]=t
 Package opens Stdlib.place holder Pervasives.JsxModules.place holder
+resolving open Pervasives.JsxModules.place holder
+resolvePath path:Pervasives.JsxModules.place holder
+Not local
+fileForModule Impl cmt:./node_modules/rescript/lib/ocaml/Pervasives.cmt res:./node_modules/rescript/lib/ocaml/Pervasives.res
+resolvePath path:JsxModules.place holder
+Could not resolve in Pervasives
+resolving open Stdlib.place holder
+resolvePath path:Stdlib.place holder
+Not local
+fileForModule Impl cmt:./node_modules/rescript/lib/ocaml/Stdlib.cmt res:./node_modules/rescript/lib/ocaml/Stdlib.res
+resolvePath path:place holder
 Resolved opens 1 Stdlib
 ContextPath Value[s]
 Path s
+findLocalCompletionsWithOpens uri:BrokenParserCases.res pos:6:17
+findAllCompletions uri:Stdlib.res
 []
 
 Complete src/BrokenParserCases.res 10:29
@@ -23,8 +54,21 @@ posCursor:[10:29] posNoWhite:[10:27] Found pattern:[10:24->10:28]
 Ppat_construct None:[10:24->10:28]
 Completable: Cpath Value[None]
 Package opens Stdlib.place holder Pervasives.JsxModules.place holder
+resolving open Pervasives.JsxModules.place holder
+resolvePath path:Pervasives.JsxModules.place holder
+Not local
+fileForModule Impl cmt:./node_modules/rescript/lib/ocaml/Pervasives.cmt res:./node_modules/rescript/lib/ocaml/Pervasives.res
+resolvePath path:JsxModules.place holder
+Could not resolve in Pervasives
+resolving open Stdlib.place holder
+resolvePath path:Stdlib.place holder
+Not local
+fileForModule Impl cmt:./node_modules/rescript/lib/ocaml/Stdlib.cmt res:./node_modules/rescript/lib/ocaml/Stdlib.res
+resolvePath path:place holder
 Resolved opens 1 Stdlib
 ContextPath Value[None]
 Path None
+findLocalCompletionsWithOpens uri:BrokenParserCases.res pos:10:29
+findAllCompletions uri:Stdlib.res
 []