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

Fixed the type of a list for the empty list

Browse Source
This commit is contained in:
Neil Brown 2008-03-20 16:44:36 +00:00
parent 0e3465afc0
commit d4991461a5
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
frontends/RainTypes.hs
View File

@ -94,9 +94,10 @@ annotateListLiteralTypes = everywhereASTM doExpression
doExpression :: A.Expression -> PassM A.Expression doExpression :: A.Expression -> PassM A.Expression
doExpression (A.Literal m _ (A.ListLiteral m' es)) doExpression (A.Literal m _ (A.ListLiteral m' es))
= do ts <- mapM typeOfExpression es = do ts <- mapM typeOfExpression es
sharedT <- case leastGeneralSharedTypeRain ts of sharedT <- case (ts, leastGeneralSharedTypeRain ts) of
Just t -> return t (_, Just t) -> return t
Nothing -> diePC m' ([], Nothing) -> return A.Any
(_, Nothing) -> diePC m'
$ formatCode $ formatCode
"Can't determine a common type for the list literal from: %" "Can't determine a common type for the list literal from: %"
ts ts