Fixed an inappropriate use of type equality that was causing problems with operators that return arrays

2009-04-17 18:31:11 +00:00 · 2009-04-17 18:31:11 +00:00 · 40fc118c31
commit 40fc118c31
parent 0f277365b5
1 changed files with 1 additions and 1 deletions
--- 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]