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

Got arrays abbrevs with unknown dimensions in the type to take the type from the RHS

Browse Source
This commit is contained in:
Neil Brown 2009-03-25 16:38:40 +00:00
parent 5418916245
commit 9b753edde2
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
frontends/OccamTypes.hs
View File

@ -853,7 +853,7 @@ inferTypes = occamOnlyPass "Infer types"
doSpecType n st doSpecType n st
= case st of = case st of
A.Place _ _ -> lift $ inTypeContext (Just A.Int) $ descend st A.Place _ _ -> lift $ inTypeContext (Just A.Int) $ descend st
A.Is m am t v -> A.Is m am t (A.ActualVariable v) ->
do am' <- lift $ recurse am do am' <- lift $ recurse am
t' <- lift $ recurse t t' <- lift $ recurse t
v' <- lift $ inTypeContext (Just t') $ recurse v v' <- lift $ inTypeContext (Just t') $ recurse v
@ -893,6 +893,7 @@ inferTypes = occamOnlyPass "Infer types"
e' <- inTypeContext (Just t') $ recurse e e' <- inTypeContext (Just t') $ recurse e
t'' <- case t' of t'' <- case t' of
A.Infer -> astTypeOf e' A.Infer -> astTypeOf e'
A.Array ds _ | A.UnknownDimension `elem` ds -> astTypeOf e'
_ -> return t' _ -> return t'
return $ A.Is m am' t'' (A.ActualExpression e') return $ A.Is m am' t'' (A.ActualExpression e')
A.Is m am t (A.ActualChannelArray vs) -> A.Is m am t (A.ActualChannelArray vs) ->