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

Fix explicitly-typed array literals -- don't throw away the type.

Browse Source
This commit is contained in:
Adam Sampson 2008-04-07 22:43:51 +00:00
parent c4f147f5db
commit 201788b478
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
frontends/OccamTypes.hs
View File

@ -923,8 +923,8 @@ inferTypes = applyExplicitM10 doExpression doDimension doSubscript
A.Array _ _ -> A.Array _ _ ->
do subT <- trivialSubscriptType m underT do subT <- trivialSubscriptType m underT
(elemT, aes') <- doElems subT aes (elemT, aes') <- doElems subT aes
let dims = [makeDimension m (length aes)] let dim = makeDimension m (length aes)
return (addDimensions dims elemT, return (applyDimension dim wantT,
A.ArrayElemArray aes') A.ArrayElemArray aes')
A.Record _ -> A.Record _ ->
do nts <- recordFields m underT do nts <- recordFields m underT