Skip to content

ucm can't display any terms under lib.base.FFI.Ptr namespaceΒ #6200

@lJoublanc

Description

@lJoublanc

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 --version release/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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions