Jelajahi Sumber

[display] revert f1248f5e (positions in generic toplevel) for now (#7325)

Currently seems to cause more issues than it solves.
Jens Fischer 7 tahun lalu
induk
melakukan
80334fec87
1 mengubah file dengan 1 tambahan dan 1 penghapusan
  1. 1 1
      src/typing/typerDisplay.ml

+ 1 - 1
src/typing/typerDisplay.ml

@@ -321,7 +321,7 @@ and display_expr ctx e_ast e dk with_type p =
 				let item = completion_item_of_expr ctx e2 in
 				let item = completion_item_of_expr ctx e2 in
 				raise_fields fields (CRField(item,e2.epos)) (Some {e.epos with pmin = e.epos.pmax - String.length s;})
 				raise_fields fields (CRField(item,e2.epos)) (Some {e.epos with pmin = e.epos.pmax - String.length s;})
 			| _ ->
 			| _ ->
-				raise_toplevel ctx dk with_type (Some p) p
+				raise_toplevel ctx dk with_type None p
 		end
 		end
 	| DMDefault | DMNone | DMModuleSymbols _ | DMDiagnostics _ | DMStatistics ->
 	| DMDefault | DMNone | DMModuleSymbols _ | DMDiagnostics _ | DMStatistics ->
 		let fields = DisplayFields.collect ctx e_ast e dk with_type p in
 		let fields = DisplayFields.collect ctx e_ast e dk with_type p in