I have installed QuickChick using opam using the instructions given on QuickChick's GitHub page:
https://github.com/QuickChick/QuickChick
After a successful installation, I tried to run the QuickChick tutorial
https://github.com/QuickChick/QuickChick/blob/master/examples/Tutorial.v
and Coq returned the following error message
Error:
Cannot find a physical path bound to logical path matching suffix
<> and prefix QuickChick.
when I tried to process the line
From QuickChick Require Import QuickChick.
I'm running Coq 8.8, Opam 1.2.2, Ocaml 4.04.0 and Coq-QuickChick 1.0.1 on Ubuntu 16.04. Is there some configuration that am I missing?
Related
i'm using poetry version 1.2.2 and python 3.11
I want to read the sql query using polars like pl.read_sql()
but it requires the connectorx library.
I am able to install that library using pip install connectorx but poetry add connectorx is giving this error:
RuntimeError
Unable to find installation candidates for connectorx (0.3.1)
at ~\AppData\Local\Programs\Python\Python311\Lib\site-packages\poetry\installation\chooser.py:103 in choose_for
99│
100│ links.append(link)
101│
102│ if not links:
→ 103│ raise RuntimeError(f"Unable to find installation candidates for {package}")
104│
105│ # Get the best link
106│ chosen = max(links, key=lambda link: self._sort_key(package, link))
107│
Tried clearing the cache of poetry
Tried adding into pyproject.toml
connectorx neither provide a wheel file for python 3.11 nor a source distribution from which a wheel could be build. See https://pypi.org/project/connectorx/#files
So there is no way to install it on python 3.11
For a ML project on credit-card (ML with python coursera) I needed to import snapml. But unfortunately in pip install module its not unstalling.
Its showing -" error could not find a version that satisfies the requirement snapml"
and "error no matching distribuition found for snapml"
I also tried .whl file which also isnt working.
What should I do fix the issues?
Tried to install and didnt work
I used OPAM to install bignum
$ opam upgrade bignum
Already up-to-date.
With coq 8.6 the code Require Import BigN. imported the library but
with coq 8.7 I get an error.
So I isolate this line of code in a file bignum_problem.v. Then running
coqc bignum_problem produces the response
File "./bignum_problem.v", line 1, characters 15-19:
Error: Unable to locate library BigN.
The documentation for Coq modules suggests that I need a file BigN.vo but no such file appears in the .opam directory. What am I missing?
It seems that bignum refers to an OCaml library; you might want to install coq-bignums instead. I just installed that library on my machine and was able to require BigN with the command
From Bignums Require Import BigN.
I installed EclipseFP, the Haskell plugin for Eclipse, on my Ubuntu 12.04 machine running Eclipse 3.7.2 and ghc(i) 7.4.1. Everytime I start Eclipse, EclipseFP asks me to install the helper executable scion-browser (0.2.12) and buildrunner (0.7.2) but ultimately fails installing both.
Trying cabal install scion-browser (or cabal install haskeline) on the command line fails with
Resolving dependencies...
cabal: Error: some packages failed to install:
haskeline-0.7.1.2 failed during the configure step. The exception was:
user error (The package requires Cabal library version -any && >=1.16 but no
suitable version is installed.)
Whereas cabal install buildwrapper fails with
Resolving dependencies...
Configuring buildwrapper-0.7.7...
Building buildwrapper-0.7.7...
Preprocessing library buildwrapper-0.7.7...
[1 of 7] Compiling Language.Haskell.BuildWrapper.Base ( src/Language/Haskell/BuildWrapper/Base.hs, dist/build/Language/Haskell/BuildWrapper/Base.o )
[2 of 7] Compiling Language.Haskell.BuildWrapper.GHCStorage ( src/Language/Haskell/BuildWrapper/GHCStorage.hs, dist/build/Language/Haskell/BuildWrapper/GHCStorage.o )
src/Language/Haskell/BuildWrapper/GHCStorage.hs:542:22:
Couldn't match expected type `scientific-0.2.0.1:Data.Scientific.Scientific'
with actual type `Number'
In the pattern: I l
In the pattern: Number (I l)
In the pattern: Just (Number (I l))
cabal: Error: some packages failed to install:
buildwrapper-0.7.7 failed during the building phase. The exception was:
ExitFailure 1
Any help would be greatly appreciated as I don't seem to be able to find any Google hits on either error.
EDIT:
After reinstalling Haskell (it seems I had two versions of containers installed which runhaskell Setup.hs configure --user rightly complained about), I can now configure BuildWrapper but building it fails with the following error:
[3 of 7] Compiling Language.Haskell.BuildWrapper.GHC ( src/Language/Haskell/BuildWrapper/GHC.hs, dist/build/Language/Haskell/BuildWrapper/GHC.o )
src/Language/Haskell/BuildWrapper/GHC.hs:522:37:
The function `showPpr' is applied to two arguments,
but its type `a0 -> String' has only one
In the second argument of `(++)', namely `showPpr dflags bname'
In the expression: "show " ++ showPpr dflags bname
In an equation for `exprS': exprS = "show " ++ showPpr dflags bname
The issue with BuildWrapper is due to a breaking change in Aeson. See https://github.com/JPMoresmau/BuildWrapper/issues/20. You can get the buildwrapper source code from github (which fixes the bounds and adapts the code) or force the install of Aeson 0.6.
For Haskeline I'm not sure, can you try to install haskeline on its own?
i think you should install newer cabal library acoording message: The package requires Cabal library version -any && >=1.16.
cabal update
cabal install cabal
cabal install cabal-install
cabal --version
should be:
using version 1.20.0.0 of the Cabal library
if not fix your PATH. new cabal binary is probably in ~/.cabal/bin
then:
cabal install haskeline
I had the same error (The function `showPpr' is applied to two arguments), both while installing with cabal and building from source.
I tried with an older version of aeson,
cabal install buildwrapper --constraint=aeson==0.6.2.1
Be careful to replace the aeson version with the version you have closer to 0.6.2.1
It produced lot of warning, still it could build successfully.
I learnt basisc about Scheme and want to try Guile.
When copied this sample here the first one and run as a script, an Error occured,
$ guile copy.scm
ERROR: no code for module (gnome-2)
My laptop runs Fedora 16 x86_64, with yum install guile*
How to deal with Guile's modules?
May be you need guile-gnome-plataform-devel?