try something

Author: cristianoc

Diff for: analysis/src/PrintType.ml

@@ -1,5 +1,6 @@
 let printExpr ?(lineWidth = 60) typ =
   Printtyp.reset_names ();
+  Printtyp.reset_and_mark_loops typ;
   try
   Res_doc.toString ~width:lineWidth
     (Res_outcome_printer.printOutTypeDoc (Printtyp.tree_of_typexp false typ (* HERE *)))

Diff for: analysis/tests/src/expected/CompletionPattern.res.txt

@@ -129,7 +129,7 @@ Path f
     "label": "optThird",
     "kind": 5,
     "tags": [],
-    "detail": "optThird: option<[#second(someRecord) | #first]>\n\nsomeRecord",
+    "detail": "optThird: option<[#first | #second(someRecord)]>\n\nsomeRecord",
     "documentation": null
   }, {
     "label": "nest",
@@ -150,7 +150,7 @@ Path f
     "label": "optThird",
     "kind": 5,
     "tags": [],
-    "detail": "optThird: option<[#second(someRecord) | #first]>\n\nsomeRecord",
+    "detail": "optThird: option<[#first | #second(someRecord)]>\n\nsomeRecord",
     "documentation": null
   }, {
     "label": "nest",
@@ -189,7 +189,7 @@ Path z
     "label": "optThird",
     "kind": 5,
     "tags": [],
-    "detail": "optThird: option<[#second(someRecord) | #first]>\n\nsomeRecord",
+    "detail": "optThird: option<[#first | #second(someRecord)]>\n\nsomeRecord",
     "documentation": null
   }]
 
@@ -267,7 +267,7 @@ Path f
     "label": "optThird",
     "kind": 5,
     "tags": [],
-    "detail": "optThird: option<[#second(someRecord) | #first]>\n\nsomeRecord",
+    "detail": "optThird: option<[#first | #second(someRecord)]>\n\nsomeRecord",
     "documentation": null
   }, {
     "label": "nest",
@@ -360,7 +360,7 @@ Path z
     "label": "optThird",
     "kind": 5,
     "tags": [],
-    "detail": "optThird: option<[#second(someRecord) | #first]>\n\nsomeRecord",
+    "detail": "optThird: option<[#first | #second(someRecord)]>\n\nsomeRecord",
     "documentation": null
   }, {
     "label": "nest",
@@ -451,7 +451,7 @@ Path b
     "label": "optThird",
     "kind": 5,
     "tags": [],
-    "detail": "optThird: option<[#second(someRecord) | #first]>\n\nsomeRecord",
+    "detail": "optThird: option<[#first | #second(someRecord)]>\n\nsomeRecord",
     "documentation": null
   }, {
     "label": "nest",

Diff for: analysis/tests/src/expected/Hover.res.txt

@@ -77,10 +77,10 @@ Hover src/Hover.res 106:21
 {"contents": {"kind": "markdown", "value": "```rescript\nint\n```"}}
 
 Hover src/Hover.res 116:16
-{"contents": {"kind": "markdown", "value": "```rescript\nAA.cond<[< #str(string)]> => AA.cond<[< #str(string)]>\n```\n\n---\n\n```\n \n```\n```rescript\ntype AA.cond<'a> = 'a\n  constraint 'a = [< #str(string)]\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Hover.res%22%2C110%2C2%5D)\n"}}
+{"contents": {"kind": "markdown", "value": "```rescript\nAA.cond<([< #str(string)] as 'a)> => AA.cond<'a>\n```\n\n---\n\n```\n \n```\n```rescript\ntype AA.cond<'a> = 'a\n  constraint 'a = [< #str(string)]\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Hover.res%22%2C110%2C2%5D)\n"}}
 
 Hover src/Hover.res 119:25
-{"contents": {"kind": "markdown", "value": "```rescript\nAA.cond<[< #str(string)]> => AA.cond<[< #str(string)]>\n```\n\n---\n\n```\n \n```\n```rescript\ntype AA.cond<'a> = 'a\n  constraint 'a = [< #str(string)]\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Hover.res%22%2C110%2C2%5D)\n"}}
+{"contents": {"kind": "markdown", "value": "```rescript\nAA.cond<([< #str(string)] as 'a)> => AA.cond<'a>\n```\n\n---\n\n```\n \n```\n```rescript\ntype AA.cond<'a> = 'a\n  constraint 'a = [< #str(string)]\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Hover.res%22%2C110%2C2%5D)\n"}}
 
 Hover src/Hover.res 122:3
 Nothing at that position. Now trying to use completion.

Diff for: analysis/tests/src/expected/PolyRec.res.txt

@@ -1,3 +1,3 @@
 Hover src/PolyRec.res 12:10
-{"contents": {"kind": "markdown", "value": "```rescript\nError: could not print type\n```"}}
+{"contents": {"kind": "markdown", "value": "```rescript\n([#Leaf | #Node(int, 'a, 'a)] as 'a)\n```"}}