Re: [Haskell-beginners] guards

I have to feame the code saying in IF t1 t2 t3 If t1 has type x and if type of t2 == type of t3 then return type of t2 or t3 On Thu, Nov 10, 2011 at 3:51 PM, Chaddaï Fouché wrote:

On Thu, Nov 10, 2011 at 11:37 PM, kolli kolli wrote:

...

its giving me error

Couldn't match expected type `Maybe Type' against inferred type `Type' In the second argument of `(==)', namely `TypeBool' In the first argument of `(&&)', namely `typing capGama t1 == TypeBool' In the expression: typing capGama t1 == TypeBool && typing capGama t2 == TypeBool

The problem is clearly not that you're using (&&) (which is the correct way to have two conditions in one guard) but that "typing capGama t1" is of type "Maybe Type" while TypeBool is of type "Type", so you can't compare them with an (==), maybe you meant to use "Just TypeBool" ?

-- Jedaï