Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Vessel fails to build for android #23

Open
tdimiduk opened this issue Oct 13, 2022 · 1 comment
Open

Vessel fails to build for android #23

tdimiduk opened this issue Oct 13, 2022 · 1 comment

Comments

@tdimiduk
Copy link

...
Looking for equivalent to: vessel-0.2.1.0-JOuWRz7gVHI1zxDH31bKf6-vessel-tutorial

tutorial/Tutorial.lhs:359:1: error:
    • Failed to load interface for ‘Tutorial’
      no unit id matching ‘vessel-0.2.1.0-JOuWRz7gVHI1zxDH31bKf6-vessel-tutorial’ was found
    • In the second argument of ‘Data.Constraint.Extras.ArgDict’, namely
        ‘vessel-0.2.1.0-JOuWRz7gVHI1zxDH31bKf6-vessel-tutorial:Tutorial.Qvessel’
      In the instance declaration for
        ‘Data.Constraint.Extras.ArgDict c_aHEw vessel-0.2.1.0-JOuWRz7gVHI1zxDH31bKf6-vessel-tutorial:Tutorial.Qvessel’
    |
359 | deriveArgDict ''Qvessel
    | ^^^^^^^^^^^^^^^^^^^^^^^

error: builder for '/nix/store/n9jqjriaxzx0yg07n0v1qz5x1z040r0d-vessel-0.2.1.0-aarch64-unknown-linux-android.drv' failed with exit code 1;
       last 10 log lines:
       >     • Failed to load interface for ‘Tutorial’
       >       no unit id matching ‘vessel-0.2.1.0-JOuWRz7gVHI1zxDH31bKf6-vessel-tutorial’ was found
       >     • In the second argument of ‘Data.Constraint.Extras.ArgDict’, namely
       >         ‘vessel-0.2.1.0-JOuWRz7gVHI1zxDH31bKf6-vessel-tutorial:Tutorial.Qvessel’
       >       In the instance declaration for
       >         ‘Data.Constraint.Extras.ArgDict c_aHEw vessel-0.2.1.0-JOuWRz7gVHI1zxDH31bKf6-vessel-tutorial:Tutorial.Qvessel’
       >     |
       > 359 | deriveArgDict ''Qvessel
       >     | ^^^^^^^^^^^^^^^^^^^^^^^
@mankyKitty
Copy link

Can you provide some specifics about the steps you're using to provoke this error? Is it in a larger Obelisk project or a clone of this repository?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants