search

plow-technologies / inferno

A statically-typed functional scripting language
MIT License
4 stars 1 forks source link

Revert usage of chooseInt (not supported on old Quickcheck versions) #34

Closed mirko-plowtech closed 1 year ago

mirko-plowtech commented 1 year ago

Issue: Trying to use Inferno in our internal repo:

src/Inferno/Instances/Arbitrary.hs:79:5: error:
    Module ‘Test.QuickCheck’ does not export ‘chooseInt’
   |
79 |     chooseInt,
   |     ^^^^^^^^^
[19 of 19] Compiling Inferno.Utils.QQ.Script ( src/Inferno/Utils/QQ/Script.hs, dist/build/Inferno/Utils/QQ/Script.o )
error: builder for '/nix/store/g05v588giyqmlhsc0lrdw4iir9sasyfa-inferno-core-lib-inferno-core-0.1.2.drv' failed with exit code 1;
       last 10 log lines:
       > [16 of 19] Compiling Inferno.Utils.QQ.Module ( src/Inferno/Utils/QQ/Module.hs, dist/build/Inferno/Utils/QQ/Module.o )
       > [17 of 19] Compiling Inferno.Module.Prelude ( src/Inferno/Module/Prelude.hs, dist/build/Inferno/Module/Prelude.o )
       > [18 of 19] Compiling Inferno.Instances.Arbitrary ( src/Inferno/Instances/Arbitrary.hs, dist/build/Inferno/Instances/Arbitrary.o )
       >
       > src/Inferno/Instances/Arbitrary.hs:79:5: error:
       >     Module ‘Test.QuickCheck’ does not export ‘chooseInt’
       >    |
       > 79 |     chooseInt,
       >    |     ^^^^^^^^^
       > [19 of 19] Compiling Inferno.Utils.QQ.Script ( src/Inferno/Utils/QQ/Script.hs, dist/build/Inferno/Utils/QQ/Script.o )
       For full logs, run 'nix log /nix/store/g05v588giyqmlhsc0lrdw4iir9sasyfa-inferno-core-lib-inferno-core-0.1.2.drv'.