GithubHelp home page GithubHelp logo

Comments (5)

chrisdone avatar chrisdone commented on May 22, 2024

QuickCheck wrongly assumes it's in a terminal. I can add specific support for this in the REPL, but it's basically not a terminal.

from haskell-mode.

cmears avatar cmears commented on May 22, 2024

I think it's fair to say that QuickCheck is wrong here. On a related note, should hIsTerminalDevice stdout return True in the REPL? (It currently does return True, but QuickCheck doesn't seem to check it in any case.)

from haskell-mode.

chrisdone avatar chrisdone commented on May 22, 2024

It shouldn't really. I don't see any way in launching it in Elisp to not launch it as a terminal. One could pipe it to cat, but highly inportable.

from haskell-mode.

ShaneDrury avatar ShaneDrury commented on May 22, 2024

I don't mean to dredge up a 4 year old issue, but it can be fixed by adding

(add-hook 'haskell-mode-hook
       '(lambda ()
          (setq process-connection-type nil)))

to your .emacs file. From https://sites.google.com/site/haskell/notes/ghci610emacsmadness

from haskell-mode.

ivan-m avatar ivan-m commented on May 22, 2024

@ShaneDrury are you sure it's relevant? That page says it doesn't apply as of 6.10.3.

from haskell-mode.

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.