From 40fc118c317d71baee57a3864b0a8ebcad09fdac Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Fri, 17 Apr 2009 18:31:11 +0000 Subject: [PATCH] Fixed an inappropriate use of type equality that was causing problems with operators that return arrays --- frontends/OccamInferTypes.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/OccamInferTypes.hs b/frontends/OccamInferTypes.hs index 064c1fc..4518a2e 100644 --- a/frontends/OccamInferTypes.hs +++ b/frontends/OccamInferTypes.hs @@ -272,7 +272,7 @@ inferTypes = occamOnlyPass "Infer types" -- Must have right argument types: , and $ zipWith (maybe True) (map typeEqForOp ts) mts -- Must have right return type: - , ctx == A.Infer || ctx == rt + , ctx == A.Infer || ctx `typeEqForOp` rt ] pickTypes :: [Maybe A.Type] -> [Maybe A.Type]