Could not find module ‘Test.QuickCheck’ on Windows












0















My ghci version is 8.4.3



I tried



stack install QuickCheck


Something was installed. But when I input import Test.QuickCheck, it tells Could not find module ‘Test.QuickCheck’ again. How can I fix it?






haskell quickcheck







share|improve this question



























    0















    My ghci version is 8.4.3



    I tried



    stack install QuickCheck


    Something was installed. But when I input import Test.QuickCheck, it tells Could not find module ‘Test.QuickCheck’ again. How can I fix it?






    haskell quickcheck







    share|improve this question

























      0












      0








      0


      1






      My ghci version is 8.4.3



      I tried



      stack install QuickCheck


      Something was installed. But when I input import Test.QuickCheck, it tells Could not find module ‘Test.QuickCheck’ again. How can I fix it?






      haskell quickcheck







      share|improve this question














      My ghci version is 8.4.3



      I tried



      stack install QuickCheck


      Something was installed. But when I input import Test.QuickCheck, it tells Could not find module ‘Test.QuickCheck’ again. How can I fix it?






      haskell quickcheck




      haskell quickcheck






      share|improve this question













      share|improve this question











      share|improve this question




      share|improve this question










      asked Nov 20 '18 at 22:03









      user8314628user8314628

      587210




      587210
























          2 Answers
          2






          active

          oldest

          votes


















          4














          Firstly, stack install is not recommended for installing executables or libraries. Instead, there's a couple of things you can do to use the QuickCheck library:




          • If you want to use QuickCheck in a command such as stack ghci or stack ghc, you can add it as a --package option e.g. to run a REPL to play around with QuickCheck you can use stack ghci --package QuickCheck and then write import Test.QuickCheck.

          • If you want to write a small one-file program using QuickCheck, then you can run stack ghc --package QuickCheck -- MyProgram.hs (using the --package option from the last bullet point). Alternately, you can use stack's scripting functionality and include a line such as this at the top of your program:

            -- stack --resolver lts-12.18 script --package QuickCheck


          • If you want to use QuickCheck in a large project, then add it as a dependency in your my-program.cabal or project.yaml file.


          The same guidance applies to any package you may want to use.






          share|improve this answer































            0















            1. Download QuickCheck-2.12.6.1.tar.gz


            2. cabal install QuickCheck-2.12.6.1.tar.gz







            share|improve this answer
























            • There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

              – Chris Smith
              Nov 20 '18 at 22:38











            • It doesn't work. I tried that also.

              – user8314628
              Nov 20 '18 at 22:57











            Your Answer






            StackExchange.ifUsing("editor", function () {
            StackExchange.using("externalEditor", function () {
            StackExchange.using("snippets", function () {
            StackExchange.snippets.init();
            });
            });
            }, "code-snippets");

            StackExchange.ready(function() {
            var channelOptions = {
            tags: "".split(" "),
            id: "1"
            };
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function() {
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled) {
            StackExchange.using("snippets", function() {
            createEditor();
            });
            }
            else {
            createEditor();
            }
            });

            function createEditor() {
            StackExchange.prepareEditor({
            heartbeatType: 'answer',
            autoActivateHeartbeat: false,
            convertImagesToLinks: true,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            imageUploader: {
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            },
            onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            });


            }
            });














            draft saved

            draft discarded


















            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53402263%2fcould-not-find-module-test-quickcheck-on-windows%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            2 Answers
            2






            active

            oldest

            votes








            2 Answers
            2






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            4














            Firstly, stack install is not recommended for installing executables or libraries. Instead, there's a couple of things you can do to use the QuickCheck library:




            • If you want to use QuickCheck in a command such as stack ghci or stack ghc, you can add it as a --package option e.g. to run a REPL to play around with QuickCheck you can use stack ghci --package QuickCheck and then write import Test.QuickCheck.

            • If you want to write a small one-file program using QuickCheck, then you can run stack ghc --package QuickCheck -- MyProgram.hs (using the --package option from the last bullet point). Alternately, you can use stack's scripting functionality and include a line such as this at the top of your program:

              -- stack --resolver lts-12.18 script --package QuickCheck


            • If you want to use QuickCheck in a large project, then add it as a dependency in your my-program.cabal or project.yaml file.


            The same guidance applies to any package you may want to use.






            share|improve this answer




























              4














              Firstly, stack install is not recommended for installing executables or libraries. Instead, there's a couple of things you can do to use the QuickCheck library:




              • If you want to use QuickCheck in a command such as stack ghci or stack ghc, you can add it as a --package option e.g. to run a REPL to play around with QuickCheck you can use stack ghci --package QuickCheck and then write import Test.QuickCheck.

              • If you want to write a small one-file program using QuickCheck, then you can run stack ghc --package QuickCheck -- MyProgram.hs (using the --package option from the last bullet point). Alternately, you can use stack's scripting functionality and include a line such as this at the top of your program:

                -- stack --resolver lts-12.18 script --package QuickCheck


              • If you want to use QuickCheck in a large project, then add it as a dependency in your my-program.cabal or project.yaml file.


              The same guidance applies to any package you may want to use.






              share|improve this answer


























                4












                4








                4







                Firstly, stack install is not recommended for installing executables or libraries. Instead, there's a couple of things you can do to use the QuickCheck library:




                • If you want to use QuickCheck in a command such as stack ghci or stack ghc, you can add it as a --package option e.g. to run a REPL to play around with QuickCheck you can use stack ghci --package QuickCheck and then write import Test.QuickCheck.

                • If you want to write a small one-file program using QuickCheck, then you can run stack ghc --package QuickCheck -- MyProgram.hs (using the --package option from the last bullet point). Alternately, you can use stack's scripting functionality and include a line such as this at the top of your program:

                  -- stack --resolver lts-12.18 script --package QuickCheck


                • If you want to use QuickCheck in a large project, then add it as a dependency in your my-program.cabal or project.yaml file.


                The same guidance applies to any package you may want to use.






                share|improve this answer













                Firstly, stack install is not recommended for installing executables or libraries. Instead, there's a couple of things you can do to use the QuickCheck library:




                • If you want to use QuickCheck in a command such as stack ghci or stack ghc, you can add it as a --package option e.g. to run a REPL to play around with QuickCheck you can use stack ghci --package QuickCheck and then write import Test.QuickCheck.

                • If you want to write a small one-file program using QuickCheck, then you can run stack ghc --package QuickCheck -- MyProgram.hs (using the --package option from the last bullet point). Alternately, you can use stack's scripting functionality and include a line such as this at the top of your program:

                  -- stack --resolver lts-12.18 script --package QuickCheck


                • If you want to use QuickCheck in a large project, then add it as a dependency in your my-program.cabal or project.yaml file.


                The same guidance applies to any package you may want to use.







                share|improve this answer












                share|improve this answer



                share|improve this answer










                answered Nov 20 '18 at 22:28









                bradrnbradrn

                1,015512




                1,015512

























                    0















                    1. Download QuickCheck-2.12.6.1.tar.gz


                    2. cabal install QuickCheck-2.12.6.1.tar.gz







                    share|improve this answer
























                    • There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

                      – Chris Smith
                      Nov 20 '18 at 22:38











                    • It doesn't work. I tried that also.

                      – user8314628
                      Nov 20 '18 at 22:57
















                    0















                    1. Download QuickCheck-2.12.6.1.tar.gz


                    2. cabal install QuickCheck-2.12.6.1.tar.gz







                    share|improve this answer
























                    • There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

                      – Chris Smith
                      Nov 20 '18 at 22:38











                    • It doesn't work. I tried that also.

                      – user8314628
                      Nov 20 '18 at 22:57














                    0












                    0








                    0








                    1. Download QuickCheck-2.12.6.1.tar.gz


                    2. cabal install QuickCheck-2.12.6.1.tar.gz







                    share|improve this answer














                    1. Download QuickCheck-2.12.6.1.tar.gz


                    2. cabal install QuickCheck-2.12.6.1.tar.gz








                    share|improve this answer












                    share|improve this answer



                    share|improve this answer










                    answered Nov 20 '18 at 22:17









                    user8314628user8314628

                    587210




                    587210













                    • There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

                      – Chris Smith
                      Nov 20 '18 at 22:38











                    • It doesn't work. I tried that also.

                      – user8314628
                      Nov 20 '18 at 22:57



















                    • There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

                      – Chris Smith
                      Nov 20 '18 at 22:38











                    • It doesn't work. I tried that also.

                      – user8314628
                      Nov 20 '18 at 22:57

















                    There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

                    – Chris Smith
                    Nov 20 '18 at 22:38





                    There's no need to install from a download. If you're using cabal-install, just run cabal install QuickCheck and let the resolver do its thing.

                    – Chris Smith
                    Nov 20 '18 at 22:38













                    It doesn't work. I tried that also.

                    – user8314628
                    Nov 20 '18 at 22:57





                    It doesn't work. I tried that also.

                    – user8314628
                    Nov 20 '18 at 22:57


















                    draft saved

                    draft discarded




















































                    Thanks for contributing an answer to Stack Overflow!


                    • Please be sure to answer the question. Provide details and share your research!

                    But avoid …



                    • Asking for help, clarification, or responding to other answers.

                    • Making statements based on opinion; back them up with references or personal experience.


                    To learn more, see our tips on writing great answers.




                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53402263%2fcould-not-find-module-test-quickcheck-on-windows%23new-answer', 'question_page');
                    }
                    );

                    Post as a guest















                    Required, but never shown





















































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown

































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown







                    -

                    這個網誌中的熱門文章

                    Tangent Lines Diagram Along Smooth Curve

                    圖片
                    7 1 I am trying to replicate a diagram and have a minimal example. I don't know how to add additional tangents between the specified points and preserve smoothness. documentclass{article} usepackage{tikz} usetikzlibrary{calc,intersections} begin{document} begin{tikzpicture} % Axes draw [->, name path=x] (-1,0) -- (11,0) node [right] {$x$}; draw [->] (0,-1) -- (0,6) node [above] {$y$}; % Origin node at (0,0) [below left] {$0$}; % Points coordinate (start) at (1,-0.8); coordinate (c1) at (3,3); coordinate (c2) at (5.5,1.5); coordinate (c3) at (8,4); coordinate (end) at (10.5,-0.8); % show the points foreach n in {start,c1,c2,c3,end} fill [black] (n) circle (2pt) node [below] {}; % join the coordinates draw [thick,name path=curve] (start) to[out=70,in=180] (c1) to[out=0,in=180]
                    閱讀完整內容

                    Yusuf al-Mu'taman ibn Hud

                    圖片
                    Main article: Taifa of Zaragoza Al-Mu'taman Ruler of Zaragoza Reign 1081–1085 Predecessor Ahmad al-Muqtadir Successor Al-Mustain II Born Zaragoza Died 1085 Full name Yusuf ibn Ahmad al-Mu'taman ibn Hūd House Banu Hud Yusuf ibn Ahmad al-Mu'taman ibn Hūd (Arabic: المؤتمن بالله يوسف إبن أحمد إبن هود ‎, al-Mutaman bi l-Lah , died c. 1085) was the third king of the Banu Hud dynasty who ruled over the Taifa of Zaragoza from 1081 to 1085. Yusuf al-Mutaman reigned during the height of power of Muslim Zaragoza , following the thriving period of his father Ahmad al-Muqtadir. He continued his father's efforts and created around him a court of intellectuals, living in the beautiful palace of Aljafería, nicknamed as "the palace of joy". Al-Mu'taman was also a scholarly king and a patron of science, philosophy and arts. As an example of a wise king, he knew astrology, philosophy, and especially mathematics, a discipline in which
                    閱讀完整內容

                    Zucchini

                    圖片
                    This article is about the vegetable. For other uses, see Zucchini (disambiguation). Zucchini (courgette) A striped and a uniform color zucchini Genus Cucurbita Species Cucurbita pepo Origin 19th century northern Italy The zucchini ( / z uː ˈ k iː n i / , American English) or courgette ( / k ʊər ˈ ʒ ɛ t / , British English) is a summer squash which can reach nearly 1 metre (100 cm; 39 in) in length, but is usually harvested when still immature at about 15 to 25 cm (6 to 10 in). [1] A zucchini is a thin-skinned cultivar of what in Britain and Ireland is referred to as a marrow. [2] [3] In South Africa, a zucchini is known as a baby marrow. Along with certain other squashes and pumpkins, the zucchini belongs to the species Cucurbita pepo . It can be dark or light green. A related hybrid, the golden zucchini, is a deep yellow or orange color. [4] In a culinary context, the zucchini is treated as a vegetable; it is usually cooked and presented as a savory dish o
                    閱讀完整內容