GithubHelp home page GithubHelp logo

Comments (4)

jneira avatar jneira commented on June 2, 2024 1

@andrewufrank hi, thanks for the bug report, although the workaround provided by @fendor would make it work, it should work out-of-the-box too
could you paste the hie.yaml generated by gen-hie and the .cabal file?
From the logs:

  • it tries to load /home/frank/Workspace11/uniformBase/uniformSources/uniform-algebras/app/Main.hs
  • but the hie.yaml does not have the prefix for the executable only for the lib: src\

So if the .cabal file has an excutable stanza, this would be a implicit-hie bug

from implicit-hie.

fendor avatar fendor commented on June 2, 2024

Not knowing anything about this particular issue of implicit-hie, but there is also cabal-hie which generates a hie.yaml based on the generated plan.json (in other words, you need to call cabal build before cabal-hie works).

Additionally, if you use cabal 3.4 you don't need a generated hie.yaml as cabal is smart enough to figure it out on its own.
It is enough to have a hie.yaml:

cradle:
  cabal:

from implicit-hie.

andrewufrank avatar andrewufrank commented on June 2, 2024

@jneira: I have to check later (at the moment there is no executable).

from implicit-hie.

andrewufrank avatar andrewufrank commented on June 2, 2024

@fendor: thank you for the clarification. I was not aware that I could use cabal-hie - could you see that documentation could be improved? I am grateful that it is automatic and a minimal cradle is all what is needed. Now I can start HLS without getting error message about no prefix matches. I hope it works as intended now! Thank you for help!

from implicit-hie.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.