suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed problems with passing MOBILE items to operators

Browse Source
This commit is contained in:
Neil Brown 2009-04-17 18:40:50 +00:00
parent 40fc118c31
commit 3b1519e4d3
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
frontends/OccamInferTypes.hs
View File

@ -318,6 +318,15 @@ inferTypes = occamOnlyPass "Infer types"
typeEqForOp :: A.Type -> A.Type -> Bool
typeEqForOp (A.Array ds t) (A.Array ds' t')
= (length ds == length ds') && typeEqForOp t t'
-- Since we auto-dereference mobiles that are passed to operators, we must
-- auto-skip mobile-ness when checking the types, so that we can still
-- infer properly if the user is passing a MOBILE INT instead of an INT.
-- This does mean you can't overload operators on MOBILE INT differently
-- than INT, but I don't see how we could allow that sensibly anyway
typeEqForOp (A.Mobile t) t'
= typeEqForOp t t'
typeEqForOp t (A.Mobile t')
= typeEqForOp t t'
typeEqForOp t t' = t == t'
doActuals :: (PolyplateM a InferTypeOps () PassM, Data a) => Meta -> A.Name -> [A.Formal] ->