Revert test

liam923 · liam923 · commit 0b0c3707b3d3 · 2025-02-17T14:15:09.000-05:00
diff --git a/tests/test-dirs/type-enclosing/types.t/run.t b/tests/test-dirs/type-enclosing/types.t/run.t
@@ -113,7 +113,7 @@ FIXME: A type with a type param shouldn't equal itself - aliasing a list type
     }
   ]
 
-Print inferred kind of a type with higher verbosity
+Same result regardless of verbosity:
 
   $ $MERLIN single type-enclosing -short-paths -position 11:9 -verbosity 1 \
   > -filename ./types.ml < ./types.ml | jq ".value"
@@ -127,7 +127,7 @@ Print inferred kind of a type with higher verbosity
         "line": 11,
         "col": 19
       },
-      "type": "type 'a l : immutable_data = 'a l",
+      "type": "type 'a l = 'a l",
       "tail": "no"
     }
   ]

Original file line number	Diff line number	Diff line change
`@@ -113,7 +113,7 @@ FIXME: A type with a type param shouldn't equal itself - aliasing a list type`
`113`	`113`	`}`
`114`	`114`	`]`
`115`	`115`
`116`		`-Print inferred kind of a type with higher verbosity`
	`116`	`+Same result regardless of verbosity:`
`117`	`117`
`118`	`118`	`$ $MERLIN single type-enclosing -short-paths -position 11:9 -verbosity 1 \`
`119`	`119`	`> -filename ./types.ml < ./types.ml \| jq ".value"`
`@@ -127,7 +127,7 @@ Print inferred kind of a type with higher verbosity`
`127`	`127`	`"line": 11,`
`128`	`128`	`"col": 19`
`129`	`129`	`},`
`130`		`- "type": "type 'a l : immutable_data = 'a l",`
	`130`	`+ "type": "type 'a l = 'a l",`
`131`	`131`	`"tail": "no"`
`132`	`132`	`}`
`133`	`133`	`]`