Deprecate backpassing to prepare for eventual removal

This commit is contained in:
Sam Mohr 2024-08-16 22:36:04 -07:00
parent a14a110293
commit 50f6e11423
No known key found for this signature in database
GPG key ID: EA41D161A3C1BC99
34 changed files with 778 additions and 490 deletions

View file

@ -3389,8 +3389,8 @@ fn inspect_custom_type() {
myToInspector : HelloWorld -> Inspector f where f implements InspectFormatter
myToInspector = \@HellowWorld {} ->
fmt <- Inspect.custom
Inspect.apply (Inspect.str "Hello, World!\n") fmt
Inspect.custom \fmt ->
Inspect.apply (Inspect.str "Hello, World!\n") fmt
main =
Inspect.inspect (@HelloWorld {})