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é <chaddai.fouche@gmail.com> wrote:

On Thu, Nov 10, 2011 at 11:37 PM, kolli kolli <nammukolli04@gmail.com> 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ï