then_ deprecated

cristianoc · cristianoc · commit 0cdc4b0988cf · 2022-10-03T11:49:43.000+02:00
diff --git a/jscomp/others/js_promise2.res b/jscomp/others/js_promise2.res
@@ -14,5 +14,5 @@ let catch: (promise<'a>, error => promise<'a>) => promise<'a> = %raw(`
     }
     `)
 
-/** Old syntax, can use then instead */
+@deprecated("Use then instead")
 let then_ = then

Original file line number	Diff line number	Diff line change
@@ -14,5 +14,5 @@ let catch: (promise<'a>, error => promise<'a>) => promise<'a> = %raw(`
`14`	`14`	`}`
`15`	`15`	`)
`16`	`16`
`17`		`-/** Old syntax, can use then instead */`
	`17`	`+@deprecated("Use then instead")`
`18`	`18`	`let then_ = then`