- Beginners - Haskell.org

Got "Non type-variable argument in the constraint" error for a simple function
by wizard 09 Feb '16

09 Feb '16

Dear all, I just started to learn Haskell with learnyouahaskell.com and at the very beginning, I met a strange issue with following simple function: -- why does work with "toZero 10" but not for "toZero -10"?toZero :: (Integral t) => t -> [t]toZero 0 = [0]toZero x = if x > 0 then x : toZero (x - 1) else x : toZero (x + 1) This function works as expected for positive arguments, e.g., "toZero 10" gives me [10,9,8,7,6,5,4,3,2,1,0]. However, GHCI will raise following error if I give it a negative argument, e.g., "toZero -10": *Main> toZero -10 <interactive>:12:1: Non type-variable argument in the constraint: Num (t -> [t]) (Use FlexibleContexts to permit this) When checking that ‘it’ has the inferred type it :: forall t. (Integral t, Num (t -> [t])) => t -> [t] This seems strange to me as 10 and -10 has exactly the same type "Num a => a". I've done with chapter 1~10 of learnyouahaskell.com but still has no idea on why this error. Anybody can help to explain this? Thanks a lot. Regards Zhiyi Xie

3 3

How to convert ST.Trans Array to ByteString efficiently?
by John Ky 07 Feb '16

07 Feb '16

Anyone know of an efficient way to convert a ST.Trans Array to a ByteString? Or is this it? https://github.com/haskell-works/conduit-succinct-json/commit/1427f10ce67de… Cheers, -John

1 0

generating object file for ARM
by Fabien R 07 Feb '16

07 Feb '16

Hello, I would like to link my Haskell module with existing object files for armv7-m. I use ghc 7.4.1 on debian/amd64. This command seems incorrect: ghc -pgmcarm-none-eabi-gcc -pgmParm-none-eabi-cpp -pgmaarm-none-eabi-as -pgmlarm-none-eabi-ld -keep-tmp-files HaskellModule.hs A lot of errors appeared: [1 of 1] Compiling HaskellModule ( HaskellModule.hs, HaskellModule.o ) /tmp/ghc13654_0/ghc13654_0.s: Assembler messages: /tmp/ghc13654_0/ghc13654_0.s:5:0: Error: unrecognized symbol type "" /tmp/ghc13654_0/ghc13654_0.s:17:0: Error: unrecognized symbol type "" /tmp/ghc13654_0/ghc13654_0.s:29:0: Error: bad instruction `leaq -40(%rbp),%rax' /tmp/ghc13654_0/ghc13654_0.s:30:0: Error: bad instruction `cmpq %r15,%rax' Any hints ? -- Fabien

2 2

tuple space
by Mike Houghton 06 Feb '16

06 Feb '16

Hi, I’m thinking about how to write a Tuple Space (TS) in Haskell. A tuple can have many fields of different types, in pseudo code something like T = (1, ”A string”, 3.4) i.e. an int, string and double. How can this (and the many variations) be done in Haskell? (In Java it would be a list of Object) Thanks Mike

3 7

Why does sequence (map print [1, 2, 3, 4, 5]) produce [(), (), (), (), ()] at the end?
by Olumide 03 Feb '16

03 Feb '16

Hello list, The question says it all. BTW, I'm studying LYH and I'm on the chapter on IO. The book offers and explanation but its not very clear -- to me at least. Thanks, - Olumide

3 4

foldr on infinite list to decide prime number
by Chul-Woong Yang 03 Feb '16

03 Feb '16

Hi, all. While I know that foldr can be used on infinite list to generate infinite list, I'm having difficulty in understaind following code: isPrime n = n > 1 && -- from haskell wiki foldr (\p r -> p*p > n || ((n `rem` p) /= 0 && r)) True primes primes = 2 : filter isPrime [3,5..] primes is a infinite list of prime numbers, and isPrime does foldr to get a boolean value. What causes foldr to terminate folding? Any helps will be deeply appreciated. Thank you. Chul-Woong

5 9

foldr with short circuit and accumulator
by Chul-Woong Yang 03 Feb '16

03 Feb '16

Hi, all. Can it be possible to do fold with short circuit and accumulator both? For example, can we find an element which is same value to adjacent one? findAdjacent [1,2..n, n, n+1, n+2.......] => n \__very long__/ Though there can be many ways to do it, Can we do it with fold[r|l]? I'll be happy to receive any comments. Chul-Woong

3 4

Strange type error with hsc2hs and cabal
by PICCA Frederic-Emmanuel 31 Jan '16

31 Jan '16

Hello, I am still playing with FFI. Now I create a real project with cabal end build a library and an executable for my project. ---hkl.cabal--- name: hkl version: 0.1.0.0 executable ghkl main-is: ghkl.hs build-depends: base >=4.8 && <4.9 , containers >=0.5 && <0.6 , filepath , gtk >=0.13 && <0.14 , hkl hs-source-dirs: src default-language: Haskell2010 pkgconfig-depends: hkl build-tools: hsc2hs library exposed-modules: Hkl, Hkl.Types, Hkl.C, Hkl.DArray other-extensions: CPP, ForeignFunctionInterface, EmptyDataDecls, TypeFamilies, FlexibleInstances, FlexibleContexts, RecordWildCards build-depends: base >=4.8 && <4.9, containers >=0.5 && <0.6 hs-source-dirs: src build-tools: hsc2hs default-language: Haskell2010 pkgconfig-depends: hkl --- --- but when I compile my project I get this errormessage which is really strange. $ cabal build Package has never been configured. Configuring with default flags. If this fails, please run configure manually. Warning: The package list for 'hackage.haskell.org' is 17.1 days old. Run 'cabal update' to get the latest list of available packages. Resolving dependencies... Configuring hkl-0.1.0.0... Warning: 'data-files: ../../gui/ghkl.ui' is a relative path outside of the source tree. This will not work when generating a tarball with 'sdist'. Building hkl-0.1.0.0... Preprocessing library hkl-0.1.0.0... [1 of 4] Compiling Hkl.Types ( src/Hkl/Types.hs, dist/build/Hkl/Types.o ) [2 of 4] Compiling Hkl.C ( src/Hkl/C.hs, dist/build/Hkl/C.o ) [3 of 4] Compiling Hkl.DArray ( dist/build/Hkl/DArray.hs, dist/build/Hkl/DArray.o ) [4 of 4] Compiling Hkl ( src/Hkl.hs, dist/build/Hkl.o ) In-place registering hkl-0.1.0.0... Preprocessing executable 'ghkl' for hkl-0.1.0.0... [1 of 4] Compiling Hkl.Types ( src/Hkl/Types.hs, dist/build/ghkl/ghkl-tmp/Hkl/Types.o ) [2 of 4] Compiling Hkl.C ( src/Hkl/C.hs, dist/build/ghkl/ghkl-tmp/Hkl/C.o ) [3 of 4] Compiling Hkl ( src/Hkl.hs, dist/build/ghkl/ghkl-tmp/Hkl.o ) [4 of 4] Compiling Main ( src/ghkl.hs, dist/build/ghkl/ghkl-tmp/Main.o ) src/ghkl.hs:44:39: Couldn't match expected type ‘Hkl.Types.EngineList’ with actual type ‘Hkl.EngineList’ NB: ‘Hkl.Types.EngineList’ is defined in ‘Hkl.Types’ in package ‘hkl-0.1.0.0’ ‘Hkl.EngineList’ is defined at src/Hkl/Types.hs:22:1-74 In the first argument of ‘Hkl.engineListEnginesGet’, namely ‘engines’ In a stmt of a 'do' block: tmp <- Hkl.engineListEnginesGet engines if I add a other-modules to ghkl an remove the hkl dependecy it work great. so what is wrong with this project. PS: the DArray module is indeed the one using hsc2hs :) Thansk for your help Frederic

1 0

Is it possible to use a <> constructor in analogy to [] ?
by martin 29 Jan '16

29 Jan '16

Hello all, I've written my own Read and Show instances for a type, which is essentially data Crust a = Open [a] | Closed [a] "Show" does something like *Main> Closed [1,2,3] <1,2,3> *Main> Open [1,2,3] <1,2,3..> And Read faithully parses each stings and turns it into a Crust again. Problem is: when I just type <1,2,3..> in GHCi I get a "parse error on input ‘<’". However when I spell out the custructor as above it parses it okay. Is it possible at all to write my own <> constructor, or something like it=

2 1

Re: [Haskell-beginners] Custom type classes
by Guillaume Bouchard 29 Jan '16

29 Jan '16

May I suggest using FunctionalDependencies https://wiki.haskell.org/Functional_dependencies The class declaration is changed to class Indexable idx a | idx -> a where first :: idx -> a This just means that *a* is fully determined by idx (your tuple). Hence, instead of using as suggested first $ Tuple3 (1::Int) 'a' False::Int You can simplify and let the inference do its magic and use: first $ Tuple3 1 'a' False On Mon, Jan 25, 2016 at 8:42 AM, Imants Cekusins <imantc(a)gmail.com> wrote: > Hello Daniel, > > it works with these tweaks: > > -- begin > > {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-} > module TupInst where > > > data Tuple3 a b c = Tuple3 a b c deriving (Show) > > data Tuple2 a b = Tuple2 a b deriving (Show) > > class Indexable idx a where > first :: idx -> a > > > instance Indexable (Tuple2 a b) a where > first (Tuple2 a0 b0) = a0 > > > instance Indexable (Tuple3 a b c) a where > first (Tuple3 a0 b0 c0) = a0 > > -- end > > call it in ghci like this: > > first $ Tuple3 (1::Int) 'a' False::Int > _______________________________________________ > Beginners mailing list > Beginners(a)haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners

4 6