molleweide

molleweide

Effective Haskell: ch 2 > destructuring lists

  1. The function I am testing is handleNums on page 68.

It returns this error message:

    λ: :reload
    [1 of 1] Compiling Main             ( Chapter2.hs, interpreted )

    Chapter2.hs:306:1: error:
        • Non type-variable argument
            in the constraint: Show ((a -> Bool) -> Bool)
          (Use FlexibleContexts to permit this)
        • When checking the inferred type
            handleNums :: forall a.
                          (Integral a, Show ((a -> Bool) -> Bool), Num ((a -> Bool) -> Bool),
                           Eq ((a -> Bool) -> Bool)) =>
                          [(a -> Bool) -> Bool] -> [Char]
        |
    306 | handleNums l =
        | ^^^^^^^^^^^^^^...
    Failed, no modules loaded.
  1. I sort of understand the err msg but I add this info here so you can see that this can happen to a reader.

  2. Did I post this information under the correct category. Is “errata” correct or should I have chose something else?

  3. The book is great! I’m chugging along and it feels really good.

First Post!

RebeccaSkinner

RebeccaSkinner

Author of Effective Haskell

Hi! Can you share the code that you are trying to load. I can’t reproduce this error from the example locally.

Where Next?

Popular Pragmatic Bookshelf topics Top

jimschubert
In Chapter 3, the source for index introduces Config on page 31, followed by more code including tests; Config isn’t introduced until pag...
New
telemachus
Python Testing With Pytest - Chapter 2, warnings for “unregistered custom marks” While running the smoke tests in Chapter 2, I get these...
New
jeffmcompsci
Title: Design and Build Great Web APIs - typo “https://company-atk.herokuapp.com/2258ie4t68jv” (page 19, third bullet in URL list) Typo:...
New
JohnS
I can’t setup the Rails source code. This happens in a working directory containing multiple (postgres) Rails apps. With: ruby-3.0.0 s...
New
New
leba0495
Hello! Thanks for the great book. I was attempting the Trie (chap 17) exercises and for number 4 the solution provided for the autocorre...
New
adamwoolhether
I’m not quite sure what’s going on here, but I’m unable to have to containers successfully complete the Readiness/Liveness checks. I’m im...
New
creminology
Skimming ahead, much of the following is explained in Chapter 3, but new readers (like me!) will hit a roadblock in Chapter 2 with their ...
New
SlowburnAZ
Getting an error when installing the dependencies at the start of this chapter: could not compile dependency :exla, "mix compile" failed...
New
New

Other popular topics Top

AstonJ
If it’s a mechanical keyboard, which switches do you have? Would you recommend it? Why? What will your next keyboard be? Pics always w...
New
PragmaticBookshelf
Machine learning can be intimidating, with its reliance on math and algorithms that most programmers don't encounter in their regular wor...
New
PragmaticBookshelf
Andy and Dave wrote this influential, classic book to help their clients create better software and rediscover the joy of coding. Almost ...
New
PragmaticBookshelf
Free and open source software is the default choice for the technologies that run our world, and it’s built and maintained by people like...
New
DevotionGeo
I know that these benchmarks might not be the exact picture of real-world scenario, but still I expect a Rust web framework performing a ...
New
PragmaticBookshelf
Design and develop sophisticated 2D games that are as much fun to make as they are to play. From particle effects and pathfinding to soci...
New
Exadra37
Oh just spent so much time on this to discover now that RancherOS is in end of life but Rancher is refusing to mark the Github repo as su...
New
PragmaticBookshelf
Build highly interactive applications without ever leaving Elixir, the way the experts do. Let LiveView take care of performance, scalabi...
New
PragmaticBookshelf
Rails 7 completely redefines what it means to produce fantastic user experiences and provides a way to achieve all the benefits of single...
New
sir.laksmana_wenk
I’m able to do the “artistic” part of game-development; character designing/modeling, music, environment modeling, etc. However, I don’t...
New

Sub Categories: