 |  |  |  |  |  |  |  |
Beginners Haskell Error Please Help
Thread Solved |
•
•
Join Date: Apr 2008
Posts: 61
Reputation: 
Solved Threads: 1
Junior Poster in Training
I am just starting off in a haskell course and I am trying to write a program that takes a list representing an int such as [1,4,3] would mean 143, and convert it to binary and return it as a list in the same fashion. I have written the following code but I keep getting the same annoying error and I cant figure out how to fix it.
Code:
Error:
I don't understand why its saying [[Int]] instead of just [Int] either.
Code:
decimaltobinary :: [Int] -> [Int]
decimaltobinary xs = d2b2(d2b(reverse xs))
d2b :: [Int] -> Int
d2b [x] = x
d2b (x:xs) = x + d2b(map (10*) xs)
d2b2 :: Int -> [Int]
d2b2 0 = [0]
d2b2 1 = [1]
d2b2 n = if (n `mod` 2 == 1) then ( return ((d2b2(n / 2)):1))
else ( return ((d2b2(n / 2)):0))Error:
Couldn't match expected type 'Int' against inferred type '[[Int]]' in the first argument of the return namely '((d2b2(n / 2)):1)' and so forth
I don't understand why its saying [[Int]] instead of just [Int] either.
•
•
Join Date: Jun 2005
Posts: 2,039
Reputation:
Solved Threads: 139
d2b2 evaluates to something of type
The function
You have a number of other problems with your code. One of them has to do with this question: What do you expect 'return' to do?
[Int] , right? Which means the expression (d2b2(n / 2):1) is trying to pass an [Int] as the left-hand argument of the (:) function. Since the (:) function is of type a -> [a] -> [a] , that means it expects on the right-hand side a list of whatever was on the left hand side. That means it expects a list of [Int] , i.e. something whose type is [[Int]] . Instead of an expression of type [[Int]] , you're supplying 1, or 0, something of type Int . That's the reason your error message is the way it is.The function
(:) is for appending elements to the left end of a list. If you want to append an element to the right end, wrap the element in a list an use a (++) operator. For example: [1,2,3] ++ [x] => [1,2,3,x] .You have a number of other problems with your code. One of them has to do with this question: What do you expect 'return' to do?
Last edited by Rashakil Fol; Feb 2nd, 2009 at 8:19 pm.
•
•
Join Date: Apr 2008
Posts: 61
Reputation:
Solved Threads: 1
Junior Poster in Training
Thank you very much that helped a ton and actually makes sense. I got one more for ya. Im trying to do a binary add now where the binary numbers are represented by a list of Bool's and for some reason its saying I have a non exhaustive list.
Code:
Error:
Code:
HASKELL Syntax (Toggle Plain Text)
Exception C:\...: (10,0) - (17,72): Non-exhaustive patterns in function binadd
•
•
Join Date: Jun 2005
Posts: 2,039
Reputation:
Solved Threads: 139
No, it says you have non-exhaustive patterns!
In particular, you defined the function binadd for non-empty lists with:
But you didn't define the function for empty lists! What is the value of
But whatever you do, make sure your function can handle all the cases. I'm pretty sure there is some warning you can turn on that will tell you about functions that don't handle all the conceivable cases.
In particular, you defined the function binadd for non-empty lists with:
binadd (x:xs) (y:ys) n = ...
But you didn't define the function for empty lists! What is the value of
binadd ([True]) [] True ? Your function's behavior is not defined, because the empty list [] doesn't match the pattern (y:ys) . You need new cases below to handle empty lists, probably something likebinadd xs [] n = ... binadd [] ys n = ...
But whatever you do, make sure your function can handle all the cases. I'm pretty sure there is some warning you can turn on that will tell you about functions that don't handle all the conceivable cases.
 |
Similar Threads
- Haskell Error Message (Legacy and Other Languages)
Other Threads in the Legacy and Other Languages Forum
- Previous Thread: INI file and UserProfile
- Next Thread: Batch Insert Lines to an INI file problem : BLANK LINES?
| Thread Tools | Search this Thread |
You need to join our community in order to build your list of favorite forums. You can visit the forum index for a listing of all forums.
Related Forum Features
Latest Legacy and Other Languages Posts
- Today's Posts
- Unanswered Threads
