[Hugs-users] [noob] Typing error with nested list and tuple pattern?

Peter Arrenbrecht peter.arrenbrecht at gmail.com
Thu Sep 7 03:02:12 EDT 2006

Hi all

I am baffled by the following error message from Hugs 98 (Version May 2006):

ERROR file:.\cube.hs:11 - Type error in explicitly typed binding
*** Term           : [(i,v) : ps]
*** Type           : [[(a,b)]]
*** Does not match : [(Int,Double)]

when attempting to compile the following declaration (line numbers in

[10] test :: [(Int, Double)] -> Int
[11] test [(i,v):ps] = i

Is this a bug? If not, how do I write the pattern properly?

Peter Arrenbrecht
View this message in context: http://www.nabble.com/-noob--Typing-error-with-nested-list-and-tuple-pattern--tf2231523.html#a6185301
Sent from the Haskell - Hugs-Users forum at Nabble.com.

More information about the Hugs-Users mailing list