-
Notifications
You must be signed in to change notification settings - Fork 302
ucm can't display any terms under lib.base.FFI.Ptr namespaceΒ #6200
Copy link
Copy link
Open
Labels
Description
Describe and demonstrate the bug
It seems I can't display anything under the FFI.Ptr namespace:
> docs Ptr
results in
Encountered exception:
refLookup:tm: unknown reference: ReferenceBuiltin "FFI.Ptr.null"
CallStack (from HasCallStack):
error, called at src/Unison/Runtime/Machine/Types.hs:82:7 in unison-runtime-0.0.0-6M4oD4lzyXlvcxOVRWT63:Unison.Runtime.Machine.Types
or
> display lib.base.FFI.Ptr.nullbase.FFI.Ptr.null
Encountered exception:
user error (π
Error in prepareEvaluation, cache is missing: [ReferenceBuiltin "FFI.Ptr.null"]
This is a Unison bug and you can report it here:
https://github.com/unisonweb/unison/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+E029347+
Bug reference: E029347
If there's already an issue with this reference, you can give a π
on the issue to let the team know you encountered it, and you can add
any additional details you know of to the issue.
)
Environment (please complete the following information):
ucm --versionrelease/1.1.0- OS/Architecture: ubuntu linux
Additional context
First thought it may have been due to upgrading base, but I've just tried it on an empty project and same problem.
display/docs works fine for other terms, as far as I can see.
Reactions are currently unavailable