10 Nov
2011
10 Nov
'11
5:51 p.m.
On Thu, Nov 10, 2011 at 11:37 PM, kolli kolli
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ï