Closed vekatze closed 1 month ago
This PR replaces <resource> with the name of a resource type when printing terms.
<resource>
Consider the following program:
resource some-type {..} define make(): some-type {..} define main(): unit { let x: binary = make() in Unit }
The output of neut check before the fix is:
neut check
Expected: <resource> Found: some-type
The output of neut check after the fix is:
Expected: binary Found: some-type
This PR replaces
<resource>
with the name of a resource type when printing terms.Consider the following program:
The output of
neut check
before the fix is:The output of
neut check
after the fix is: